Trace number 350712

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.06 1800.63

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-qap10.opb
MD5SUMcba28129e4f6f6eef01b4dc927adb1b9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark29
Best CPU time to get the best result obtained on this benchmark1782.78
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 29
Optimality of the best value was proved NO
Number of variables83000
Total number of constraints1820
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 constraints1820
Minimum length of a constraint200
Maximum length of a constraint200
Number of terms in the objective function 52200
Biggest coefficient in the objective function 570
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 564062
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 26215
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 564062
Number of bits of the biggest sum of numbers20
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/0.00	c Parsing PB file...
7.99/8.04	c Converting 3640 PB-constraints to clauses...
7.99/8.08	c   -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
15.08/15.10	c   -- Detecting intervals from adjacent constraints: ############################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################
15.08/15.16	c   -- Clauses(.)/Splits(s): (none)
15.08/15.16	c ---[3638]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.08/15.17	c ---[3636]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.08/15.17	c ---[3634]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.08/15.18	c ---[3632]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.08/15.18	c ---[3630]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.08/15.19	c ---[3628]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.08/15.19	c ---[3626]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.08/15.20	c ---[3624]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.19/15.20	c ---[3622]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.19/15.20	c ---[3620]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.19/15.21	c ---[3618]---> Adder-cost: 124   maxlim: 99   bits: 7/7
15.19/15.21	c ---[3616]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.19/15.22	c ---[3614]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.19/15.22	c ---[3612]---> Adder-cost: 124   maxlim: 99   bits: 7/7
15.19/15.23	c ---[3610]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.19/15.23	c ---[3608]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.19/15.24	c ---[3606]---> Adder-cost: 124   maxlim: 99   bits: 7/7
15.19/15.24	c ---[3604]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.19/15.25	c ---[3602]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.19/15.25	c ---[3600]---> Adder-cost: 124   maxlim: 99   bits: 7/7
15.19/15.25	c ---[3598]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.19/15.26	c ---[3596]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.19/15.26	c ---[3594]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.19/15.27	c ---[3592]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.19/15.27	c ---[3590]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.19/15.28	c ---[3588]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.19/15.28	c ---[3586]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.19/15.29	c ---[3584]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.19/15.29	c ---[3582]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.19/15.30	c ---[3580]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.19/15.30	c ---[3578]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.29/15.30	c ---[3576]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.29/15.31	c ---[3574]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.29/15.31	c ---[3572]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.29/15.32	c ---[3570]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.29/15.32	c ---[3568]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.29/15.33	c ---[3566]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.29/15.33	c ---[3564]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.29/15.34	c ---[3562]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.29/15.34	c ---[3560]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.29/15.35	c ---[3558]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.29/15.35	c ---[3556]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.29/15.36	c ---[3554]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.29/15.36	c ---[3552]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.29/15.36	c ---[3550]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.29/15.37	c ---[3548]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.29/15.37	c ---[3546]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.29/15.38	c ---[3544]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.29/15.38	c ---[3542]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.29/15.39	c ---[3540]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.29/15.39	c ---[3538]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.29/15.40	c ---[3536]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.39/15.40	c ---[3534]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.39/15.41	c ---[3532]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.39/15.41	c ---[3530]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.39/15.42	c ---[3528]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.39/15.42	c ---[3526]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.39/15.42	c ---[3524]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.39/15.43	c ---[3522]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.39/15.43	c ---[3520]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.39/15.44	c ---[3518]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.39/15.44	c ---[3516]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.39/15.45	c ---[3514]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.39/15.45	c ---[3512]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.39/15.46	c ---[3510]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.39/15.46	c ---[3508]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.39/15.47	c ---[3506]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.39/15.47	c ---[3504]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.39/15.48	c ---[3502]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.39/15.48	c ---[3500]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.39/15.49	c ---[3498]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.39/15.49	c ---[3496]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.39/15.50	c ---[3494]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.48/15.50	c ---[3492]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.48/15.51	c ---[3490]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.48/15.51	c ---[3488]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.48/15.51	c ---[3486]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.48/15.52	c ---[3484]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.48/15.52	c ---[3482]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.48/15.53	c ---[3480]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.48/15.53	c ---[3478]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.48/15.54	c ---[3476]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.48/15.54	c ---[3474]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.48/15.55	c ---[3472]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.48/15.55	c ---[3470]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.48/15.56	c ---[3468]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.48/15.56	c ---[3466]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.48/15.57	c ---[3464]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.48/15.57	c ---[3462]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.48/15.57	c ---[3460]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.48/15.58	c ---[3458]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.48/15.58	c ---[3456]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.48/15.59	c ---[3454]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.48/15.59	c ---[3452]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.58/15.60	c ---[3450]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.58/15.60	c ---[3448]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.58/15.61	c ---[3446]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.58/15.61	c ---[3444]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.58/15.62	c ---[3442]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.58/15.62	c ---[3440]---> Adder-cost: 130   maxlim: 99   bits: 7/7
15.58/15.63	c ---[3438]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.58/15.63	c ---[3436]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.58/15.63	c ---[3434]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.58/15.64	c ---[3432]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.58/15.64	c ---[3430]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.58/15.65	c ---[3428]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.58/15.65	c ---[3426]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.58/15.66	c ---[3424]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.58/15.66	c ---[3422]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.58/15.67	c ---[3420]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.58/15.67	c ---[3418]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.58/15.68	c ---[3416]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.58/15.68	c ---[3414]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.58/15.69	c ---[3412]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.58/15.69	c ---[3410]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.58/15.70	c ---[3408]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.68/15.70	c ---[3406]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.68/15.70	c ---[3404]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.68/15.71	c ---[3402]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.68/15.71	c ---[3400]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.68/15.72	c ---[3398]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.68/15.72	c ---[3396]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.68/15.73	c ---[3394]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.68/15.73	c ---[3392]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.68/15.74	c ---[3390]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.68/15.74	c ---[3388]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.68/15.75	c ---[3386]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.68/15.75	c ---[3384]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.68/15.76	c ---[3382]---> Adder-cost: 120   maxlim: 99   bits: 7/7
15.68/15.76	c ---[3380]---> Adder-cost: 122   maxlim: 99   bits: 7/7
15.68/15.77	c ---[3378]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.68/15.77	c ---[3376]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.68/15.78	c ---[3374]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.68/15.78	c ---[3372]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.68/15.79	c ---[3370]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.68/15.79	c ---[3368]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.68/15.80	c ---[3366]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.78/15.80	c ---[3364]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.78/15.80	c ---[3362]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.78/15.81	c ---[3360]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.78/15.81	c ---[3358]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.78/15.82	c ---[3356]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.78/15.82	c ---[3354]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.78/15.83	c ---[3352]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.78/15.83	c ---[3350]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.78/15.84	c ---[3348]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.78/15.84	c ---[3346]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.78/15.85	c ---[3344]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.78/15.85	c ---[3342]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.78/15.86	c ---[3340]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.78/15.86	c ---[3338]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.78/15.86	c ---[3336]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.78/15.87	c ---[3334]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.78/15.87	c ---[3332]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.78/15.88	c ---[3330]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.78/15.88	c ---[3328]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.78/15.89	c ---[3326]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.78/15.89	c ---[3324]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.88/15.90	c ---[3322]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.88/15.90	c ---[3320]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.88/15.91	c ---[3318]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.88/15.91	c ---[3316]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.88/15.92	c ---[3314]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.88/15.92	c ---[3312]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.88/15.93	c ---[3310]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.88/15.93	c ---[3308]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.88/15.93	c ---[3306]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.88/15.94	c ---[3304]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.88/15.94	c ---[3302]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.88/15.95	c ---[3300]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.88/15.95	c ---[3298]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.88/15.96	c ---[3296]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.88/15.96	c ---[3294]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.88/15.97	c ---[3292]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.88/15.97	c ---[3290]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.88/15.98	c ---[3288]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.88/15.98	c ---[3286]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.88/15.99	c ---[3284]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.88/15.99	c ---[3282]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.88/16.00	c ---[3280]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.98/16.00	c ---[3278]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.98/16.01	c ---[3276]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.98/16.01	c ---[3274]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.98/16.01	c ---[3272]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.98/16.02	c ---[3270]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.98/16.02	c ---[3268]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.98/16.03	c ---[3266]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.98/16.03	c ---[3264]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.98/16.04	c ---[3262]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.98/16.04	c ---[3260]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.98/16.05	c ---[3258]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.98/16.05	c ---[3256]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.98/16.06	c ---[3254]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.98/16.06	c ---[3252]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.98/16.07	c ---[3250]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.98/16.07	c ---[3248]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.98/16.08	c ---[3246]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.98/16.08	c ---[3244]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.98/16.09	c ---[3242]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.98/16.09	c ---[3240]---> Adder-cost: 128   maxlim: 99   bits: 7/7
15.98/16.09	c ---[3238]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.08/16.10	c ---[3236]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.08/16.10	c ---[3234]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.08/16.11	c ---[3232]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.08/16.11	c ---[3230]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.08/16.12	c ---[3228]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.08/16.12	c ---[3226]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.08/16.13	c ---[3224]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.08/16.13	c ---[3222]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.08/16.14	c ---[3220]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.08/16.14	c ---[3218]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.08/16.15	c ---[3216]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.08/16.15	c ---[3214]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.08/16.16	c ---[3212]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.08/16.16	c ---[3210]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.08/16.17	c ---[3208]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.08/16.17	c ---[3206]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.08/16.17	c ---[3204]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.08/16.18	c ---[3202]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.08/16.18	c ---[3200]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.08/16.19	c ---[3198]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.08/16.19	c ---[3196]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.18/16.20	c ---[3194]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.18/16.20	c ---[3192]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.18/16.21	c ---[3190]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.18/16.21	c ---[3188]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.18/16.22	c ---[3186]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.18/16.22	c ---[3184]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.18/16.23	c ---[3182]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.18/16.23	c ---[3180]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.18/16.24	c ---[3178]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.18/16.24	c ---[3176]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.18/16.25	c ---[3174]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.18/16.25	c ---[3172]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.18/16.26	c ---[3170]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.18/16.26	c ---[3168]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.18/16.26	c ---[3166]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.18/16.27	c ---[3164]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.18/16.27	c ---[3162]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.18/16.28	c ---[3160]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.18/16.28	c ---[3158]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.18/16.29	c ---[3156]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.18/16.29	c ---[3154]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.27/16.30	c ---[3152]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.27/16.30	c ---[3150]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.27/16.31	c ---[3148]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.27/16.31	c ---[3146]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.27/16.32	c ---[3144]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.27/16.32	c ---[3142]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.27/16.33	c ---[3140]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.27/16.33	c ---[3138]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.27/16.33	c ---[3136]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.27/16.34	c ---[3134]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.27/16.34	c ---[3132]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.27/16.35	c ---[3130]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.27/16.35	c ---[3128]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.27/16.36	c ---[3126]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.27/16.36	c ---[3124]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.27/16.36	c ---[3122]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.27/16.37	c ---[3120]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.27/16.37	c ---[3118]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.27/16.38	c ---[3116]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.27/16.38	c ---[3114]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.27/16.39	c ---[3112]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.27/16.39	c ---[3110]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.27/16.40	c ---[3108]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.37/16.40	c ---[3106]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.37/16.41	c ---[3104]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.37/16.41	c ---[3102]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.37/16.42	c ---[3100]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.37/16.42	c ---[3098]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.37/16.43	c ---[3096]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.37/16.44	c ---[3094]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.37/16.44	c ---[3092]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.37/16.45	c ---[3090]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.37/16.45	c ---[3088]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.37/16.46	c ---[3086]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.37/16.46	c ---[3084]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.37/16.47	c ---[3082]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.37/16.47	c ---[3080]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.37/16.48	c ---[3078]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.37/16.48	c ---[3076]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.37/16.49	c ---[3074]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.37/16.49	c ---[3072]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.37/16.49	c ---[3070]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.37/16.50	c ---[3068]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.48/16.50	c ---[3066]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.48/16.51	c ---[3064]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.48/16.51	c ---[3062]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.48/16.52	c ---[3060]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.48/16.52	c ---[3058]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.48/16.53	c ---[3056]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.48/16.53	c ---[3054]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.48/16.54	c ---[3052]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.48/16.54	c ---[3050]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.48/16.55	c ---[3048]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.48/16.55	c ---[3046]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.48/16.56	c ---[3044]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.48/16.56	c ---[3042]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.48/16.57	c ---[3040]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.48/16.57	c ---[3038]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.48/16.57	c ---[3036]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.48/16.58	c ---[3034]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.48/16.58	c ---[3032]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.48/16.59	c ---[3030]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.48/16.59	c ---[3028]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.58/16.60	c ---[3026]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.58/16.60	c ---[3024]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.58/16.61	c ---[3022]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.58/16.61	c ---[3020]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.58/16.62	c ---[3018]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.58/16.62	c ---[3016]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.58/16.63	c ---[3014]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.58/16.63	c ---[3012]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.58/16.64	c ---[3010]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.58/16.64	c ---[3008]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.58/16.65	c ---[3006]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.58/16.65	c ---[3004]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.58/16.65	c ---[3002]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.58/16.66	c ---[3000]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.58/16.66	c ---[2998]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.58/16.67	c ---[2996]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.58/16.67	c ---[2994]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.58/16.68	c ---[2992]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.58/16.68	c ---[2990]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.58/16.69	c ---[2988]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.58/16.69	c ---[2986]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.68/16.70	c ---[2984]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.68/16.70	c ---[2982]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.68/16.71	c ---[2980]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.68/16.71	c ---[2978]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.68/16.72	c ---[2976]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.68/16.72	c ---[2974]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.68/16.73	c ---[2972]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.68/16.73	c ---[2970]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.68/16.74	c ---[2968]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.68/16.74	c ---[2966]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.68/16.75	c ---[2964]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.68/16.75	c ---[2962]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.68/16.75	c ---[2960]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.68/16.76	c ---[2958]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.68/16.76	c ---[2956]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.68/16.77	c ---[2954]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.68/16.77	c ---[2952]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.68/16.78	c ---[2950]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.68/16.78	c ---[2948]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.68/16.79	c ---[2946]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.68/16.79	c ---[2944]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.78/16.80	c ---[2942]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.78/16.80	c ---[2940]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.78/16.81	c ---[2938]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.78/16.81	c ---[2936]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.78/16.82	c ---[2934]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.78/16.82	c ---[2932]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.78/16.83	c ---[2930]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.78/16.83	c ---[2928]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.78/16.83	c ---[2926]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.78/16.84	c ---[2924]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.78/16.84	c ---[2922]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.78/16.85	c ---[2920]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.78/16.85	c ---[2918]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.78/16.86	c ---[2916]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.78/16.86	c ---[2914]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.78/16.87	c ---[2912]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.78/16.87	c ---[2910]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.78/16.88	c ---[2908]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.78/16.88	c ---[2906]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.78/16.89	c ---[2904]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.78/16.89	c ---[2902]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.78/16.90	c ---[2900]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.88/16.90	c ---[2898]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.88/16.91	c ---[2896]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.88/16.91	c ---[2894]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.88/16.92	c ---[2892]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.88/16.92	c ---[2890]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.88/16.92	c ---[2888]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.88/16.93	c ---[2886]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.88/16.93	c ---[2884]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.88/16.94	c ---[2882]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.88/16.94	c ---[2880]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.88/16.95	c ---[2878]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.88/16.95	c ---[2876]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.88/16.96	c ---[2874]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.88/16.96	c ---[2872]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.88/16.97	c ---[2870]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.88/16.97	c ---[2868]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.88/16.98	c ---[2866]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.88/16.98	c ---[2864]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.88/16.99	c ---[2862]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.88/16.99	c ---[2860]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.88/17.00	c ---[2858]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.98/17.00	c ---[2856]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.98/17.01	c ---[2854]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.98/17.01	c ---[2852]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.98/17.02	c ---[2850]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.98/17.02	c ---[2848]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.98/17.03	c ---[2846]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.98/17.03	c ---[2844]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.98/17.03	c ---[2842]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.98/17.04	c ---[2840]---> Adder-cost: 128   maxlim: 99   bits: 7/7
16.98/17.04	c ---[2838]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.98/17.05	c ---[2836]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.98/17.05	c ---[2834]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.98/17.06	c ---[2832]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.98/17.06	c ---[2830]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.98/17.07	c ---[2828]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.98/17.07	c ---[2826]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.98/17.08	c ---[2824]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.98/17.08	c ---[2822]---> Adder-cost: 120   maxlim: 99   bits: 7/7
16.98/17.09	c ---[2820]---> Adder-cost: 122   maxlim: 99   bits: 7/7
16.98/17.09	c ---[2818]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.08/17.10	c ---[2816]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.08/17.10	c ---[2814]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.08/17.11	c ---[2812]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.08/17.11	c ---[2810]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.08/17.12	c ---[2808]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.08/17.12	c ---[2806]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.08/17.13	c ---[2804]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.08/17.13	c ---[2802]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.08/17.14	c ---[2800]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.08/17.14	c ---[2798]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.08/17.15	c ---[2796]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.08/17.15	c ---[2794]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.08/17.16	c ---[2792]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.08/17.16	c ---[2790]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.08/17.17	c ---[2788]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.08/17.17	c ---[2786]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.08/17.18	c ---[2784]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.08/17.18	c ---[2782]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.08/17.19	c ---[2780]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.08/17.19	c ---[2778]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.08/17.19	c ---[2776]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.17/17.20	c ---[2774]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.17/17.20	c ---[2772]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.17/17.21	c ---[2770]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.17/17.21	c ---[2768]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.17/17.22	c ---[2766]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.17/17.22	c ---[2764]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.17/17.23	c ---[2762]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.17/17.23	c ---[2760]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.17/17.24	c ---[2758]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.17/17.24	c ---[2756]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.17/17.25	c ---[2754]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.17/17.25	c ---[2752]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.17/17.26	c ---[2750]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.17/17.26	c ---[2748]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.17/17.27	c ---[2746]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.17/17.27	c ---[2744]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.17/17.28	c ---[2742]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.17/17.28	c ---[2740]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.17/17.29	c ---[2738]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.17/17.29	c ---[2736]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.17/17.30	c ---[2734]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.27/17.30	c ---[2732]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.27/17.30	c ---[2730]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.27/17.31	c ---[2728]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.27/17.31	c ---[2726]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.27/17.32	c ---[2724]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.27/17.32	c ---[2722]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.27/17.33	c ---[2720]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.27/17.33	c ---[2718]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.27/17.34	c ---[2716]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.27/17.34	c ---[2714]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.27/17.35	c ---[2712]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.27/17.35	c ---[2710]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.27/17.36	c ---[2708]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.27/17.36	c ---[2706]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.27/17.37	c ---[2704]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.27/17.37	c ---[2702]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.27/17.38	c ---[2700]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.27/17.38	c ---[2698]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.27/17.39	c ---[2696]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.27/17.39	c ---[2694]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.27/17.40	c ---[2692]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.37/17.40	c ---[2690]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.37/17.41	c ---[2688]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.37/17.41	c ---[2686]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.37/17.42	c ---[2684]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.37/17.42	c ---[2682]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.37/17.43	c ---[2680]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.37/17.43	c ---[2678]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.37/17.44	c ---[2676]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.37/17.44	c ---[2674]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.37/17.44	c ---[2672]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.37/17.45	c ---[2670]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.37/17.45	c ---[2668]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.37/17.46	c ---[2666]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.37/17.46	c ---[2664]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.37/17.47	c ---[2662]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.37/17.47	c ---[2660]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.37/17.48	c ---[2658]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.37/17.48	c ---[2656]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.37/17.49	c ---[2654]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.37/17.49	c ---[2652]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.37/17.50	c ---[2650]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.47/17.50	c ---[2648]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.47/17.51	c ---[2646]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.47/17.51	c ---[2644]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.47/17.52	c ---[2642]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.47/17.52	c ---[2640]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.47/17.53	c ---[2638]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.47/17.53	c ---[2636]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.47/17.54	c ---[2634]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.47/17.54	c ---[2632]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.47/17.55	c ---[2630]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.47/17.55	c ---[2628]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.47/17.56	c ---[2626]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.47/17.56	c ---[2624]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.47/17.57	c ---[2622]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.47/17.57	c ---[2620]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.47/17.58	c ---[2618]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.47/17.58	c ---[2616]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.47/17.59	c ---[2614]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.47/17.59	c ---[2612]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.47/17.59	c ---[2610]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.47/17.60	c ---[2608]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.57/17.60	c ---[2606]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.57/17.61	c ---[2604]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.57/17.61	c ---[2602]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.57/17.62	c ---[2600]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.57/17.62	c ---[2598]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.57/17.63	c ---[2596]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.57/17.63	c ---[2594]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.57/17.64	c ---[2592]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.57/17.64	c ---[2590]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.57/17.65	c ---[2588]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.57/17.65	c ---[2586]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.57/17.66	c ---[2584]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.57/17.66	c ---[2582]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.57/17.67	c ---[2580]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.57/17.67	c ---[2578]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.57/17.68	c ---[2576]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.57/17.68	c ---[2574]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.57/17.69	c ---[2572]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.57/17.69	c ---[2570]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.67/17.70	c ---[2568]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.67/17.70	c ---[2566]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.67/17.71	c ---[2564]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.67/17.71	c ---[2562]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.67/17.72	c ---[2560]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.67/17.72	c ---[2558]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.67/17.73	c ---[2556]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.67/17.73	c ---[2554]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.67/17.74	c ---[2552]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.67/17.74	c ---[2550]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.67/17.75	c ---[2548]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.67/17.75	c ---[2546]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.67/17.76	c ---[2544]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.67/17.76	c ---[2542]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.67/17.76	c ---[2540]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.67/17.77	c ---[2538]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.67/17.77	c ---[2536]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.67/17.78	c ---[2534]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.67/17.78	c ---[2532]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.67/17.79	c ---[2530]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.67/17.79	c ---[2528]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.77/17.82	c ---[2526]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.77/17.82	c ---[2524]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.77/17.83	c ---[2522]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.77/17.83	c ---[2520]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.77/17.84	c ---[2518]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.77/17.84	c ---[2516]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.77/17.85	c ---[2514]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.77/17.85	c ---[2512]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.77/17.86	c ---[2510]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.77/17.86	c ---[2508]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.77/17.87	c ---[2506]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.77/17.87	c ---[2504]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.77/17.87	c ---[2502]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.77/17.88	c ---[2500]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.77/17.88	c ---[2498]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.77/17.89	c ---[2496]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.77/17.89	c ---[2494]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.86/17.90	c ---[2492]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.86/17.90	c ---[2490]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.86/17.91	c ---[2488]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.86/17.91	c ---[2486]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.86/17.92	c ---[2484]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.86/17.92	c ---[2482]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.86/17.93	c ---[2480]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.86/17.93	c ---[2478]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.86/17.94	c ---[2476]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.86/17.94	c ---[2474]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.86/17.95	c ---[2472]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.86/17.95	c ---[2470]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.86/17.96	c ---[2468]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.86/17.96	c ---[2466]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.86/17.97	c ---[2464]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.86/17.97	c ---[2462]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.86/17.98	c ---[2460]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.86/17.98	c ---[2458]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.86/17.99	c ---[2456]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.86/17.99	c ---[2454]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.86/18.00	c ---[2452]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.96/18.00	c ---[2450]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.96/18.00	c ---[2448]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.96/18.01	c ---[2446]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.96/18.01	c ---[2444]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.96/18.02	c ---[2442]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.96/18.02	c ---[2440]---> Adder-cost: 128   maxlim: 99   bits: 7/7
17.96/18.03	c ---[2438]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.96/18.03	c ---[2436]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.96/18.04	c ---[2434]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.96/18.04	c ---[2432]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.96/18.05	c ---[2430]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.96/18.05	c ---[2428]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.96/18.06	c ---[2426]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.96/18.06	c ---[2424]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.96/18.07	c ---[2422]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.96/18.07	c ---[2420]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.96/18.08	c ---[2418]---> Adder-cost: 122   maxlim: 99   bits: 7/7
17.96/18.08	c ---[2416]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.96/18.09	c ---[2414]---> Adder-cost: 120   maxlim: 99   bits: 7/7
17.96/18.09	c ---[2412]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.06/18.10	c ---[2410]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.06/18.10	c ---[2408]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.06/18.11	c ---[2406]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.06/18.11	c ---[2404]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.06/18.12	c ---[2402]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.06/18.12	c ---[2400]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.06/18.13	c ---[2398]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.06/18.13	c ---[2396]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.06/18.14	c ---[2394]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.06/18.14	c ---[2392]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.06/18.15	c ---[2390]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.06/18.15	c ---[2388]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.06/18.16	c ---[2386]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.06/18.16	c ---[2384]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.06/18.17	c ---[2382]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.06/18.17	c ---[2380]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.06/18.18	c ---[2378]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.06/18.18	c ---[2376]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.06/18.19	c ---[2374]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.06/18.19	c ---[2372]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.16/18.20	c ---[2370]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.16/18.20	c ---[2368]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.16/18.21	c ---[2366]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.16/18.21	c ---[2364]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.16/18.22	c ---[2362]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.16/18.22	c ---[2360]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.16/18.23	c ---[2358]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.16/18.23	c ---[2356]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.16/18.24	c ---[2354]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.16/18.24	c ---[2352]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.16/18.25	c ---[2350]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.16/18.25	c ---[2348]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.16/18.26	c ---[2346]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.16/18.26	c ---[2344]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.16/18.27	c ---[2342]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.16/18.27	c ---[2340]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.16/18.28	c ---[2338]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.16/18.28	c ---[2336]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.16/18.29	c ---[2334]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.16/18.29	c ---[2332]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.16/18.29	c ---[2330]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.26/18.30	c ---[2328]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.26/18.30	c ---[2326]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.26/18.31	c ---[2324]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.26/18.31	c ---[2322]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.26/18.32	c ---[2320]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.26/18.32	c ---[2318]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.26/18.33	c ---[2316]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.26/18.33	c ---[2314]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.26/18.34	c ---[2312]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.26/18.34	c ---[2310]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.26/18.35	c ---[2308]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.26/18.35	c ---[2306]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.26/18.36	c ---[2304]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.26/18.36	c ---[2302]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.26/18.37	c ---[2300]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.26/18.37	c ---[2298]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.26/18.38	c ---[2296]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.26/18.38	c ---[2294]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.26/18.39	c ---[2292]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.26/18.39	c ---[2290]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.36/18.40	c ---[2288]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.36/18.40	c ---[2286]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.36/18.41	c ---[2284]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.36/18.41	c ---[2282]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.36/18.42	c ---[2280]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.36/18.42	c ---[2278]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.36/18.43	c ---[2276]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.36/18.43	c ---[2274]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.36/18.44	c ---[2272]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.36/18.44	c ---[2270]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.36/18.45	c ---[2268]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.36/18.45	c ---[2266]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.36/18.46	c ---[2264]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.36/18.46	c ---[2262]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.36/18.47	c ---[2260]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.36/18.47	c ---[2258]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.36/18.47	c ---[2256]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.36/18.48	c ---[2254]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.36/18.48	c ---[2252]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.36/18.49	c ---[2250]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.36/18.49	c ---[2248]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.46/18.50	c ---[2246]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.46/18.50	c ---[2244]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.46/18.51	c ---[2242]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.46/18.51	c ---[2240]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.46/18.52	c ---[2238]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.46/18.52	c ---[2236]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.46/18.53	c ---[2234]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.46/18.53	c ---[2232]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.46/18.54	c ---[2230]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.46/18.54	c ---[2228]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.46/18.55	c ---[2226]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.46/18.55	c ---[2224]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.46/18.56	c ---[2222]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.46/18.56	c ---[2220]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.46/18.57	c ---[2218]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.46/18.57	c ---[2216]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.46/18.58	c ---[2214]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.46/18.58	c ---[2212]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.46/18.59	c ---[2210]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.46/18.59	c ---[2208]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.46/18.60	c ---[2206]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.56/18.60	c ---[2204]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.56/18.61	c ---[2202]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.56/18.61	c ---[2200]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.56/18.62	c ---[2198]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.56/18.62	c ---[2196]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.56/18.63	c ---[2194]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.56/18.63	c ---[2192]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.56/18.64	c ---[2190]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.56/18.64	c ---[2188]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.56/18.65	c ---[2186]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.56/18.65	c ---[2184]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.56/18.66	c ---[2182]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.56/18.66	c ---[2180]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.56/18.67	c ---[2178]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.56/18.67	c ---[2176]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.56/18.68	c ---[2174]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.56/18.68	c ---[2172]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.56/18.69	c ---[2170]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.56/18.69	c ---[2168]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.56/18.70	c ---[2166]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.56/18.70	c ---[2164]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.66/18.71	c ---[2162]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.66/18.71	c ---[2160]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.66/18.72	c ---[2158]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.66/18.72	c ---[2156]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.66/18.73	c ---[2154]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.66/18.73	c ---[2152]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.66/18.74	c ---[2150]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.66/18.74	c ---[2148]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.66/18.74	c ---[2146]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.66/18.75	c ---[2144]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.66/18.75	c ---[2142]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.66/18.76	c ---[2140]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.66/18.76	c ---[2138]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.66/18.77	c ---[2136]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.66/18.77	c ---[2134]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.66/18.78	c ---[2132]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.66/18.78	c ---[2130]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.66/18.79	c ---[2128]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.66/18.79	c ---[2126]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.75/18.80	c ---[2124]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.75/18.80	c ---[2122]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.75/18.81	c ---[2120]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.75/18.81	c ---[2118]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.75/18.82	c ---[2116]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.75/18.82	c ---[2114]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.75/18.83	c ---[2112]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.75/18.83	c ---[2110]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.75/18.84	c ---[2108]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.75/18.84	c ---[2106]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.75/18.85	c ---[2104]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.75/18.85	c ---[2102]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.75/18.86	c ---[2100]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.75/18.86	c ---[2098]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.75/18.87	c ---[2096]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.75/18.87	c ---[2094]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.75/18.88	c ---[2092]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.75/18.88	c ---[2090]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.75/18.89	c ---[2088]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.75/18.89	c ---[2086]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.85/18.90	c ---[2084]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.85/18.90	c ---[2082]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.85/18.91	c ---[2080]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.85/18.91	c ---[2078]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.85/18.92	c ---[2076]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.85/18.92	c ---[2074]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.85/18.93	c ---[2072]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.85/18.93	c ---[2070]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.85/18.94	c ---[2068]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.85/18.94	c ---[2066]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.85/18.95	c ---[2064]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.85/18.95	c ---[2062]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.85/18.96	c ---[2060]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.85/18.96	c ---[2058]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.85/18.97	c ---[2056]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.85/18.97	c ---[2054]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.85/18.98	c ---[2052]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.85/18.98	c ---[2050]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.85/18.99	c ---[2048]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.85/18.99	c ---[2046]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.95/19.00	c ---[2044]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.95/19.00	c ---[2042]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.95/19.01	c ---[2040]---> Adder-cost: 128   maxlim: 99   bits: 7/7
18.95/19.01	c ---[2038]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.95/19.02	c ---[2036]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.95/19.02	c ---[2034]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.95/19.03	c ---[2032]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.95/19.03	c ---[2030]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.95/19.04	c ---[2028]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.95/19.04	c ---[2026]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.95/19.05	c ---[2024]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.95/19.05	c ---[2022]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.95/19.06	c ---[2020]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.95/19.06	c ---[2018]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.95/19.07	c ---[2016]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.95/19.07	c ---[2014]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.95/19.08	c ---[2012]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.95/19.08	c ---[2010]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.95/19.09	c ---[2008]---> Adder-cost: 120   maxlim: 99   bits: 7/7
18.95/19.09	c ---[2006]---> Adder-cost: 122   maxlim: 99   bits: 7/7
18.95/19.10	c ---[2004]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.05/19.10	c ---[2002]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.05/19.11	c ---[2000]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.05/19.11	c ---[1998]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.05/19.12	c ---[1996]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.05/19.12	c ---[1994]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.05/19.13	c ---[1992]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.05/19.13	c ---[1990]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.05/19.14	c ---[1988]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.05/19.14	c ---[1986]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.05/19.15	c ---[1984]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.05/19.15	c ---[1982]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.05/19.16	c ---[1980]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.05/19.16	c ---[1978]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.05/19.16	c ---[1976]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.05/19.17	c ---[1974]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.05/19.17	c ---[1972]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.05/19.18	c ---[1970]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.05/19.18	c ---[1968]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.05/19.19	c ---[1966]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.05/19.19	c ---[1964]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.15/19.20	c ---[1962]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.15/19.20	c ---[1960]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.15/19.21	c ---[1958]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.15/19.21	c ---[1956]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.15/19.22	c ---[1954]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.15/19.22	c ---[1952]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.15/19.23	c ---[1950]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.15/19.23	c ---[1948]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.15/19.24	c ---[1946]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.15/19.24	c ---[1944]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.15/19.25	c ---[1942]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.15/19.25	c ---[1940]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.15/19.26	c ---[1938]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.15/19.26	c ---[1936]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.15/19.27	c ---[1934]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.15/19.27	c ---[1932]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.15/19.28	c ---[1930]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.15/19.28	c ---[1928]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.15/19.29	c ---[1926]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.15/19.29	c ---[1924]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.25/19.30	c ---[1922]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.25/19.30	c ---[1920]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.25/19.31	c ---[1918]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.25/19.31	c ---[1916]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.25/19.32	c ---[1914]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.25/19.32	c ---[1912]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.25/19.33	c ---[1910]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.25/19.33	c ---[1908]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.25/19.34	c ---[1906]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.25/19.34	c ---[1904]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.25/19.35	c ---[1902]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.25/19.35	c ---[1900]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.25/19.36	c ---[1898]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.25/19.36	c ---[1896]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.25/19.37	c ---[1894]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.25/19.37	c ---[1892]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.25/19.38	c ---[1890]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.25/19.38	c ---[1888]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.25/19.39	c ---[1886]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.25/19.39	c ---[1884]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.36/19.40	c ---[1882]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.36/19.40	c ---[1880]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.36/19.41	c ---[1878]---> Adder-cost: 128   maxlim: 99   bits: 7/7
19.36/19.41	c ---[1876]---> Adder-cost: 128   maxlim: 99   bits: 7/7
19.36/19.42	c ---[1874]---> Adder-cost: 128   maxlim: 99   bits: 7/7
19.36/19.42	c ---[1872]---> Adder-cost: 128   maxlim: 99   bits: 7/7
19.36/19.43	c ---[1870]---> Adder-cost: 128   maxlim: 99   bits: 7/7
19.36/19.43	c ---[1868]---> Adder-cost: 128   maxlim: 99   bits: 7/7
19.36/19.44	c ---[1866]---> Adder-cost: 128   maxlim: 99   bits: 7/7
19.36/19.44	c ---[1864]---> Adder-cost: 128   maxlim: 99   bits: 7/7
19.36/19.45	c ---[1862]---> Adder-cost: 128   maxlim: 99   bits: 7/7
19.36/19.45	c ---[1860]---> Adder-cost: 128   maxlim: 99   bits: 7/7
19.36/19.46	c ---[1858]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.36/19.46	c ---[1856]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.36/19.47	c ---[1854]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.36/19.47	c ---[1852]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.36/19.48	c ---[1850]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.36/19.48	c ---[1848]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.36/19.49	c ---[1846]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.36/19.49	c ---[1844]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.46/19.50	c ---[1842]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.46/19.50	c ---[1840]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.46/19.51	c ---[1838]---> Adder-cost: 124   maxlim: 99   bits: 7/7
19.46/19.51	c ---[1836]---> Adder-cost: 124   maxlim: 99   bits: 7/7
19.46/19.52	c ---[1834]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.46/19.52	c ---[1832]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.46/19.53	c ---[1830]---> Adder-cost: 124   maxlim: 99   bits: 7/7
19.46/19.53	c ---[1828]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.46/19.54	c ---[1826]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.46/19.54	c ---[1824]---> Adder-cost: 124   maxlim: 99   bits: 7/7
19.46/19.55	c ---[1822]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.46/19.55	c ---[1820]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.46/19.56	c ---[1818]---> Adder-cost: 124   maxlim: 99   bits: 7/7
19.46/19.56	c ---[1816]---> Adder-cost: 124   maxlim: 99   bits: 7/7
19.46/19.57	c ---[1814]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.46/19.57	c ---[1812]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.46/19.58	c ---[1810]---> Adder-cost: 124   maxlim: 99   bits: 7/7
19.46/19.58	c ---[1808]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.46/19.59	c ---[1806]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.46/19.59	c ---[1804]---> Adder-cost: 124   maxlim: 99   bits: 7/7
19.56/19.60	c ---[1802]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.56/19.60	c ---[1800]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.56/19.61	c ---[1798]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.56/19.61	c ---[1796]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.56/19.62	c ---[1794]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.56/19.62	c ---[1792]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.56/19.63	c ---[1790]---> Adder-cost: 124   maxlim: 99   bits: 7/7
19.56/19.63	c ---[1788]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.56/19.64	c ---[1786]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.56/19.64	c ---[1784]---> Adder-cost: 124   maxlim: 99   bits: 7/7
19.56/19.65	c ---[1782]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.56/19.65	c ---[1780]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.56/19.66	c ---[1778]---> Adder-cost: 124   maxlim: 99   bits: 7/7
19.56/19.66	c ---[1776]---> Adder-cost: 124   maxlim: 99   bits: 7/7
19.56/19.67	c ---[1774]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.56/19.67	c ---[1772]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.56/19.68	c ---[1770]---> Adder-cost: 124   maxlim: 99   bits: 7/7
19.56/19.68	c ---[1768]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.56/19.69	c ---[1766]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.56/19.69	c ---[1764]---> Adder-cost: 124   maxlim: 99   bits: 7/7
19.56/19.70	c ---[1762]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.66/19.70	c ---[1760]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.66/19.71	c ---[1758]---> Adder-cost: 124   maxlim: 99   bits: 7/7
19.66/19.71	c ---[1756]---> Adder-cost: 124   maxlim: 99   bits: 7/7
19.66/19.72	c ---[1754]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.66/19.72	c ---[1752]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.66/19.73	c ---[1750]---> Adder-cost: 124   maxlim: 99   bits: 7/7
19.66/19.73	c ---[1748]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.66/19.74	c ---[1746]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.66/19.74	c ---[1744]---> Adder-cost: 124   maxlim: 99   bits: 7/7
19.66/19.75	c ---[1742]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.66/19.75	c ---[1740]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.66/19.76	c ---[1738]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.66/19.76	c ---[1736]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.66/19.77	c ---[1734]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.66/19.77	c ---[1732]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.66/19.78	c ---[1730]---> Adder-cost: 124   maxlim: 99   bits: 7/7
19.66/19.78	c ---[1728]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.66/19.79	c ---[1726]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.66/19.79	c ---[1724]---> Adder-cost: 124   maxlim: 99   bits: 7/7
19.66/19.80	c ---[1722]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.75/19.80	c ---[1720]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.75/19.81	c ---[1718]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.75/19.81	c ---[1716]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.75/19.82	c ---[1714]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.75/19.82	c ---[1712]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.75/19.83	c ---[1710]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.75/19.83	c ---[1708]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.75/19.84	c ---[1706]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.75/19.84	c ---[1704]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.75/19.85	c ---[1702]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.75/19.85	c ---[1700]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.75/19.86	c ---[1698]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.75/19.86	c ---[1696]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.75/19.87	c ---[1694]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.75/19.87	c ---[1692]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.75/19.88	c ---[1690]---> Adder-cost: 124   maxlim: 99   bits: 7/7
19.75/19.88	c ---[1688]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.75/19.89	c ---[1686]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.75/19.89	c ---[1684]---> Adder-cost: 124   maxlim: 99   bits: 7/7
19.85/19.90	c ---[1682]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.85/19.90	c ---[1680]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.85/19.91	c ---[1678]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.85/19.91	c ---[1676]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.85/19.92	c ---[1674]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.85/19.92	c ---[1672]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.85/19.93	c ---[1670]---> Adder-cost: 124   maxlim: 99   bits: 7/7
19.85/19.93	c ---[1668]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.85/19.94	c ---[1666]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.85/19.94	c ---[1664]---> Adder-cost: 124   maxlim: 99   bits: 7/7
19.85/19.95	c ---[1662]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.85/19.95	c ---[1660]---> Adder-cost: 118   maxlim: 99   bits: 7/7
19.85/19.96	c ---[1658]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.85/19.96	c ---[1656]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.85/19.97	c ---[1654]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.85/19.97	c ---[1652]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.85/19.98	c ---[1650]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.85/19.98	c ---[1648]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.85/19.99	c ---[1646]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.85/19.99	c ---[1644]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.95/20.00	c ---[1642]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.95/20.00	c ---[1640]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.95/20.01	c ---[1638]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.95/20.01	c ---[1636]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.95/20.02	c ---[1634]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.95/20.02	c ---[1632]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.95/20.03	c ---[1630]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.95/20.03	c ---[1628]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.95/20.04	c ---[1626]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.95/20.04	c ---[1624]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.95/20.05	c ---[1622]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.95/20.05	c ---[1620]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.95/20.06	c ---[1618]---> Adder-cost: 114   maxlim: 99   bits: 7/7
19.95/20.06	c ---[1616]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.95/20.07	c ---[1614]---> Adder-cost: 120   maxlim: 99   bits: 7/7
19.95/20.07	c ---[1612]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.95/20.08	c ---[1610]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.95/20.08	c ---[1608]---> Adder-cost: 122   maxlim: 99   bits: 7/7
19.95/20.09	c ---[1606]---> Adder-cost: 116   maxlim: 99   bits: 7/7
19.95/20.09	c ---[1604]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.05/20.10	c ---[1602]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.05/20.10	c ---[1600]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.05/20.11	c ---[1598]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.05/20.11	c ---[1596]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.05/20.12	c ---[1594]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.05/20.12	c ---[1592]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.05/20.13	c ---[1590]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.05/20.13	c ---[1588]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.05/20.14	c ---[1586]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.05/20.14	c ---[1584]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.05/20.15	c ---[1582]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.05/20.15	c ---[1580]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.05/20.16	c ---[1578]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.05/20.16	c ---[1576]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.05/20.17	c ---[1574]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.05/20.17	c ---[1572]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.05/20.18	c ---[1570]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.05/20.18	c ---[1568]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.05/20.19	c ---[1566]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.05/20.19	c ---[1564]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.15/20.20	c ---[1562]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.15/20.20	c ---[1560]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.15/20.21	c ---[1558]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.15/20.21	c ---[1556]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.15/20.22	c ---[1554]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.15/20.22	c ---[1552]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.15/20.23	c ---[1550]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.15/20.23	c ---[1548]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.15/20.24	c ---[1546]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.15/20.25	c ---[1544]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.15/20.25	c ---[1542]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.15/20.26	c ---[1540]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.15/20.26	c ---[1538]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.15/20.27	c ---[1536]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.15/20.27	c ---[1534]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.15/20.28	c ---[1532]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.15/20.28	c ---[1530]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.15/20.29	c ---[1528]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.15/20.29	c ---[1526]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.15/20.30	c ---[1524]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.24/20.30	c ---[1522]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.24/20.31	c ---[1520]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.24/20.31	c ---[1518]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.24/20.32	c ---[1516]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.24/20.32	c ---[1514]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.24/20.33	c ---[1512]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.24/20.33	c ---[1510]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.24/20.34	c ---[1508]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.24/20.34	c ---[1506]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.24/20.35	c ---[1504]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.24/20.35	c ---[1502]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.24/20.36	c ---[1500]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.24/20.36	c ---[1498]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.24/20.37	c ---[1496]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.24/20.37	c ---[1494]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.24/20.38	c ---[1492]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.24/20.38	c ---[1490]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.24/20.39	c ---[1488]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.24/20.39	c ---[1486]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.24/20.40	c ---[1484]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.34/20.40	c ---[1482]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.34/20.41	c ---[1480]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.34/20.41	c ---[1478]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.34/20.42	c ---[1476]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.34/20.42	c ---[1474]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.34/20.43	c ---[1472]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.34/20.43	c ---[1470]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.34/20.44	c ---[1468]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.34/20.44	c ---[1466]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.34/20.45	c ---[1464]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.34/20.45	c ---[1462]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.34/20.46	c ---[1460]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.34/20.46	c ---[1458]---> Adder-cost: 112   maxlim: 99   bits: 7/7
20.34/20.47	c ---[1456]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.34/20.47	c ---[1454]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.34/20.48	c ---[1452]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.34/20.48	c ---[1450]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.34/20.49	c ---[1448]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.34/20.49	c ---[1446]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.44/20.50	c ---[1444]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.44/20.50	c ---[1442]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.44/20.51	c ---[1440]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.44/20.51	c ---[1438]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.44/20.52	c ---[1436]---> Adder-cost: 110   maxlim: 99   bits: 7/7
20.44/20.52	c ---[1434]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.44/20.53	c ---[1432]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.44/20.53	c ---[1430]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.44/20.54	c ---[1428]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.44/20.54	c ---[1426]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.44/20.55	c ---[1424]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.44/20.55	c ---[1422]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.44/20.56	c ---[1420]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.44/20.56	c ---[1418]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.44/20.57	c ---[1416]---> Adder-cost: 112   maxlim: 99   bits: 7/7
20.44/20.57	c ---[1414]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.44/20.58	c ---[1412]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.44/20.58	c ---[1410]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.44/20.59	c ---[1408]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.44/20.59	c ---[1406]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.54/20.60	c ---[1404]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.54/20.60	c ---[1402]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.54/20.61	c ---[1400]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.54/20.61	c ---[1398]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.54/20.62	c ---[1396]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.54/20.62	c ---[1394]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.54/20.63	c ---[1392]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.54/20.63	c ---[1390]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.54/20.64	c ---[1388]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.54/20.64	c ---[1386]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.54/20.65	c ---[1384]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.54/20.65	c ---[1382]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.54/20.66	c ---[1380]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.54/20.66	c ---[1378]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.54/20.67	c ---[1376]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.54/20.67	c ---[1374]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.54/20.68	c ---[1372]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.54/20.68	c ---[1370]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.54/20.69	c ---[1368]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.54/20.69	c ---[1366]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.64/20.70	c ---[1364]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.64/20.71	c ---[1362]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.64/20.71	c ---[1360]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.64/20.72	c ---[1358]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.64/20.72	c ---[1356]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.64/20.77	c ---[1354]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.64/20.78	c ---[1352]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.64/20.78	c ---[1350]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.64/20.79	c ---[1348]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.64/20.79	c ---[1346]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.64/20.80	c ---[1344]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.74/20.80	c ---[1342]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.74/20.81	c ---[1340]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.74/20.81	c ---[1338]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.74/20.82	c ---[1336]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.74/20.83	c ---[1334]---> Adder-cost: 118   maxlim: 99   bits: 7/7
20.74/20.83	c ---[1332]---> Adder-cost: 118   maxlim: 99   bits: 7/7
20.74/20.84	c ---[1330]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.74/20.84	c ---[1328]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.74/20.85	c ---[1326]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.74/20.85	c ---[1324]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.74/20.86	c ---[1322]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.74/20.86	c ---[1320]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.74/20.87	c ---[1318]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.74/20.87	c ---[1316]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.74/20.88	c ---[1314]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.74/20.88	c ---[1312]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.74/20.89	c ---[1310]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.74/20.89	c ---[1308]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.74/20.90	c ---[1306]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.84/20.90	c ---[1304]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.84/20.91	c ---[1302]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.84/20.91	c ---[1300]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.84/20.92	c ---[1298]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.84/20.92	c ---[1296]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.84/20.93	c ---[1294]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.84/20.93	c ---[1292]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.84/20.94	c ---[1290]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.84/20.94	c ---[1288]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.84/20.95	c ---[1286]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.84/20.95	c ---[1284]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.84/20.96	c ---[1282]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.84/20.96	c ---[1280]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.84/20.97	c ---[1278]---> Adder-cost: 112   maxlim: 99   bits: 7/7
20.84/20.97	c ---[1276]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.84/20.98	c ---[1274]---> Adder-cost: 118   maxlim: 99   bits: 7/7
20.84/20.98	c ---[1272]---> Adder-cost: 118   maxlim: 99   bits: 7/7
20.84/20.99	c ---[1270]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.84/20.99	c ---[1268]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.93/21.00	c ---[1266]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.93/21.00	c ---[1264]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.93/21.01	c ---[1262]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.93/21.01	c ---[1260]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.93/21.02	c ---[1258]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.93/21.02	c ---[1256]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.93/21.03	c ---[1254]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.93/21.03	c ---[1252]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.93/21.04	c ---[1250]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.93/21.04	c ---[1248]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.93/21.05	c ---[1246]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.93/21.05	c ---[1244]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.93/21.06	c ---[1242]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.93/21.06	c ---[1240]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.93/21.07	c ---[1238]---> Adder-cost: 120   maxlim: 99   bits: 7/7
20.93/21.07	c ---[1236]---> Adder-cost: 116   maxlim: 99   bits: 7/7
20.93/21.08	c ---[1234]---> Adder-cost: 114   maxlim: 99   bits: 7/7
20.93/21.08	c ---[1232]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.93/21.09	c ---[1230]---> Adder-cost: 122   maxlim: 99   bits: 7/7
20.93/21.10	c ---[1228]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.03/21.10	c ---[1226]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.03/21.11	c ---[1224]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.03/21.11	c ---[1222]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.03/21.12	c ---[1220]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.03/21.12	c ---[1218]---> Adder-cost: 118   maxlim: 99   bits: 7/7
21.03/21.13	c ---[1216]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.03/21.13	c ---[1214]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.03/21.14	c ---[1212]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.03/21.14	c ---[1210]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.03/21.15	c ---[1208]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.03/21.15	c ---[1206]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.03/21.16	c ---[1204]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.03/21.16	c ---[1202]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.03/21.17	c ---[1200]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.03/21.17	c ---[1198]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.03/21.18	c ---[1196]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.03/21.18	c ---[1194]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.03/21.19	c ---[1192]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.03/21.19	c ---[1190]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.13/21.20	c ---[1188]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.13/21.20	c ---[1186]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.13/21.21	c ---[1184]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.13/21.21	c ---[1182]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.13/21.22	c ---[1180]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.13/21.22	c ---[1178]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.13/21.23	c ---[1176]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.13/21.23	c ---[1174]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.13/21.24	c ---[1172]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.13/21.24	c ---[1170]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.13/21.25	c ---[1168]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.13/21.25	c ---[1166]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.13/21.26	c ---[1164]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.13/21.26	c ---[1162]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.13/21.27	c ---[1160]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.13/21.27	c ---[1158]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.13/21.28	c ---[1156]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.13/21.28	c ---[1154]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.13/21.29	c ---[1152]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.13/21.29	c ---[1150]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.23/21.30	c ---[1148]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.23/21.31	c ---[1146]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.23/21.31	c ---[1144]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.23/21.32	c ---[1142]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.23/21.32	c ---[1140]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.23/21.33	c ---[1138]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.23/21.33	c ---[1136]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.23/21.34	c ---[1134]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.23/21.34	c ---[1132]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.23/21.35	c ---[1130]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.23/21.35	c ---[1128]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.23/21.36	c ---[1126]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.23/21.36	c ---[1124]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.23/21.37	c ---[1122]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.23/21.37	c ---[1120]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.23/21.38	c ---[1118]---> Adder-cost: 118   maxlim: 99   bits: 7/7
21.23/21.38	c ---[1116]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.23/21.39	c ---[1114]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.23/21.39	c ---[1112]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.33/21.40	c ---[1110]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.33/21.40	c ---[1108]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.33/21.41	c ---[1106]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.33/21.41	c ---[1104]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.33/21.42	c ---[1102]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.33/21.42	c ---[1100]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.33/21.43	c ---[1098]---> Adder-cost: 118   maxlim: 99   bits: 7/7
21.33/21.43	c ---[1096]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.33/21.44	c ---[1094]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.33/21.44	c ---[1092]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.33/21.45	c ---[1090]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.33/21.45	c ---[1088]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.33/21.46	c ---[1086]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.33/21.46	c ---[1084]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.33/21.47	c ---[1082]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.33/21.47	c ---[1080]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.33/21.48	c ---[1078]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.33/21.48	c ---[1076]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.33/21.49	c ---[1074]---> Adder-cost: 112   maxlim: 99   bits: 7/7
21.33/21.49	c ---[1072]---> Adder-cost: 118   maxlim: 99   bits: 7/7
21.43/21.50	c ---[1070]---> Adder-cost: 118   maxlim: 99   bits: 7/7
21.43/21.51	c ---[1068]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.43/21.51	c ---[1066]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.43/21.52	c ---[1064]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.43/21.52	c ---[1062]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.43/21.53	c ---[1060]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.43/21.53	c ---[1058]---> Adder-cost: 118   maxlim: 99   bits: 7/7
21.43/21.54	c ---[1056]---> Adder-cost: 112   maxlim: 99   bits: 7/7
21.43/21.54	c ---[1054]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.43/21.55	c ---[1052]---> Adder-cost: 118   maxlim: 99   bits: 7/7
21.43/21.55	c ---[1050]---> Adder-cost: 118   maxlim: 99   bits: 7/7
21.43/21.56	c ---[1048]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.43/21.56	c ---[1046]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.43/21.57	c ---[1044]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.43/21.57	c ---[1042]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.43/21.58	c ---[1040]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.43/21.58	c ---[1038]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.43/21.59	c ---[1036]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.43/21.59	c ---[1034]---> Adder-cost: 110   maxlim: 99   bits: 7/7
21.53/21.60	c ---[1032]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.53/21.60	c ---[1030]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.53/21.61	c ---[1028]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.53/21.61	c ---[1026]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.53/21.62	c ---[1024]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.53/21.62	c ---[1022]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.53/21.63	c ---[1020]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.53/21.63	c ---[1018]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.53/21.64	c ---[1016]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.53/21.64	c ---[1014]---> Adder-cost: 112   maxlim: 99   bits: 7/7
21.53/21.65	c ---[1012]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.53/21.65	c ---[1010]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.53/21.66	c ---[1008]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.53/21.66	c ---[1006]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.53/21.67	c ---[1004]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.53/21.67	c ---[1002]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.53/21.68	c ---[1000]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.53/21.68	c ---[ 998]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.53/21.69	c ---[ 996]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.53/21.69	c ---[ 994]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.63/21.70	c ---[ 992]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.63/21.70	c ---[ 990]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.63/21.71	c ---[ 988]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.63/21.71	c ---[ 986]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.63/21.72	c ---[ 984]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.63/21.72	c ---[ 982]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.63/21.73	c ---[ 980]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.63/21.74	c ---[ 978]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.63/21.74	c ---[ 976]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.63/21.75	c ---[ 974]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.63/21.75	c ---[ 972]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.63/21.76	c ---[ 970]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.63/21.76	c ---[ 968]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.63/21.77	c ---[ 966]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.63/21.77	c ---[ 964]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.63/21.78	c ---[ 962]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.63/21.78	c ---[ 960]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.63/21.79	c ---[ 958]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.63/21.79	c ---[ 956]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.63/21.80	c ---[ 954]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.73/21.80	c ---[ 952]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.73/21.81	c ---[ 950]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.73/21.81	c ---[ 948]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.73/21.82	c ---[ 946]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.73/21.82	c ---[ 944]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.73/21.83	c ---[ 942]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.73/21.83	c ---[ 940]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.73/21.84	c ---[ 938]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.73/21.84	c ---[ 936]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.73/21.85	c ---[ 934]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.73/21.85	c ---[ 932]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.73/21.86	c ---[ 930]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.73/21.86	c ---[ 928]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.73/21.87	c ---[ 926]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.73/21.87	c ---[ 924]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.73/21.88	c ---[ 922]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.73/21.88	c ---[ 920]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.73/21.89	c ---[ 918]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.73/21.89	c ---[ 916]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.73/21.90	c ---[ 914]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.83/21.90	c ---[ 912]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.83/21.91	c ---[ 910]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.83/21.91	c ---[ 908]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.83/21.92	c ---[ 906]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.83/21.92	c ---[ 904]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.83/21.93	c ---[ 902]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.83/21.94	c ---[ 900]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.83/21.94	c ---[ 898]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.83/21.95	c ---[ 896]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.83/21.95	c ---[ 894]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.83/21.96	c ---[ 892]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.83/21.96	c ---[ 890]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.83/21.97	c ---[ 888]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.83/21.97	c ---[ 886]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.83/21.98	c ---[ 884]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.83/21.98	c ---[ 882]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.83/21.99	c ---[ 880]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.83/21.99	c ---[ 878]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.83/22.00	c ---[ 876]---> Adder-cost: 120   maxlim: 99   bits: 7/7
21.93/22.00	c ---[ 874]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.93/22.01	c ---[ 872]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.93/22.01	c ---[ 870]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.93/22.02	c ---[ 868]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.93/22.02	c ---[ 866]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.93/22.03	c ---[ 864]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.93/22.03	c ---[ 862]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.93/22.04	c ---[ 860]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.93/22.04	c ---[ 858]---> Adder-cost: 112   maxlim: 99   bits: 7/7
21.93/22.05	c ---[ 856]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.93/22.05	c ---[ 854]---> Adder-cost: 114   maxlim: 99   bits: 7/7
21.93/22.06	c ---[ 852]---> Adder-cost: 112   maxlim: 99   bits: 7/7
21.93/22.06	c ---[ 850]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.93/22.07	c ---[ 848]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.93/22.07	c ---[ 846]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.93/22.08	c ---[ 844]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.93/22.08	c ---[ 842]---> Adder-cost: 122   maxlim: 99   bits: 7/7
21.93/22.09	c ---[ 840]---> Adder-cost: 116   maxlim: 99   bits: 7/7
21.93/22.09	c ---[ 838]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.02/22.10	c ---[ 836]---> Adder-cost: 110   maxlim: 99   bits: 7/7
22.02/22.10	c ---[ 834]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.02/22.11	c ---[ 832]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.02/22.11	c ---[ 830]---> Adder-cost: 110   maxlim: 99   bits: 7/7
22.02/22.12	c ---[ 828]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.02/22.12	c ---[ 826]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.02/22.13	c ---[ 824]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.02/22.14	c ---[ 822]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.02/22.14	c ---[ 820]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.02/22.15	c ---[ 818]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.02/22.15	c ---[ 816]---> Adder-cost: 112   maxlim: 99   bits: 7/7
22.02/22.16	c ---[ 814]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.02/22.16	c ---[ 812]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.02/22.17	c ---[ 810]---> Adder-cost: 112   maxlim: 99   bits: 7/7
22.02/22.17	c ---[ 808]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.02/22.18	c ---[ 806]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.02/22.18	c ---[ 804]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.02/22.19	c ---[ 802]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.02/22.19	c ---[ 800]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.12/22.20	c ---[ 798]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.12/22.20	c ---[ 796]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.12/22.21	c ---[ 794]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.12/22.21	c ---[ 792]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.12/22.22	c ---[ 790]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.12/22.22	c ---[ 788]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.12/22.23	c ---[ 786]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.12/22.23	c ---[ 784]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.12/22.24	c ---[ 782]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.12/22.24	c ---[ 780]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.12/22.25	c ---[ 778]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.12/22.25	c ---[ 776]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.12/22.26	c ---[ 774]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.12/22.26	c ---[ 772]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.12/22.27	c ---[ 770]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.12/22.27	c ---[ 768]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.12/22.28	c ---[ 766]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.12/22.28	c ---[ 764]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.12/22.29	c ---[ 762]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.12/22.30	c ---[ 760]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.22/22.30	c ---[ 758]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.22/22.31	c ---[ 756]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.22/22.31	c ---[ 754]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.22/22.32	c ---[ 752]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.22/22.32	c ---[ 750]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.22/22.33	c ---[ 748]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.22/22.33	c ---[ 746]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.22/22.34	c ---[ 744]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.22/22.34	c ---[ 742]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.22/22.35	c ---[ 740]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.22/22.35	c ---[ 738]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.22/22.36	c ---[ 736]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.22/22.36	c ---[ 734]---> Adder-cost: 118   maxlim: 99   bits: 7/7
22.22/22.37	c ---[ 732]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.22/22.37	c ---[ 730]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.22/22.38	c ---[ 728]---> Adder-cost: 118   maxlim: 99   bits: 7/7
22.22/22.38	c ---[ 726]---> Adder-cost: 118   maxlim: 99   bits: 7/7
22.22/22.39	c ---[ 724]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.22/22.39	c ---[ 722]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.32/22.40	c ---[ 720]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.32/22.40	c ---[ 718]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.32/22.41	c ---[ 716]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.32/22.41	c ---[ 714]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.32/22.42	c ---[ 712]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.32/22.42	c ---[ 710]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.32/22.43	c ---[ 708]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.32/22.43	c ---[ 706]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.32/22.44	c ---[ 704]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.32/22.44	c ---[ 702]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.32/22.45	c ---[ 700]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.32/22.46	c ---[ 698]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.32/22.46	c ---[ 696]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.32/22.47	c ---[ 694]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.32/22.47	c ---[ 692]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.32/22.48	c ---[ 690]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.32/22.48	c ---[ 688]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.32/22.49	c ---[ 686]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.32/22.49	c ---[ 684]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.32/22.50	c ---[ 682]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.41/22.50	c ---[ 680]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.41/22.51	c ---[ 678]---> Adder-cost: 112   maxlim: 99   bits: 7/7
22.41/22.51	c ---[ 676]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.41/22.52	c ---[ 674]---> Adder-cost: 118   maxlim: 99   bits: 7/7
22.41/22.52	c ---[ 672]---> Adder-cost: 112   maxlim: 99   bits: 7/7
22.41/22.53	c ---[ 670]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.41/22.53	c ---[ 668]---> Adder-cost: 118   maxlim: 99   bits: 7/7
22.41/22.54	c ---[ 666]---> Adder-cost: 118   maxlim: 99   bits: 7/7
22.41/22.54	c ---[ 664]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.41/22.55	c ---[ 662]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.41/22.55	c ---[ 660]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.41/22.56	c ---[ 658]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.41/22.56	c ---[ 656]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.41/22.57	c ---[ 654]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.41/22.57	c ---[ 652]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.41/22.58	c ---[ 650]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.41/22.58	c ---[ 648]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.41/22.59	c ---[ 646]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.41/22.59	c ---[ 644]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.51/22.60	c ---[ 642]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.51/22.60	c ---[ 640]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.51/22.61	c ---[ 638]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.51/22.61	c ---[ 636]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.51/22.62	c ---[ 634]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.51/22.63	c ---[ 632]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.51/22.63	c ---[ 630]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.51/22.64	c ---[ 628]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.51/22.64	c ---[ 626]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.51/22.65	c ---[ 624]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.51/22.65	c ---[ 622]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.51/22.66	c ---[ 620]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.51/22.66	c ---[ 618]---> Adder-cost: 118   maxlim: 99   bits: 7/7
22.51/22.67	c ---[ 616]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.51/22.67	c ---[ 614]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.51/22.68	c ---[ 612]---> Adder-cost: 118   maxlim: 99   bits: 7/7
22.51/22.68	c ---[ 610]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.51/22.69	c ---[ 608]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.51/22.69	c ---[ 606]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.61/22.70	c ---[ 604]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.61/22.70	c ---[ 602]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.61/22.71	c ---[ 600]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.61/22.71	c ---[ 598]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.61/22.72	c ---[ 596]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.61/22.72	c ---[ 594]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.61/22.73	c ---[ 592]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.61/22.73	c ---[ 590]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.61/22.74	c ---[ 588]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.61/22.74	c ---[ 586]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.61/22.75	c ---[ 584]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.61/22.75	c ---[ 582]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.61/22.76	c ---[ 580]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.61/22.76	c ---[ 578]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.61/22.77	c ---[ 576]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.61/22.77	c ---[ 574]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.61/22.78	c ---[ 572]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.61/22.79	c ---[ 570]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.61/22.79	c ---[ 568]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.61/22.80	c ---[ 566]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.71/22.80	c ---[ 564]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.71/22.81	c ---[ 562]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.71/22.81	c ---[ 560]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.71/22.82	c ---[ 558]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.71/22.82	c ---[ 556]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.71/22.83	c ---[ 554]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.71/22.83	c ---[ 552]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.71/22.84	c ---[ 550]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.71/22.84	c ---[ 548]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.71/22.85	c ---[ 546]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.71/22.85	c ---[ 544]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.71/22.86	c ---[ 542]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.71/22.86	c ---[ 540]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.71/22.87	c ---[ 538]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.71/22.87	c ---[ 536]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.71/22.88	c ---[ 534]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.71/22.88	c ---[ 532]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.71/22.89	c ---[ 530]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.71/22.89	c ---[ 528]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.81/22.90	c ---[ 526]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.81/22.90	c ---[ 524]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.81/22.91	c ---[ 522]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.81/22.92	c ---[ 520]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.81/22.92	c ---[ 518]---> Adder-cost: 118   maxlim: 99   bits: 7/7
22.81/22.93	c ---[ 516]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.81/22.93	c ---[ 514]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.81/22.94	c ---[ 512]---> Adder-cost: 118   maxlim: 99   bits: 7/7
22.81/22.94	c ---[ 510]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.81/22.95	c ---[ 508]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.81/22.95	c ---[ 506]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.81/22.96	c ---[ 504]---> Adder-cost: 122   maxlim: 99   bits: 7/7
22.81/22.96	c ---[ 502]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.81/22.97	c ---[ 500]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.81/22.97	c ---[ 498]---> Adder-cost: 118   maxlim: 99   bits: 7/7
22.81/22.98	c ---[ 496]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.81/22.98	c ---[ 494]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.81/22.99	c ---[ 492]---> Adder-cost: 118   maxlim: 99   bits: 7/7
22.81/22.99	c ---[ 490]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.81/23.00	c ---[ 488]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.91/23.00	c ---[ 486]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.91/23.01	c ---[ 484]---> Adder-cost: 120   maxlim: 99   bits: 7/7
22.91/23.01	c ---[ 482]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.91/23.02	c ---[ 480]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.91/23.02	c ---[ 478]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.91/23.03	c ---[ 476]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.91/23.03	c ---[ 474]---> Adder-cost: 112   maxlim: 99   bits: 7/7
22.91/23.04	c ---[ 472]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.91/23.04	c ---[ 470]---> Adder-cost: 114   maxlim: 99   bits: 7/7
22.91/23.05	c ---[ 468]---> Adder-cost: 112   maxlim: 99   bits: 7/7
22.91/23.05	c ---[ 466]---> Adder-cost: 118   maxlim: 99   bits: 7/7
22.91/23.06	c ---[ 464]---> Adder-cost: 118   maxlim: 99   bits: 7/7
22.91/23.07	c ---[ 462]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.91/23.07	c ---[ 460]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.91/23.08	c ---[ 458]---> Adder-cost: 118   maxlim: 99   bits: 7/7
22.91/23.08	c ---[ 456]---> Adder-cost: 112   maxlim: 99   bits: 7/7
22.91/23.09	c ---[ 454]---> Adder-cost: 116   maxlim: 99   bits: 7/7
22.91/23.09	c ---[ 452]---> Adder-cost: 118   maxlim: 99   bits: 7/7
22.91/23.10	c ---[ 450]---> Adder-cost: 112   maxlim: 99   bits: 7/7
23.01/23.10	c ---[ 448]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.01/23.11	c ---[ 446]---> Adder-cost: 118   maxlim: 99   bits: 7/7
23.01/23.11	c ---[ 444]---> Adder-cost: 118   maxlim: 99   bits: 7/7
23.01/23.12	c ---[ 442]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.01/23.12	c ---[ 440]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.01/23.13	c ---[ 438]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.01/23.13	c ---[ 436]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.01/23.14	c ---[ 434]---> Adder-cost: 110   maxlim: 99   bits: 7/7
23.01/23.14	c ---[ 432]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.01/23.15	c ---[ 430]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.01/23.15	c ---[ 428]---> Adder-cost: 110   maxlim: 99   bits: 7/7
23.01/23.16	c ---[ 426]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.01/23.16	c ---[ 424]---> Adder-cost: 122   maxlim: 99   bits: 7/7
23.01/23.17	c ---[ 422]---> Adder-cost: 122   maxlim: 99   bits: 7/7
23.01/23.17	c ---[ 420]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.01/23.18	c ---[ 418]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.01/23.18	c ---[ 416]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.01/23.19	c ---[ 414]---> Adder-cost: 112   maxlim: 99   bits: 7/7
23.01/23.19	c ---[ 412]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.12/23.20	c ---[ 410]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.12/23.20	c ---[ 408]---> Adder-cost: 112   maxlim: 99   bits: 7/7
23.12/23.21	c ---[ 406]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.12/23.21	c ---[ 404]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.12/23.22	c ---[ 402]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.12/23.23	c ---[ 400]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.12/23.23	c ---[ 398]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.12/23.24	c ---[ 396]---> Adder-cost: 122   maxlim: 99   bits: 7/7
23.12/23.24	c ---[ 394]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.12/23.25	c ---[ 392]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.12/23.25	c ---[ 390]---> Adder-cost: 122   maxlim: 99   bits: 7/7
23.12/23.26	c ---[ 388]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.12/23.26	c ---[ 386]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.12/23.27	c ---[ 384]---> Adder-cost: 122   maxlim: 99   bits: 7/7
23.12/23.27	c ---[ 382]---> Adder-cost: 122   maxlim: 99   bits: 7/7
23.12/23.28	c ---[ 380]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.12/23.28	c ---[ 378]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.12/23.29	c ---[ 376]---> Adder-cost: 122   maxlim: 99   bits: 7/7
23.12/23.29	c ---[ 374]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.22/23.30	c ---[ 372]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.22/23.30	c ---[ 370]---> Adder-cost: 122   maxlim: 99   bits: 7/7
23.22/23.31	c ---[ 368]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.22/23.31	c ---[ 366]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.22/23.32	c ---[ 364]---> Adder-cost: 122   maxlim: 99   bits: 7/7
23.22/23.32	c ---[ 362]---> Adder-cost: 122   maxlim: 99   bits: 7/7
23.22/23.33	c ---[ 360]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.22/23.33	c ---[ 358]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.22/23.34	c ---[ 356]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.22/23.35	c ---[ 354]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.22/23.35	c ---[ 352]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.22/23.36	c ---[ 350]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.22/23.36	c ---[ 348]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.22/23.37	c ---[ 346]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.22/23.37	c ---[ 344]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.22/23.38	c ---[ 342]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.22/23.38	c ---[ 340]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.22/23.39	c ---[ 338]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.22/23.39	c ---[ 336]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.32/23.40	c ---[ 334]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.32/23.40	c ---[ 332]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.32/23.41	c ---[ 330]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.32/23.41	c ---[ 328]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.32/23.42	c ---[ 326]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.32/23.42	c ---[ 324]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.32/23.43	c ---[ 322]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.32/23.43	c ---[ 320]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.32/23.44	c ---[ 318]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.32/23.44	c ---[ 316]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.32/23.45	c ---[ 314]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.32/23.45	c ---[ 312]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.32/23.46	c ---[ 310]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.32/23.46	c ---[ 308]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.32/23.47	c ---[ 306]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.32/23.47	c ---[ 304]---> Adder-cost: 122   maxlim: 99   bits: 7/7
23.32/23.48	c ---[ 302]---> Adder-cost: 122   maxlim: 99   bits: 7/7
23.32/23.48	c ---[ 300]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.32/23.49	c ---[ 298]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.32/23.50	c ---[ 296]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.41/23.50	c ---[ 294]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.41/23.51	c ---[ 292]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.41/23.51	c ---[ 290]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.41/23.52	c ---[ 288]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.41/23.52	c ---[ 286]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.41/23.53	c ---[ 284]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.41/23.53	c ---[ 282]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.41/23.54	c ---[ 280]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.41/23.54	c ---[ 278]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.41/23.55	c ---[ 276]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.41/23.55	c ---[ 274]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.41/23.56	c ---[ 272]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.41/23.56	c ---[ 270]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.41/23.57	c ---[ 268]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.41/23.57	c ---[ 266]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.41/23.58	c ---[ 264]---> Adder-cost: 122   maxlim: 99   bits: 7/7
23.41/23.58	c ---[ 262]---> Adder-cost: 122   maxlim: 99   bits: 7/7
23.41/23.59	c ---[ 260]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.41/23.59	c ---[ 258]---> Adder-cost: 112   maxlim: 99   bits: 7/7
23.51/23.60	c ---[ 256]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.51/23.60	c ---[ 254]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.51/23.61	c ---[ 252]---> Adder-cost: 112   maxlim: 99   bits: 7/7
23.51/23.61	c ---[ 250]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.51/23.62	c ---[ 248]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.51/23.63	c ---[ 246]---> Adder-cost: 112   maxlim: 99   bits: 7/7
23.51/23.63	c ---[ 244]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.51/23.64	c ---[ 242]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.51/23.64	c ---[ 240]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.51/23.65	c ---[ 238]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.51/23.65	c ---[ 236]---> Adder-cost: 110   maxlim: 99   bits: 7/7
23.51/23.66	c ---[ 234]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.51/23.66	c ---[ 232]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.51/23.67	c ---[ 230]---> Adder-cost: 110   maxlim: 99   bits: 7/7
23.51/23.67	c ---[ 228]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.51/23.68	c ---[ 226]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.51/23.68	c ---[ 224]---> Adder-cost: 110   maxlim: 99   bits: 7/7
23.51/23.69	c ---[ 222]---> Adder-cost: 122   maxlim: 99   bits: 7/7
23.51/23.69	c ---[ 220]---> Adder-cost: 122   maxlim: 99   bits: 7/7
23.61/23.70	c ---[ 218]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.61/23.70	c ---[ 216]---> Adder-cost: 112   maxlim: 99   bits: 7/7
23.61/23.71	c ---[ 214]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.61/23.71	c ---[ 212]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.61/23.72	c ---[ 210]---> Adder-cost: 112   maxlim: 99   bits: 7/7
23.61/23.72	c ---[ 208]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.61/23.73	c ---[ 206]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.61/23.73	c ---[ 204]---> Adder-cost: 112   maxlim: 99   bits: 7/7
23.61/23.74	c ---[ 202]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.61/23.74	c ---[ 200]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.61/23.75	c ---[ 198]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.61/23.76	c ---[ 196]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.61/23.76	c ---[ 194]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.61/23.77	c ---[ 192]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.61/23.77	c ---[ 190]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.61/23.78	c ---[ 188]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.61/23.78	c ---[ 186]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.61/23.79	c ---[ 184]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.61/23.79	c ---[ 182]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.71/23.80	c ---[ 180]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.71/23.80	c ---[ 178]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.71/23.81	c ---[ 176]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.71/23.81	c ---[ 174]---> Adder-cost: 122   maxlim: 99   bits: 7/7
23.71/23.82	c ---[ 172]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.71/23.82	c ---[ 170]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.71/23.83	c ---[ 168]---> Adder-cost: 122   maxlim: 99   bits: 7/7
23.71/23.83	c ---[ 166]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.71/23.84	c ---[ 164]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.71/23.84	c ---[ 162]---> Adder-cost: 122   maxlim: 99   bits: 7/7
23.71/23.85	c ---[ 160]---> Adder-cost: 122   maxlim: 99   bits: 7/7
23.71/23.85	c ---[ 158]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.71/23.86	c ---[ 156]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.71/23.86	c ---[ 154]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.71/23.87	c ---[ 152]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.71/23.87	c ---[ 150]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.71/23.88	c ---[ 148]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.71/23.89	c ---[ 146]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.71/23.89	c ---[ 144]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.71/23.90	c ---[ 142]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.81/23.90	c ---[ 140]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.81/23.91	c ---[ 138]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.81/23.91	c ---[ 136]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.81/23.92	c ---[ 134]---> Adder-cost: 118   maxlim: 99   bits: 7/7
23.81/23.92	c ---[ 132]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.81/23.93	c ---[ 130]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.81/23.93	c ---[ 128]---> Adder-cost: 118   maxlim: 99   bits: 7/7
23.81/23.94	c ---[ 126]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.81/23.94	c ---[ 124]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.81/23.95	c ---[ 122]---> Adder-cost: 118   maxlim: 99   bits: 7/7
23.81/23.95	c ---[ 120]---> Adder-cost: 118   maxlim: 99   bits: 7/7
23.81/23.96	c ---[ 118]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.81/23.96	c ---[ 116]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.81/23.97	c ---[ 114]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.81/23.97	c ---[ 112]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.81/23.98	c ---[ 110]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.81/23.98	c ---[ 108]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.81/23.99	c ---[ 106]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.81/23.99	c ---[ 104]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.91/24.00	c ---[ 102]---> Adder-cost: 122   maxlim: 99   bits: 7/7
23.91/24.00	c ---[ 100]---> Adder-cost: 122   maxlim: 99   bits: 7/7
23.91/24.01	c ---[  98]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.91/24.02	c ---[  96]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.91/24.02	c ---[  94]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.91/24.03	c ---[  92]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.91/24.03	c ---[  90]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.91/24.04	c ---[  88]---> Adder-cost: 120   maxlim: 99   bits: 7/7
23.91/24.04	c ---[  86]---> Adder-cost: 114   maxlim: 99   bits: 7/7
23.91/24.05	c ---[  84]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.91/24.05	c ---[  82]---> Adder-cost: 122   maxlim: 99   bits: 7/7
23.91/24.06	c ---[  80]---> Adder-cost: 122   maxlim: 99   bits: 7/7
23.91/24.06	c ---[  78]---> Adder-cost: 112   maxlim: 99   bits: 7/7
23.91/24.07	c ---[  76]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.91/24.07	c ---[  74]---> Adder-cost: 118   maxlim: 99   bits: 7/7
23.91/24.08	c ---[  72]---> Adder-cost: 112   maxlim: 99   bits: 7/7
23.91/24.08	c ---[  70]---> Adder-cost: 116   maxlim: 99   bits: 7/7
23.91/24.09	c ---[  68]---> Adder-cost: 118   maxlim: 99   bits: 7/7
23.91/24.09	c ---[  66]---> Adder-cost: 112   maxlim: 99   bits: 7/7
23.91/24.10	c ---[  64]---> Adder-cost: 116   maxlim: 99   bits: 7/7
24.01/24.10	c ---[  62]---> Adder-cost: 118   maxlim: 99   bits: 7/7
24.01/24.11	c ---[  60]---> Adder-cost: 118   maxlim: 99   bits: 7/7
24.01/24.11	c ---[  58]---> Adder-cost: 116   maxlim: 99   bits: 7/7
24.01/24.12	c ---[  56]---> Adder-cost: 114   maxlim: 99   bits: 7/7
24.01/24.12	c ---[  54]---> Adder-cost: 120   maxlim: 99   bits: 7/7
24.01/24.13	c ---[  52]---> Adder-cost: 116   maxlim: 99   bits: 7/7
24.01/24.13	c ---[  50]---> Adder-cost: 114   maxlim: 99   bits: 7/7
24.01/24.14	c ---[  48]---> Adder-cost: 120   maxlim: 99   bits: 7/7
24.01/24.14	c ---[  46]---> Adder-cost: 116   maxlim: 99   bits: 7/7
24.01/24.15	c ---[  44]---> Adder-cost: 114   maxlim: 99   bits: 7/7
24.01/24.16	c ---[  42]---> Adder-cost: 120   maxlim: 99   bits: 7/7
24.01/24.16	c ---[  40]---> Adder-cost: 120   maxlim: 99   bits: 7/7
24.01/24.17	c ---[  38]---> BDD-cost:   97
24.01/24.17	c ---[  36]---> BDD-cost:   97
24.01/24.17	c ---[  34]---> BDD-cost:   97
24.01/24.17	c ---[  32]---> BDD-cost:   97
24.01/24.17	c ---[  30]---> BDD-cost:   97
24.01/24.17	c ---[  28]---> BDD-cost:   97
24.01/24.18	c ---[  26]---> BDD-cost:   97
24.01/24.18	c ---[  24]---> BDD-cost:   97
24.01/24.18	c ---[  22]---> BDD-cost:   97
24.01/24.18	c ---[  20]---> BDD-cost:   97
24.01/24.18	c ---[  18]---> BDD-cost:   89
24.01/24.18	c ---[  16]---> BDD-cost:   97
24.01/24.19	c ---[  14]---> BDD-cost:   97
24.01/24.19	c ---[  12]---> BDD-cost:   97
24.01/24.19	c ---[  10]---> BDD-cost:   97
24.01/24.19	c ---[   8]---> BDD-cost:   97
24.01/24.19	c ---[   6]---> BDD-cost:   97
24.01/24.19	c ---[   4]---> BDD-cost:   97
24.01/24.20	c ---[   2]---> BDD-cost:   97
24.01/24.20	c ---[   0]---> BDD-cost:   97
25.20/25.39	c ==================================[MINISAT+]==================================
25.20/25.39	c | Conflicts | Original         | Learnt                           | Progress |
25.20/25.39	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
25.20/25.39	c ==============================================================================
25.20/25.39	c |         0 | 1445633  5120251 |  481877       0        0     nan |  0.000 % |
25.60/25.71	c |       100 | 1445593  5120117 |  530064      96      486     5.1 | 24.734 % |
27.10/27.23	c |       250 | 1445417  5119527 |  583071     230      955     4.2 | 24.744 % |
30.50/30.67	c |       475 | 1444918  5117832 |  641378     412     1528     3.7 | 24.766 % |
36.59/36.75	c |       812 | 1444130  5115196 |  705516     668     2361     3.5 | 24.809 % |
41.39/41.57	c |      1318 | 1443090  5111612 |  776067    1072     3984     3.7 | 24.847 % |
45.39/45.58	c |      2077 | 1442306  5108920 |  853674    1760     9994     5.7 | 24.877 % |
67.38/67.51	c |      3218 | 1439354  5098906 |  939041    2596    12772     4.9 | 25.014 % |
99.28/99.49	c |      4927 | 1434308  5081658 | 1032946    3824    17148     4.5 | 25.240 % |
145.76/145.92	c |      7489 | 1427436  5058124 | 1136240    5682    24662     4.3 | 25.539 % |
235.54/235.70	c |     11333 | 1416586  5021504 | 1249864    8386    35021     4.2 | 26.131 % |
370.30/370.58	c |     17099 | 1401796  4971688 | 1374851   12408    48980     3.9 | 26.963 % |
583.15/583.44	c |     25750 | 1380609  4900077 | 1512336   18427    69905     3.8 | 28.096 % |
876.77/877.18	c |     38725 | 1355799  4816139 | 1663570   27841   104861     3.8 | 29.385 % |
1301.05/1301.54	c |     58186 | 1325897  4714673 | 1829927   42369   157579     3.7 | 30.825 % |
1800.03/1800.61	c 
1800.03/1800.61	c *** TERMINATED ***
1800.03/1800.61	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/350712-1176541858/instance-350712-1176541858.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node6/watcher-350712-1176541858 -o ROOT/results/node6/solver-350712-1176541858 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/350712-1176541858/minisat+ /tmp/evaluation/350712-1176541858/instance-350712-1176541858.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 7776
/proc/meminfo: memFree=1766648/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=1352 CPUtime=0
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 130223451 1384448 172 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 338 172 67 215 0 120 0

[startup+0.080458 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 7776
/proc/meminfo: memFree=1766648/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=8480 CPUtime=0.07
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 1752 0 0 0 7 0 0 0 18 0 1 0 130223451 8683520 1687 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135037705 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 2120 1687 67 215 0 1902 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 8480

[startup+0.101461 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 7776
/proc/meminfo: memFree=1766648/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=9660 CPUtime=0.09
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 2113 0 0 0 8 1 0 0 18 0 1 0 130223451 9891840 1965 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569966 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 2415 1965 67 215 0 2197 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9660

[startup+0.301483 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 7776
/proc/meminfo: memFree=1766648/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=11908 CPUtime=0.29
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 2834 0 0 0 28 1 0 0 19 0 1 0 130223451 12193792 2584 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 2977 2584 74 215 0 2759 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11908

[startup+0.701531 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 7776
/proc/meminfo: memFree=1766648/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=13276 CPUtime=0.69
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 3298 0 0 0 68 1 0 0 23 0 1 0 130223451 13594624 3048 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012195 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 3319 3048 74 215 0 3101 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13276

[startup+1.50162 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7777
/proc/meminfo: memFree=1752688/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=19372 CPUtime=1.49
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 4684 0 0 0 147 2 0 0 25 0 1 0 130223451 19836928 4434 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 4843 4434 74 215 0 4625 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19372

[startup+3.10181 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7777
/proc/meminfo: memFree=1745136/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=30084 CPUtime=3.09
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 7216 0 0 0 305 4 0 0 25 0 1 0 130223451 30806016 6966 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 7521 6966 74 215 0 7303 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30084

[startup+6.30119 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7777
/proc/meminfo: memFree=1724784/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=48676 CPUtime=6.29
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 11961 0 0 0 622 7 0 0 25 0 1 0 130223451 49844224 11711 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 12169 11711 74 215 0 11951 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 48676

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7777
/proc/meminfo: memFree=1703664/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=64616 CPUtime=12.68
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 15969 0 0 0 1260 8 0 0 25 0 1 0 130223451 66166784 15719 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005850 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 16154 15719 83 215 0 15936 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 64616

[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7777
/proc/meminfo: memFree=1651184/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=129660 CPUtime=25.4
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 31131 0 0 0 2523 17 0 0 25 0 1 0 130223451 132771840 30056 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582044 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 32415 30056 121 215 0 32197 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 129660

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7777
/proc/meminfo: memFree=1646256/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=129792 CPUtime=50.98
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 31142 0 0 0 5081 17 0 0 25 0 1 0 130223451 132907008 30067 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569828 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 32448 30067 122 215 0 32230 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 129792

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7777
/proc/meminfo: memFree=1646192/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=129792 CPUtime=102.18
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 31166 0 0 0 10200 18 0 0 25 0 1 0 130223451 132907008 30091 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569804 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 32448 30091 122 215 0 32230 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 129792

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7777
/proc/meminfo: memFree=1645744/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=130188 CPUtime=162.16
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 31256 0 0 0 16198 18 0 0 25 0 1 0 130223451 133312512 30181 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569697 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 32547 30181 122 215 0 32329 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 130188

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7777
/proc/meminfo: memFree=1645360/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=130448 CPUtime=222.15
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 31343 0 0 0 22196 19 0 0 25 0 1 0 130223451 133578752 30268 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 32612 30268 122 215 0 32394 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 130448

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7777
/proc/meminfo: memFree=1644976/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=130844 CPUtime=282.13
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 31441 0 0 0 28193 20 0 0 25 0 1 0 130223451 133984256 30366 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569772 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 32711 30366 122 215 0 32493 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 130844

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7777
/proc/meminfo: memFree=1644592/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=131248 CPUtime=342.11
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 31528 0 0 0 34191 20 0 0 25 0 1 0 130223451 134397952 30453 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569780 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 32812 30453 122 215 0 32594 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 131248

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7777
/proc/meminfo: memFree=1644272/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=131512 CPUtime=402.1
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 31610 0 0 0 40189 21 0 0 25 0 1 0 130223451 134668288 30535 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582057 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 32878 30535 122 215 0 32660 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 131512

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7777
/proc/meminfo: memFree=1643888/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=131908 CPUtime=462.08
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 31686 0 0 0 46187 21 0 0 25 0 1 0 130223451 135073792 30611 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582092 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 32977 30611 122 215 0 32759 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 131908

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7777
/proc/meminfo: memFree=1643504/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=132180 CPUtime=522.06
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 31769 0 0 0 52185 21 0 0 25 0 1 0 130223451 135352320 30694 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588661 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 33045 30694 122 215 0 32827 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 132180

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7777
/proc/meminfo: memFree=1643056/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=132612 CPUtime=582.05
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 31862 0 0 0 58183 22 0 0 25 0 1 0 130223451 135794688 30787 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 33153 30787 122 215 0 32935 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 132612

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7777
/proc/meminfo: memFree=1642736/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=132744 CPUtime=642.03
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 31930 0 0 0 64181 22 0 0 25 0 1 0 130223451 135929856 30855 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588686 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 33186 30855 123 215 0 32968 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 132744


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7777
/proc/meminfo: memFree=1641712/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=133536 CPUtime=821.99
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32146 0 0 0 82175 24 0 0 25 0 1 0 130223451 136740864 31071 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 33384 31071 123 215 0 33166 0
Current children cumulated CPU time (s) 821.99
Current children cumulated vsize (KiB) 133536

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7777
/proc/meminfo: memFree=1641392/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=133964 CPUtime=881.96
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32211 0 0 0 88172 24 0 0 25 0 1 0 130223451 137179136 31136 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573010 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 33491 31136 123 215 0 33273 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 133964

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7777
/proc/meminfo: memFree=1641136/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=134096 CPUtime=941.95
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32256 0 0 0 94170 25 0 0 25 0 1 0 130223451 137314304 31181 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569822 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 33524 31181 123 215 0 33306 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 134096

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7777
/proc/meminfo: memFree=1640944/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=134228 CPUtime=1001.93
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32303 0 0 0 100168 25 0 0 25 0 1 0 130223451 137449472 31228 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569782 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 33557 31228 123 215 0 33339 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 134228

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7777
/proc/meminfo: memFree=1640688/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=134360 CPUtime=1061.92
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32351 0 0 0 106166 26 0 0 25 0 1 0 130223451 137584640 31276 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 33590 31276 123 215 0 33372 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 134360

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7777
/proc/meminfo: memFree=1640432/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=134492 CPUtime=1121.9
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32395 0 0 0 112164 26 0 0 25 0 1 0 130223451 137719808 31320 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569797 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 33623 31320 123 215 0 33405 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 134492

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7777
/proc/meminfo: memFree=1640240/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=134624 CPUtime=1181.88
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32431 0 0 0 118162 26 0 0 25 0 1 0 130223451 137854976 31356 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582022 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 33656 31356 123 215 0 33438 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 134624

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7779
/proc/meminfo: memFree=1639984/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=134756 CPUtime=1241.87
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32471 0 0 0 124160 27 0 0 25 0 1 0 130223451 137990144 31396 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569793 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 33689 31396 123 215 0 33471 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 134756

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7779
/proc/meminfo: memFree=1639792/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=134968 CPUtime=1301.85
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32507 0 0 0 130158 27 0 0 25 0 1 0 130223451 138207232 31432 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 33742 31432 123 215 0 33524 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 134968

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7779
/proc/meminfo: memFree=1639536/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=135232 CPUtime=1361.84
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32545 0 0 0 136156 28 0 0 25 0 1 0 130223451 138477568 31470 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588655 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 33808 31470 123 215 0 33590 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 135232

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7779
/proc/meminfo: memFree=1639344/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=135360 CPUtime=1421.82
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32587 0 0 0 142154 28 0 0 25 0 1 0 130223451 138608640 31512 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 33840 31512 123 215 0 33622 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 135360

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7779
/proc/meminfo: memFree=1639280/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=135360 CPUtime=1481.81
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32606 0 0 0 148152 29 0 0 25 0 1 0 130223451 138608640 31531 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 33840 31531 123 215 0 33622 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 135360

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7779
/proc/meminfo: memFree=1639024/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=135492 CPUtime=1541.79
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32642 0 0 0 154150 29 0 0 25 0 1 0 130223451 138743808 31567 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588728 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 33873 31567 123 215 0 33655 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 135492

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7779
/proc/meminfo: memFree=1638896/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=135624 CPUtime=1601.77
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32676 0 0 0 160148 29 0 0 25 0 1 0 130223451 138878976 31601 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569723 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 33906 31601 123 215 0 33688 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 135624

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7779
/proc/meminfo: memFree=1638768/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=135756 CPUtime=1661.75
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32708 0 0 0 166145 30 0 0 25 0 1 0 130223451 139014144 31633 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569799 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 33939 31633 123 215 0 33721 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 135756

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7779
/proc/meminfo: memFree=1638576/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=135888 CPUtime=1721.73
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32744 0 0 0 172143 30 0 0 25 0 1 0 130223451 139149312 31669 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 33972 31669 123 215 0 33754 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 135888

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7779
/proc/meminfo: memFree=1638384/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=135888 CPUtime=1781.73
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32775 0 0 0 178142 31 0 0 25 0 1 0 130223451 139149312 31700 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134589444 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 33972 31700 123 215 0 33754 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 135888



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 7779
/proc/meminfo: memFree=1638320/2055924 swapFree=4191880/4192956
[pid=7776] ppid=7774 vsize=136140 CPUtime=1800.03
/proc/7776/stat : 7776 (minisat+) R 7774 7776 7110 0 -1 4194304 32785 0 0 0 179972 31 0 0 25 0 1 0 130223451 139407360 31710 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588659 0 0 4096 16386 0 0 0 17 1 0 0
/proc/7776/statm: 34035 31710 123 215 0 33817 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 136140

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.63
CPU time (s): 1800.06
CPU user time (s): 1799.72
CPU system time (s): 0.334949
CPU usage (%): 99.9681
Max. virtual memory (cumulated for all children) (KiB): 136140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.334949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32786
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 39752

runsolver used 2.22566 second user time and 4.33734 second system time

The end

Launcher Data (download as text)

Begin job on node6 on Sat Apr 14 09:10:58 UTC 2007

IDJOB= 350712
IDBENCH= 1581
IDSOLVER= 156
FILE ID= node6/350712-1176541858

PBS_JOBID= 4556732

Free space on /tmp= 66551 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-qap10.opb
COMMAND LINE= /tmp/evaluation/350712-1176541858/minisat+ /tmp/evaluation/350712-1176541858/instance-350712-1176541858.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node6/convwatcher-350712-1176541858 -o ROOT/results/node6/conversion-350712-1176541858 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/350712-1176541858/instance-350712-1176541858.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node6/watcher-350712-1176541858 -o ROOT/results/node6/solver-350712-1176541858 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/350712-1176541858/minisat+ /tmp/evaluation/350712-1176541858/instance-350712-1176541858.opb            

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  cba28129e4f6f6eef01b4dc927adb1b9

RANDOM SEED= 37174146

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node6.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.232
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.232
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:      2055924 kB
MemFree:       1767056 kB
Buffers:         24412 kB
Cached:         160072 kB
SwapCached:        408 kB
Active:         113876 kB
Inactive:       125484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1767056 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            6836 kB
Writeback:           0 kB
Mapped:          71972 kB
Slab:            35068 kB
Committed_AS:  4859140 kB
PageTables:       1784 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66551 MiB

End job on node6 on Sat Apr 14 09:41:01 UTC 2007