Trace number 4113772

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
minisatp 2012-10-02 git-d91742b? (TO) 1800.07 1800.41

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12036_4-sat.opb
MD5SUMb4d4215a44d43278004dfcd0ea549fa8
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables57354
Total number of constraints192702
Number of constraints which are clauses191758
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints944
Minimum length of a constraint1
Maximum length of a constraint120
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 20
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 754
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Parsing PB file...
2.30/2.34	c Converting 172906 PB-constraints to clauses...
2.39/2.44	c   -- Unit propagations: ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
2.39/2.47	c   -- Detecting intervals from adjacent constraints: ####################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################
2.39/2.47	c   -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
2.59/2.61	c ---[77145]---> BDD-cost:    1
2.59/2.61	c ---[77143]---> BDD-cost:    1
2.59/2.61	c ---[77141]---> BDD-cost:    1
2.59/2.61	c ---[77139]---> BDD-cost:    1
2.59/2.61	c ---[76578]---> BDD-cost:    1
2.59/2.61	c ---[76575]---> BDD-cost:    1
2.59/2.61	c ---[76572]---> BDD-cost:    1
2.59/2.61	c ---[76569]---> BDD-cost:    1
2.59/2.61	c ---[76451]---> BDD-cost:    1
2.59/2.61	c ---[76449]---> BDD-cost:    1
2.59/2.61	c ---[76447]---> BDD-cost:    1
2.59/2.61	c ---[76445]---> BDD-cost:    1
2.59/2.61	c ---[76443]---> BDD-cost:    1
2.59/2.61	c ---[76441]---> BDD-cost:    1
2.59/2.61	c ---[76439]---> BDD-cost:    1
2.59/2.61	c ---[76437]---> BDD-cost:    1
2.59/2.61	c ---[76435]---> BDD-cost:    1
2.59/2.61	c ---[76433]---> BDD-cost:    1
2.59/2.61	c ---[75932]---> BDD-cost:    1
2.59/2.61	c ---[75929]---> BDD-cost:    1
2.59/2.61	c ---[75926]---> BDD-cost:    1
2.59/2.61	c ---[75923]---> BDD-cost:    1
2.59/2.61	c ---[75920]---> BDD-cost:    1
2.59/2.61	c ---[75917]---> BDD-cost:    1
2.59/2.61	c ---[75914]---> BDD-cost:    1
2.59/2.61	c ---[75911]---> BDD-cost:    1
2.59/2.61	c ---[75908]---> BDD-cost:    1
2.59/2.61	c ---[75905]---> BDD-cost:    1
2.59/2.61	c ---[75763]---> BDD-cost:    1
2.59/2.61	c ---[75761]---> BDD-cost:    1
2.59/2.61	c ---[75759]---> BDD-cost:    1
2.59/2.61	c ---[75345]---> BDD-cost:    1
2.59/2.61	c ---[75342]---> BDD-cost:    1
2.59/2.61	c ---[75339]---> BDD-cost:    1
2.59/2.61	c ---[75064]---> BDD-cost:    1
2.59/2.61	c ---[75062]---> BDD-cost:    1
2.59/2.61	c ---[75059]---> BDD-cost:    1
2.59/2.61	c ---[75056]---> BDD-cost:    1
2.59/2.61	c ---[75054]---> BDD-cost:    1
2.59/2.61	c ---[74646]---> BDD-cost:    1
2.59/2.61	c ---[74643]---> BDD-cost:    1
2.59/2.61	c ---[74640]---> BDD-cost:    1
2.59/2.61	c ---[74637]---> BDD-cost:    1
2.59/2.61	c ---[74634]---> BDD-cost:    1
2.59/2.61	c ---[74374]---> BDD-cost:    1
2.59/2.61	c ---[74372]---> BDD-cost:    1
2.59/2.61	c ---[74370]---> BDD-cost:    1
2.59/2.61	c ---[74368]---> BDD-cost:    1
2.59/2.61	c ---[74366]---> BDD-cost:    1
2.59/2.61	c ---[74364]---> BDD-cost:    1
2.59/2.61	c ---[74362]---> BDD-cost:    1
2.59/2.61	c ---[74359]---> BDD-cost:    1
2.59/2.61	c ---[74356]---> BDD-cost:    1
2.59/2.61	c ---[74354]---> BDD-cost:    1
2.59/2.61	c ---[73934]---> BDD-cost:    1
2.59/2.61	c ---[73931]---> BDD-cost:    1
2.59/2.61	c ---[73928]---> BDD-cost:    1
2.59/2.61	c ---[73925]---> BDD-cost:    1
2.59/2.61	c ---[73922]---> BDD-cost:    1
2.59/2.61	c ---[73919]---> BDD-cost:    1
2.59/2.61	c ---[73916]---> BDD-cost:    1
2.59/2.61	c ---[73913]---> BDD-cost:    1
2.59/2.61	c ---[73910]---> BDD-cost:    1
2.59/2.61	c ---[73907]---> BDD-cost:    1
2.59/2.61	c ---[73675]---> BDD-cost:    1
2.59/2.61	c ---[73673]---> BDD-cost:    1
2.59/2.61	c ---[73670]---> BDD-cost:    1
2.59/2.61	c ---[73667]---> BDD-cost:    1
2.59/2.61	c ---[73665]---> BDD-cost:    1
2.59/2.61	c ---[73170]---> BDD-cost:    1
2.59/2.61	c ---[73167]---> BDD-cost:    1
2.59/2.61	c ---[73164]---> BDD-cost:    1
2.59/2.61	c ---[73161]---> BDD-cost:    1
2.59/2.61	c ---[73158]---> BDD-cost:    1
2.59/2.61	c ---[72997]---> BDD-cost:    1
2.59/2.61	c ---[72994]---> BDD-cost:    1
2.59/2.61	c ---[72991]---> BDD-cost:    1
2.59/2.61	c ---[72989]---> BDD-cost:    1
2.59/2.61	c ---[72554]---> BDD-cost:    1
2.59/2.61	c ---[72551]---> BDD-cost:    1
2.59/2.61	c ---[72548]---> BDD-cost:    1
2.59/2.61	c ---[72545]---> BDD-cost:    1
2.59/2.61	c ---[72297]---> BDD-cost:    1
2.59/2.61	c ---[72294]---> BDD-cost:    1
2.59/2.61	c ---[72291]---> BDD-cost:    1
2.59/2.61	c ---[72288]---> BDD-cost:    1
2.59/2.61	c ---[72286]---> BDD-cost:    1
2.59/2.61	c ---[72283]---> BDD-cost:    1
2.59/2.61	c ---[72280]---> BDD-cost:    1
2.59/2.61	c ---[72278]---> BDD-cost:    1
2.59/2.61	c ---[71879]---> BDD-cost:    1
2.59/2.61	c ---[71876]---> BDD-cost:    1
2.59/2.61	c ---[71873]---> BDD-cost:    1
2.59/2.61	c ---[71870]---> BDD-cost:    1
2.59/2.61	c ---[71867]---> BDD-cost:    1
2.59/2.61	c ---[71864]---> BDD-cost:    1
2.59/2.61	c ---[71861]---> BDD-cost:    1
2.59/2.61	c ---[71858]---> BDD-cost:    1
2.59/2.61	c ---[71616]---> BDD-cost:    1
2.59/2.61	c ---[71614]---> BDD-cost:    1
2.59/2.61	c ---[71612]---> BDD-cost:    1
2.59/2.61	c ---[71609]---> BDD-cost:    1
2.59/2.61	c ---[71606]---> BDD-cost:    1
2.59/2.61	c ---[71603]---> BDD-cost:    1
2.59/2.61	c ---[71601]---> BDD-cost:    1
2.59/2.61	c ---[71598]---> BDD-cost:    1
2.59/2.61	c ---[71595]---> BDD-cost:    1
2.59/2.61	c ---[71593]---> BDD-cost:    1
2.59/2.61	c ---[71176]---> BDD-cost:    1
2.59/2.61	c ---[71173]---> BDD-cost:    1
2.59/2.61	c ---[71170]---> BDD-cost:    1
2.59/2.61	c ---[71167]---> BDD-cost:    1
2.59/2.61	c ---[71164]---> BDD-cost:    1
2.59/2.61	c ---[71161]---> BDD-cost:    1
2.59/2.61	c ---[71158]---> BDD-cost:    1
2.59/2.61	c ---[71155]---> BDD-cost:    1
2.59/2.61	c ---[71152]---> BDD-cost:    1
2.59/2.61	c ---[71149]---> BDD-cost:    1
2.59/2.61	c ---[70907]---> BDD-cost:    1
2.59/2.61	c ---[70904]---> BDD-cost:    1
2.59/2.61	c ---[70902]---> BDD-cost:    1
2.59/2.61	c ---[70899]---> BDD-cost:    1
2.59/2.61	c ---[70896]---> BDD-cost:    1
2.59/2.61	c ---[70893]---> BDD-cost:    1
2.59/2.61	c ---[70891]---> BDD-cost:    1
2.59/2.61	c ---[70888]---> BDD-cost:    1
2.59/2.61	c ---[70885]---> BDD-cost:    1
2.59/2.61	c ---[70883]---> BDD-cost:    1
2.59/2.61	c ---[70466]---> BDD-cost:    1
2.59/2.61	c ---[70463]---> BDD-cost:    1
2.59/2.61	c ---[70460]---> BDD-cost:    1
2.59/2.61	c ---[70457]---> BDD-cost:    1
2.59/2.61	c ---[70454]---> BDD-cost:    1
2.59/2.61	c ---[70451]---> BDD-cost:    1
2.59/2.61	c ---[70448]---> BDD-cost:    1
2.59/2.61	c ---[70445]---> BDD-cost:    1
2.59/2.61	c ---[70442]---> BDD-cost:    1
2.59/2.61	c ---[70439]---> BDD-cost:    1
2.59/2.61	c ---[70236]---> BDD-cost:    1
2.59/2.61	c ---[70233]---> BDD-cost:    1
2.59/2.61	c ---[70230]---> BDD-cost:    1
2.59/2.61	c ---[70227]---> BDD-cost:    1
2.59/2.61	c ---[70224]---> BDD-cost:    1
2.59/2.61	c ---[70221]---> BDD-cost:    1
2.59/2.61	c ---[70219]---> BDD-cost:    1
2.59/2.61	c ---[70216]---> BDD-cost:    1
2.59/2.61	c ---[70213]---> BDD-cost:    1
2.59/2.61	c ---[70211]---> BDD-cost:    1
2.59/2.61	c ---[69791]---> BDD-cost:    1
2.59/2.61	c ---[69788]---> BDD-cost:    1
2.59/2.61	c ---[69785]---> BDD-cost:    1
2.59/2.61	c ---[69782]---> BDD-cost:    1
2.59/2.61	c ---[69779]---> BDD-cost:    1
2.59/2.61	c ---[69776]---> BDD-cost:    1
2.59/2.61	c ---[69773]---> BDD-cost:    1
2.59/2.61	c ---[69770]---> BDD-cost:    1
2.59/2.61	c ---[69767]---> BDD-cost:    1
2.59/2.61	c ---[69764]---> BDD-cost:    1
2.59/2.61	c ---[69538]---> BDD-cost:    1
2.59/2.61	c ---[69535]---> BDD-cost:    1
2.59/2.61	c ---[69533]---> BDD-cost:    1
2.59/2.61	c ---[69119]---> BDD-cost:    1
2.59/2.61	c ---[69116]---> BDD-cost:    1
2.59/2.61	c ---[69113]---> BDD-cost:    1
2.59/2.61	c ---[68854]---> BDD-cost:    1
2.59/2.61	c ---[68851]---> BDD-cost:    1
2.59/2.61	c ---[68848]---> BDD-cost:    1
2.59/2.61	c ---[68846]---> BDD-cost:    1
2.59/2.61	c ---[68843]---> BDD-cost:    1
2.59/2.61	c ---[68840]---> BDD-cost:    1
2.59/2.61	c ---[68838]---> BDD-cost:    1
2.59/2.61	c ---[68367]---> BDD-cost:    1
2.59/2.61	c ---[68364]---> BDD-cost:    1
2.59/2.61	c ---[68361]---> BDD-cost:    1
2.59/2.61	c ---[68358]---> BDD-cost:    1
2.59/2.61	c ---[68355]---> BDD-cost:    1
2.59/2.61	c ---[68352]---> BDD-cost:    1
2.59/2.61	c ---[68349]---> BDD-cost:    1
2.59/2.61	c ---[68175]---> BDD-cost:    1
2.59/2.61	c ---[68173]---> BDD-cost:    1
2.59/2.61	c ---[68170]---> BDD-cost:    1
2.59/2.61	c ---[68167]---> BDD-cost:    1
2.59/2.61	c ---[68165]---> BDD-cost:    1
2.59/2.61	c ---[67601]---> BDD-cost:    1
2.59/2.61	c ---[67598]---> BDD-cost:    1
2.59/2.61	c ---[67595]---> BDD-cost:    1
2.59/2.61	c ---[67592]---> BDD-cost:    1
2.59/2.61	c ---[67589]---> BDD-cost:    1
2.59/2.61	c ---[67496]---> BDD-cost:    1
2.59/2.61	c ---[67494]---> BDD-cost:    1
2.59/2.61	c ---[66900]---> BDD-cost:    1
2.59/2.61	c ---[66897]---> BDD-cost:    1
2.59/2.61	c ---[66783]---> BDD-cost:    1
2.59/2.61	c ---[66781]---> BDD-cost:    1
2.59/2.61	c ---[66778]---> BDD-cost:    1
2.59/2.61	c ---[66775]---> BDD-cost:    1
2.59/2.61	c ---[66773]---> BDD-cost:    1
2.59/2.61	c ---[66365]---> BDD-cost:    1
2.59/2.61	c ---[66362]---> BDD-cost:    1
2.59/2.61	c ---[66359]---> BDD-cost:    1
2.59/2.61	c ---[66356]---> BDD-cost:    1
2.59/2.61	c ---[66353]---> BDD-cost:    1
2.59/2.61	c ---[66103]---> BDD-cost:    1
2.59/2.61	c ---[66100]---> BDD-cost:    1
2.59/2.61	c ---[66098]---> BDD-cost:    1
2.59/2.61	c ---[65618]---> BDD-cost:    1
2.59/2.61	c ---[65615]---> BDD-cost:    1
2.59/2.61	c ---[65612]---> BDD-cost:    1
2.59/2.61	c ---[65436]---> BDD-cost:    1
2.59/2.61	c ---[65433]---> BDD-cost:    1
2.59/2.61	c ---[65430]---> BDD-cost:    1
2.59/2.61	c ---[65427]---> BDD-cost:    1
2.59/2.61	c ---[65424]---> BDD-cost:    1
2.59/2.61	c ---[65421]---> BDD-cost:    1
2.59/2.61	c ---[65419]---> BDD-cost:    1
2.59/2.61	c ---[65416]---> BDD-cost:    1
2.59/2.61	c ---[65413]---> BDD-cost:    1
2.59/2.61	c ---[65411]---> BDD-cost:    1
2.59/2.61	c ---[64931]---> BDD-cost:    1
2.59/2.61	c ---[64928]---> BDD-cost:    1
2.59/2.61	c ---[64925]---> BDD-cost:    1
2.59/2.61	c ---[64922]---> BDD-cost:    1
2.59/2.61	c ---[64919]---> BDD-cost:    1
2.59/2.61	c ---[64916]---> BDD-cost:    1
2.59/2.61	c ---[64913]---> BDD-cost:    1
2.59/2.61	c ---[64910]---> BDD-cost:    1
2.59/2.61	c ---[64907]---> BDD-cost:    1
2.59/2.61	c ---[64904]---> BDD-cost:    1
2.59/2.61	c ---[64741]---> BDD-cost:    1
2.59/2.61	c ---[64213]---> BDD-cost:    1
2.59/2.61	c ---[64031]---> BDD-cost:    1
2.59/2.61	c ---[64028]---> BDD-cost:    1
2.59/2.61	c ---[64026]---> BDD-cost:    1
2.59/2.61	c ---[64023]---> BDD-cost:    1
2.59/2.61	c ---[64020]---> BDD-cost:    1
2.59/2.61	c ---[64017]---> BDD-cost:    1
2.59/2.61	c ---[64015]---> BDD-cost:    1
2.59/2.61	c ---[64012]---> BDD-cost:    1
2.59/2.61	c ---[64009]---> BDD-cost:    1
2.59/2.61	c ---[64007]---> BDD-cost:    1
2.59/2.61	c ---[63590]---> BDD-cost:    1
2.59/2.61	c ---[63587]---> BDD-cost:    1
2.59/2.61	c ---[63584]---> BDD-cost:    1
2.59/2.61	c ---[63581]---> BDD-cost:    1
2.59/2.61	c ---[63578]---> BDD-cost:    1
2.59/2.61	c ---[63575]---> BDD-cost:    1
2.59/2.61	c ---[63572]---> BDD-cost:    1
2.59/2.61	c ---[63569]---> BDD-cost:    1
2.59/2.61	c ---[63566]---> BDD-cost:    1
2.59/2.61	c ---[63563]---> BDD-cost:    1
2.59/2.61	c ---[63372]---> BDD-cost:    1
2.59/2.61	c ---[63369]---> BDD-cost:    1
2.59/2.61	c ---[63367]---> BDD-cost:    1
2.59/2.61	c ---[62863]---> BDD-cost:    1
2.59/2.61	c ---[62860]---> BDD-cost:    1
2.59/2.61	c ---[62857]---> BDD-cost:    1
2.59/2.61	c ---[62734]---> BDD-cost:    1
2.59/2.61	c ---[62731]---> BDD-cost:    1
2.59/2.61	c ---[62729]---> BDD-cost:    1
2.59/2.61	c ---[62726]---> BDD-cost:    1
2.59/2.61	c ---[62723]---> BDD-cost:    1
2.59/2.61	c ---[62721]---> BDD-cost:    1
2.59/2.61	c ---[62190]---> BDD-cost:    1
2.59/2.61	c ---[62187]---> BDD-cost:    1
2.59/2.61	c ---[62184]---> BDD-cost:    1
2.59/2.61	c ---[62181]---> BDD-cost:    1
2.59/2.61	c ---[62178]---> BDD-cost:    1
2.59/2.61	c ---[62175]---> BDD-cost:    1
2.59/2.61	c ---[61996]---> BDD-cost:    1
2.59/2.61	c ---[61993]---> BDD-cost:    1
2.59/2.61	c ---[61991]---> BDD-cost:    1
2.59/2.61	c ---[61988]---> BDD-cost:    1
2.59/2.61	c ---[61985]---> BDD-cost:    1
2.59/2.61	c ---[61982]---> BDD-cost:    1
2.59/2.61	c ---[61980]---> BDD-cost:    1
2.59/2.61	c ---[61977]---> BDD-cost:    1
2.59/2.61	c ---[61974]---> BDD-cost:    1
2.59/2.61	c ---[61972]---> BDD-cost:    1
2.59/2.61	c ---[61459]---> BDD-cost:    1
2.59/2.61	c ---[61456]---> BDD-cost:    1
2.59/2.61	c ---[61453]---> BDD-cost:    1
2.59/2.61	c ---[61450]---> BDD-cost:    1
2.59/2.61	c ---[61447]---> BDD-cost:    1
2.59/2.61	c ---[61444]---> BDD-cost:    1
2.59/2.61	c ---[61441]---> BDD-cost:    1
2.59/2.61	c ---[61438]---> BDD-cost:    1
2.59/2.61	c ---[61435]---> BDD-cost:    1
2.59/2.61	c ---[61432]---> BDD-cost:    1
2.59/2.61	c ---[61351]---> BDD-cost:    1
2.59/2.61	c ---[61348]---> BDD-cost:    1
2.59/2.61	c ---[61345]---> BDD-cost:    1
2.59/2.61	c ---[61342]---> BDD-cost:    1
2.59/2.61	c ---[61340]---> BDD-cost:    1
2.59/2.61	c ---[61337]---> BDD-cost:    1
2.59/2.61	c ---[61334]---> BDD-cost:    1
2.59/2.61	c ---[61332]---> BDD-cost:    1
2.59/2.61	c ---[60852]---> BDD-cost:    1
2.59/2.61	c ---[60849]---> BDD-cost:    1
2.59/2.61	c ---[60846]---> BDD-cost:    1
2.59/2.61	c ---[60843]---> BDD-cost:    1
2.59/2.61	c ---[60840]---> BDD-cost:    1
2.59/2.61	c ---[60837]---> BDD-cost:    1
2.59/2.61	c ---[60834]---> BDD-cost:    1
2.59/2.61	c ---[60831]---> BDD-cost:    1
2.59/2.61	c ---[60604]---> BDD-cost:    1
2.59/2.61	c ---[60601]---> BDD-cost:    1
2.59/2.61	c ---[60598]---> BDD-cost:    1
2.59/2.61	c ---[60596]---> BDD-cost:    1
2.59/2.61	c ---[60593]---> BDD-cost:    1
2.59/2.61	c ---[60590]---> BDD-cost:    1
2.59/2.61	c ---[60588]---> BDD-cost:    1
2.59/2.61	c ---[60162]---> BDD-cost:    1
2.59/2.61	c ---[60159]---> BDD-cost:    1
2.59/2.61	c ---[60156]---> BDD-cost:    1
2.59/2.61	c ---[60153]---> BDD-cost:    1
2.59/2.61	c ---[60150]---> BDD-cost:    1
2.59/2.61	c ---[60147]---> BDD-cost:    1
2.59/2.61	c ---[60144]---> BDD-cost:    1
2.59/2.61	c ---[60013]---> BDD-cost:    1
2.59/2.61	c ---[60010]---> BDD-cost:    1
2.59/2.61	c ---[60007]---> BDD-cost:    1
2.59/2.61	c ---[60005]---> BDD-cost:    1
2.59/2.61	c ---[59360]---> BDD-cost:    1
2.59/2.61	c ---[59357]---> BDD-cost:    1
2.59/2.61	c ---[59355]---> BDD-cost:    1
2.59/2.61	c ---[59352]---> BDD-cost:    1
2.59/2.61	c ---[59258]---> BDD-cost:    1
2.59/2.61	c ---[59255]---> BDD-cost:    1
2.59/2.61	c ---[59253]---> BDD-cost:    1
2.59/2.61	c ---[58758]---> BDD-cost:    1
2.59/2.61	c ---[58755]---> BDD-cost:    1
2.59/2.61	c ---[58752]---> BDD-cost:    1
2.59/2.61	c ---[58589]---> BDD-cost:    1
2.59/2.61	c ---[58586]---> BDD-cost:    1
2.59/2.61	c ---[58583]---> BDD-cost:    1
2.59/2.61	c ---[58580]---> BDD-cost:    1
2.59/2.61	c ---[58578]---> BDD-cost:    1
2.59/2.61	c ---[58575]---> BDD-cost:    1
2.59/2.61	c ---[58572]---> BDD-cost:    1
2.59/2.61	c ---[58570]---> BDD-cost:    1
2.59/2.61	c ---[58171]---> BDD-cost:    1
2.59/2.61	c ---[58168]---> BDD-cost:    1
2.59/2.61	c ---[58165]---> BDD-cost:    1
2.59/2.61	c ---[58162]---> BDD-cost:    1
2.59/2.61	c ---[58159]---> BDD-cost:    1
2.59/2.61	c ---[58156]---> BDD-cost:    1
2.59/2.61	c ---[58153]---> BDD-cost:    1
2.59/2.61	c ---[58150]---> BDD-cost:    1
2.59/2.61	c ---[57904]---> BDD-cost:    1
2.59/2.61	c ---[57901]---> BDD-cost:    1
2.59/2.61	c ---[57899]---> BDD-cost:    1
2.59/2.61	c ---[57896]---> BDD-cost:    1
2.59/2.61	c ---[57893]---> BDD-cost:    1
2.59/2.61	c ---[57891]---> BDD-cost:    1
2.59/2.61	c ---[57486]---> BDD-cost:    1
2.59/2.61	c ---[57483]---> BDD-cost:    1
2.59/2.61	c ---[57480]---> BDD-cost:    1
2.59/2.61	c ---[57477]---> BDD-cost:    1
2.59/2.61	c ---[57474]---> BDD-cost:    1
2.59/2.61	c ---[57471]---> BDD-cost:    1
2.59/2.61	c ---[57280]---> BDD-cost:    1
2.59/2.61	c ---[57277]---> BDD-cost:    1
2.59/2.61	c ---[57274]---> BDD-cost:    1
2.59/2.61	c ---[57271]---> BDD-cost:    1
2.59/2.61	c ---[57268]---> BDD-cost:    1
2.59/2.61	c ---[57266]---> BDD-cost:    1
2.59/2.61	c ---[56648]---> BDD-cost:    1
2.59/2.61	c ---[56645]---> BDD-cost:    1
2.59/2.61	c ---[56642]---> BDD-cost:    1
2.59/2.61	c ---[56639]---> BDD-cost:    1
2.59/2.61	c ---[56636]---> BDD-cost:    1
2.59/2.61	c ---[56633]---> BDD-cost:    1
2.59/2.61	c ---[56572]---> BDD-cost:    1
2.59/2.61	c ---[56569]---> BDD-cost:    1
2.59/2.61	c ---[56566]---> BDD-cost:    1
2.59/2.61	c ---[56563]---> BDD-cost:    1
2.59/2.61	c ---[56560]---> BDD-cost:    1
2.59/2.61	c ---[56558]---> BDD-cost:    1
2.59/2.61	c ---[56555]---> BDD-cost:    1
2.59/2.61	c ---[56552]---> BDD-cost:    1
2.59/2.61	c ---[56550]---> BDD-cost:    1
2.59/2.61	c ---[56100]---> BDD-cost:    1
2.59/2.61	c ---[56097]---> BDD-cost:    1
2.59/2.61	c ---[56094]---> BDD-cost:    1
2.59/2.61	c ---[56091]---> BDD-cost:    1
2.59/2.61	c ---[56088]---> BDD-cost:    1
2.59/2.61	c ---[56085]---> BDD-cost:    1
2.59/2.62	c ---[56082]---> BDD-cost:    1
2.59/2.62	c ---[56079]---> BDD-cost:    1
2.59/2.62	c ---[56076]---> BDD-cost:    1
2.59/2.62	c ---[55897]---> BDD-cost:    1
2.59/2.62	c ---[55895]---> BDD-cost:    1
2.59/2.62	c ---[55892]---> BDD-cost:    1
2.59/2.62	c ---[55889]---> BDD-cost:    1
2.59/2.62	c ---[55886]---> BDD-cost:    1
2.59/2.62	c ---[55883]---> BDD-cost:    1
2.59/2.62	c ---[55881]---> BDD-cost:    1
2.59/2.62	c ---[55878]---> BDD-cost:    1
2.59/2.62	c ---[55875]---> BDD-cost:    1
2.59/2.62	c ---[55873]---> BDD-cost:    1
2.59/2.62	c ---[55390]---> BDD-cost:    1
2.59/2.62	c ---[55387]---> BDD-cost:    1
2.59/2.62	c ---[55384]---> BDD-cost:    1
2.59/2.62	c ---[55381]---> BDD-cost:    1
2.59/2.62	c ---[55378]---> BDD-cost:    1
2.59/2.62	c ---[55375]---> BDD-cost:    1
2.59/2.62	c ---[55372]---> BDD-cost:    1
2.59/2.62	c ---[55369]---> BDD-cost:    1
2.59/2.62	c ---[55366]---> BDD-cost:    1
2.59/2.62	c ---[55363]---> BDD-cost:    1
2.59/2.62	c ---[55190]---> BDD-cost:    1
2.59/2.62	c ---[55188]---> BDD-cost:    1
2.59/2.62	c ---[54708]---> BDD-cost:    1
2.59/2.62	c ---[54705]---> BDD-cost:    1
2.59/2.62	c ---[54510]---> BDD-cost:    1
2.59/2.62	c ---[54507]---> BDD-cost:    1
2.59/2.62	c ---[54504]---> BDD-cost:    1
2.59/2.62	c ---[54502]---> BDD-cost:    1
2.59/2.62	c ---[54013]---> BDD-cost:    1
2.59/2.62	c ---[54010]---> BDD-cost:    1
2.59/2.62	c ---[54007]---> BDD-cost:    1
2.59/2.62	c ---[54004]---> BDD-cost:    1
2.59/2.62	c ---[53812]---> BDD-cost:    1
2.59/2.62	c ---[53809]---> BDD-cost:    1
2.59/2.62	c ---[53806]---> BDD-cost:    1
2.59/2.62	c ---[53804]---> BDD-cost:    1
2.59/2.62	c ---[53801]---> BDD-cost:    1
2.59/2.62	c ---[53798]---> BDD-cost:    1
2.59/2.62	c ---[53796]---> BDD-cost:    1
2.59/2.62	c ---[53274]---> BDD-cost:    1
2.59/2.62	c ---[53271]---> BDD-cost:    1
2.59/2.62	c ---[53268]---> BDD-cost:    1
2.59/2.62	c ---[53265]---> BDD-cost:    1
2.59/2.62	c ---[53262]---> BDD-cost:    1
2.59/2.62	c ---[53259]---> BDD-cost:    1
2.59/2.62	c ---[53256]---> BDD-cost:    1
2.59/2.62	c ---[53126]---> BDD-cost:    1
2.59/2.62	c ---[52706]---> BDD-cost:    1
2.59/2.62	c ---[52516]---> BDD-cost:    1
2.59/2.62	c ---[52513]---> BDD-cost:    1
2.59/2.62	c ---[52510]---> BDD-cost:    1
2.59/2.62	c ---[52507]---> BDD-cost:    1
2.59/2.62	c ---[52504]---> BDD-cost:    1
2.59/2.62	c ---[52501]---> BDD-cost:    1
2.59/2.62	c ---[52499]---> BDD-cost:    1
2.59/2.62	c ---[51920]---> BDD-cost:    1
2.59/2.62	c ---[51917]---> BDD-cost:    1
2.59/2.62	c ---[51914]---> BDD-cost:    1
2.59/2.62	c ---[51911]---> BDD-cost:    1
2.59/2.62	c ---[51908]---> BDD-cost:    1
2.59/2.62	c ---[51905]---> BDD-cost:    1
2.59/2.62	c ---[51902]---> BDD-cost:    1
2.59/2.62	c ---[51776]---> BDD-cost:    1
2.59/2.62	c ---[51773]---> BDD-cost:    1
2.59/2.62	c ---[51770]---> BDD-cost:    1
2.59/2.62	c ---[51768]---> BDD-cost:    1
2.59/2.62	c ---[51318]---> BDD-cost:    1
2.59/2.62	c ---[51315]---> BDD-cost:    1
2.59/2.62	c ---[51312]---> BDD-cost:    1
2.59/2.62	c ---[51309]---> BDD-cost:    1
2.59/2.62	c ---[51134]---> BDD-cost:    1
2.59/2.62	c ---[51132]---> BDD-cost:    1
2.59/2.62	c ---[51129]---> BDD-cost:    1
2.59/2.62	c ---[51126]---> BDD-cost:    1
2.59/2.62	c ---[51123]---> BDD-cost:    1
2.59/2.62	c ---[51120]---> BDD-cost:    1
2.59/2.62	c ---[51118]---> BDD-cost:    1
2.59/2.62	c ---[51115]---> BDD-cost:    1
2.59/2.62	c ---[51112]---> BDD-cost:    1
2.59/2.62	c ---[51110]---> BDD-cost:    1
2.59/2.62	c ---[50663]---> BDD-cost:    1
2.59/2.62	c ---[50660]---> BDD-cost:    1
2.59/2.62	c ---[50657]---> BDD-cost:    1
2.59/2.62	c ---[50654]---> BDD-cost:    1
2.59/2.62	c ---[50651]---> BDD-cost:    1
2.59/2.62	c ---[50648]---> BDD-cost:    1
2.59/2.62	c ---[50645]---> BDD-cost:    1
2.59/2.62	c ---[50642]---> BDD-cost:    1
2.59/2.62	c ---[50639]---> BDD-cost:    1
2.59/2.62	c ---[50636]---> BDD-cost:    1
2.59/2.62	c ---[50508]---> BDD-cost:    1
2.59/2.62	c ---[50506]---> BDD-cost:    1
2.59/2.62	c ---[50503]---> BDD-cost:    1
2.59/2.62	c ---[50500]---> BDD-cost:    1
2.59/2.62	c ---[50497]---> BDD-cost:    1
2.59/2.62	c ---[50495]---> BDD-cost:    1
2.59/2.62	c ---[50492]---> BDD-cost:    1
2.59/2.62	c ---[50489]---> BDD-cost:    1
2.59/2.62	c ---[50487]---> BDD-cost:    1
2.59/2.62	c ---[49962]---> BDD-cost:    1
2.59/2.62	c ---[49959]---> BDD-cost:    1
2.59/2.62	c ---[49956]---> BDD-cost:    1
2.59/2.62	c ---[49953]---> BDD-cost:    1
2.59/2.62	c ---[49950]---> BDD-cost:    1
2.59/2.62	c ---[49947]---> BDD-cost:    1
2.59/2.62	c ---[49944]---> BDD-cost:    1
2.59/2.62	c ---[49941]---> BDD-cost:    1
2.59/2.62	c ---[49938]---> BDD-cost:    1
2.59/2.62	c ---[49768]---> BDD-cost:    1
2.59/2.62	c ---[49766]---> BDD-cost:    1
2.59/2.62	c ---[49763]---> BDD-cost:    1
2.59/2.62	c ---[49760]---> BDD-cost:    1
2.59/2.62	c ---[49758]---> BDD-cost:    1
2.59/2.62	c ---[49227]---> BDD-cost:    1
2.59/2.62	c ---[49224]---> BDD-cost:    1
2.59/2.62	c ---[49221]---> BDD-cost:    1
2.59/2.62	c ---[49218]---> BDD-cost:    1
2.59/2.62	c ---[49215]---> BDD-cost:    1
2.59/2.62	c ---[49076]---> BDD-cost:    1
2.59/2.62	c ---[49074]---> BDD-cost:    1
2.59/2.62	c ---[49071]---> BDD-cost:    1
2.59/2.62	c ---[49068]---> BDD-cost:    1
2.59/2.62	c ---[49066]---> BDD-cost:    1
2.59/2.62	c ---[48622]---> BDD-cost:    1
2.59/2.62	c ---[48619]---> BDD-cost:    1
2.59/2.62	c ---[48616]---> BDD-cost:    1
2.59/2.62	c ---[48613]---> BDD-cost:    1
2.59/2.62	c ---[48610]---> BDD-cost:    1
2.59/2.62	c ---[48495]---> BDD-cost:    1
2.59/2.62	c ---[48492]---> BDD-cost:    1
2.59/2.62	c ---[48489]---> BDD-cost:    1
2.59/2.62	c ---[48486]---> BDD-cost:    1
2.59/2.62	c ---[48484]---> BDD-cost:    1
2.59/2.62	c ---[48481]---> BDD-cost:    1
2.59/2.62	c ---[48478]---> BDD-cost:    1
2.59/2.62	c ---[48475]---> BDD-cost:    1
2.59/2.62	c ---[48473]---> BDD-cost:    1
2.59/2.62	c ---[47843]---> BDD-cost:    1
2.59/2.62	c ---[47841]---> BDD-cost:    1
2.59/2.62	c ---[47839]---> BDD-cost:    1
2.59/2.62	c ---[47836]---> BDD-cost:    1
2.59/2.62	c ---[47833]---> BDD-cost:    1
2.59/2.62	c ---[47830]---> BDD-cost:    1
2.59/2.62	c ---[47827]---> BDD-cost:    1
2.59/2.62	c ---[47824]---> BDD-cost:    1
2.59/2.62	c ---[47821]---> BDD-cost:    1
2.59/2.62	c ---[47767]---> BDD-cost:    1
2.59/2.62	c ---[47764]---> BDD-cost:    1
2.59/2.62	c ---[47762]---> BDD-cost:    1
2.59/2.62	c ---[47255]---> BDD-cost:    1
2.59/2.62	c ---[47252]---> BDD-cost:    1
2.59/2.62	c ---[47249]---> BDD-cost:    1
2.59/2.62	c ---[47066]---> BDD-cost:    1
2.59/2.62	c ---[47063]---> BDD-cost:    1
2.59/2.62	c ---[47060]---> BDD-cost:    1
2.59/2.62	c ---[47058]---> BDD-cost:    1
2.59/2.62	c ---[47055]---> BDD-cost:    1
2.59/2.62	c ---[47052]---> BDD-cost:    1
2.59/2.62	c ---[47050]---> BDD-cost:    1
2.59/2.62	c ---[46567]---> BDD-cost:    1
2.59/2.62	c ---[46564]---> BDD-cost:    1
2.59/2.62	c ---[46561]---> BDD-cost:    1
2.59/2.62	c ---[46558]---> BDD-cost:    1
2.59/2.62	c ---[46555]---> BDD-cost:    1
2.59/2.62	c ---[46552]---> BDD-cost:    1
2.59/2.62	c ---[46549]---> BDD-cost:    1
2.59/2.62	c ---[46442]---> BDD-cost:    1
2.59/2.62	c ---[46439]---> BDD-cost:    1
2.59/2.62	c ---[46437]---> BDD-cost:    1
2.59/2.62	c ---[45891]---> BDD-cost:    1
2.59/2.62	c ---[45888]---> BDD-cost:    1
2.59/2.62	c ---[45885]---> BDD-cost:    1
2.59/2.62	c ---[45690]---> BDD-cost:    1
2.59/2.62	c ---[45687]---> BDD-cost:    1
2.59/2.62	c ---[45685]---> BDD-cost:    1
2.59/2.62	c ---[45682]---> BDD-cost:    1
2.59/2.62	c ---[45679]---> BDD-cost:    1
2.59/2.62	c ---[45677]---> BDD-cost:    1
2.59/2.62	c ---[45200]---> BDD-cost:    1
2.59/2.62	c ---[45197]---> BDD-cost:    1
2.59/2.62	c ---[45194]---> BDD-cost:    1
2.59/2.62	c ---[45191]---> BDD-cost:    1
2.59/2.62	c ---[45188]---> BDD-cost:    1
2.59/2.62	c ---[45185]---> BDD-cost:    1
2.59/2.62	c ---[45016]---> BDD-cost:    1
2.59/2.62	c ---[44476]---> BDD-cost:    1
2.59/2.62	c ---[44395]---> BDD-cost:    1
2.59/2.62	c ---[44393]---> BDD-cost:    1
2.59/2.62	c ---[44390]---> BDD-cost:    1
2.59/2.62	c ---[44387]---> BDD-cost:    1
2.59/2.62	c ---[44384]---> BDD-cost:    1
2.59/2.62	c ---[44382]---> BDD-cost:    1
2.59/2.62	c ---[44379]---> BDD-cost:    1
2.59/2.62	c ---[44376]---> BDD-cost:    1
2.59/2.62	c ---[44374]---> BDD-cost:    1
2.59/2.62	c ---[43849]---> BDD-cost:    1
2.59/2.62	c ---[43846]---> BDD-cost:    1
2.59/2.62	c ---[43843]---> BDD-cost:    1
2.59/2.62	c ---[43840]---> BDD-cost:    1
2.59/2.62	c ---[43837]---> BDD-cost:    1
2.59/2.62	c ---[43834]---> BDD-cost:    1
2.59/2.62	c ---[43831]---> BDD-cost:    1
2.59/2.62	c ---[43828]---> BDD-cost:    1
2.59/2.62	c ---[43825]---> BDD-cost:    1
2.59/2.62	c ---[43698]---> BDD-cost:    1
2.59/2.62	c ---[43695]---> BDD-cost:    1
2.59/2.62	c ---[43693]---> BDD-cost:    1
2.59/2.62	c ---[43213]---> BDD-cost:    1
2.59/2.62	c ---[43210]---> BDD-cost:    1
2.59/2.62	c ---[43207]---> BDD-cost:    1
2.59/2.62	c ---[43028]---> BDD-cost:    1
2.59/2.62	c ---[43026]---> BDD-cost:    1
2.59/2.62	c ---[43024]---> BDD-cost:    1
2.59/2.62	c ---[43021]---> BDD-cost:    1
2.59/2.62	c ---[43019]---> BDD-cost:    1
2.59/2.62	c ---[42521]---> BDD-cost:    1
2.59/2.62	c ---[42518]---> BDD-cost:    1
2.59/2.62	c ---[42515]---> BDD-cost:    1
2.59/2.62	c ---[42512]---> BDD-cost:    1
2.59/2.62	c ---[42509]---> BDD-cost:    1
2.59/2.62	c ---[42387]---> BDD-cost:    1
2.59/2.62	c ---[42384]---> BDD-cost:    1
2.59/2.62	c ---[42381]---> BDD-cost:    1
2.59/2.62	c ---[42379]---> BDD-cost:    1
2.59/2.62	c ---[42376]---> BDD-cost:    1
2.59/2.62	c ---[42373]---> BDD-cost:    1
2.59/2.62	c ---[42371]---> BDD-cost:    1
2.59/2.62	c ---[41843]---> BDD-cost:    1
2.59/2.62	c ---[41840]---> BDD-cost:    1
2.59/2.62	c ---[41837]---> BDD-cost:    1
2.59/2.62	c ---[41834]---> BDD-cost:    1
2.59/2.62	c ---[41831]---> BDD-cost:    1
2.59/2.62	c ---[41828]---> BDD-cost:    1
2.59/2.62	c ---[41825]---> BDD-cost:    1
2.59/2.62	c ---[41672]---> BDD-cost:    1
2.59/2.62	c ---[41670]---> BDD-cost:    1
2.59/2.62	c ---[41184]---> BDD-cost:    1
2.59/2.62	c ---[41181]---> BDD-cost:    1
2.59/2.62	c ---[41017]---> BDD-cost:    1
2.59/2.62	c ---[41014]---> BDD-cost:    1
2.59/2.62	c ---[41012]---> BDD-cost:    1
2.59/2.62	c ---[41009]---> BDD-cost:    1
2.59/2.62	c ---[41006]---> BDD-cost:    1
2.59/2.62	c ---[41004]---> BDD-cost:    1
2.59/2.62	c ---[40512]---> BDD-cost:    1
2.59/2.62	c ---[40509]---> BDD-cost:    1
2.59/2.62	c ---[40506]---> BDD-cost:    1
2.59/2.62	c ---[40503]---> BDD-cost:    1
2.59/2.62	c ---[40500]---> BDD-cost:    1
2.59/2.62	c ---[40497]---> BDD-cost:    1
2.59/2.62	c ---[40283]---> BDD-cost:    1
2.59/2.62	c ---[40281]---> BDD-cost:    1
2.59/2.62	c ---[40278]---> BDD-cost:    1
2.59/2.62	c ---[40275]---> BDD-cost:    1
2.59/2.62	c ---[40272]---> BDD-cost:    1
2.59/2.62	c ---[40269]---> BDD-cost:    1
2.59/2.62	c ---[40267]---> BDD-cost:    1
2.59/2.62	c ---[40264]---> BDD-cost:    1
2.59/2.62	c ---[40261]---> BDD-cost:    1
2.59/2.62	c ---[40259]---> BDD-cost:    1
2.59/2.62	c ---[39866]---> BDD-cost:    1
2.59/2.62	c ---[39863]---> BDD-cost:    1
2.59/2.62	c ---[39860]---> BDD-cost:    1
2.59/2.62	c ---[39857]---> BDD-cost:    1
2.59/2.62	c ---[39854]---> BDD-cost:    1
2.59/2.62	c ---[39851]---> BDD-cost:    1
2.59/2.62	c ---[39848]---> BDD-cost:    1
2.59/2.62	c ---[39845]---> BDD-cost:    1
2.59/2.62	c ---[39842]---> BDD-cost:    1
2.59/2.62	c ---[39839]---> BDD-cost:    1
2.59/2.62	c ---[39621]---> BDD-cost:    1
2.59/2.62	c ---[39618]---> BDD-cost:    1
2.59/2.62	c ---[39616]---> BDD-cost:    1
2.59/2.62	c ---[39613]---> BDD-cost:    1
2.59/2.62	c ---[39610]---> BDD-cost:    1
2.59/2.62	c ---[39608]---> BDD-cost:    1
2.59/2.62	c ---[39203]---> BDD-cost:    1
2.59/2.62	c ---[39200]---> BDD-cost:    1
2.59/2.62	c ---[39197]---> BDD-cost:    1
2.59/2.62	c ---[39194]---> BDD-cost:    1
2.59/2.62	c ---[39191]---> BDD-cost:    1
2.59/2.62	c ---[39188]---> BDD-cost:    1
2.59/2.62	c ---[39036]---> BDD-cost:    1
2.59/2.62	c ---[39034]---> BDD-cost:    1
2.59/2.62	c ---[39031]---> BDD-cost:    1
2.59/2.62	c ---[39029]---> BDD-cost:    1
2.59/2.62	c ---[38537]---> BDD-cost:    1
2.59/2.62	c ---[38534]---> BDD-cost:    1
2.59/2.62	c ---[38531]---> BDD-cost:    1
2.59/2.62	c ---[38528]---> BDD-cost:    1
2.59/2.62	c ---[38360]---> BDD-cost:    1
2.59/2.62	c ---[38358]---> BDD-cost:    1
2.59/2.62	c ---[37836]---> BDD-cost:    1
2.59/2.62	c ---[37833]---> BDD-cost:    1
2.59/2.62	c ---[37748]---> BDD-cost:    1
2.59/2.62	c ---[37745]---> BDD-cost:    1
2.59/2.62	c ---[37742]---> BDD-cost:    1
2.59/2.62	c ---[37739]---> BDD-cost:    1
2.59/2.62	c ---[37737]---> BDD-cost:    1
2.59/2.62	c ---[37176]---> BDD-cost:    1
2.59/2.62	c ---[37173]---> BDD-cost:    1
2.59/2.62	c ---[37170]---> BDD-cost:    1
2.59/2.62	c ---[37167]---> BDD-cost:    1
2.59/2.62	c ---[37164]---> BDD-cost:    1
2.59/2.62	c ---[36996]---> BDD-cost:    1
2.59/2.62	c ---[36486]---> BDD-cost:    1
2.59/2.62	c ---[36304]---> BDD-cost:    1
2.59/2.62	c ---[36301]---> BDD-cost:    1
2.59/2.62	c ---[36299]---> BDD-cost:    1
2.59/2.62	c ---[35828]---> BDD-cost:    1
2.59/2.62	c ---[35825]---> BDD-cost:    1
2.59/2.62	c ---[35822]---> BDD-cost:    1
2.59/2.62	c ---[35621]---> BDD-cost:    1
2.59/2.62	c ---[35619]---> BDD-cost:    1
2.59/2.62	c ---[35103]---> BDD-cost:    1
2.59/2.62	c ---[35100]---> BDD-cost:    1
2.59/2.62	c ---[35000]---> BDD-cost:    1
2.59/2.62	c ---[34997]---> BDD-cost:    1
2.59/2.62	c ---[34995]---> BDD-cost:    1
2.59/2.62	c ---[34992]---> BDD-cost:    1
2.59/2.62	c ---[34989]---> BDD-cost:    1
2.59/2.62	c ---[34987]---> BDD-cost:    1
2.59/2.62	c ---[34489]---> BDD-cost:    1
2.59/2.62	c ---[34486]---> BDD-cost:    1
2.59/2.62	c ---[34483]---> BDD-cost:    1
2.59/2.62	c ---[34480]---> BDD-cost:    1
2.59/2.62	c ---[34477]---> BDD-cost:    1
2.59/2.62	c ---[34474]---> BDD-cost:    1
2.59/2.62	c ---[34341]---> BDD-cost:    1
2.59/2.62	c ---[33858]---> BDD-cost:    1
2.59/2.62	c ---[33662]---> BDD-cost:    1
2.59/2.62	c ---[33659]---> BDD-cost:    1
2.59/2.62	c ---[33656]---> BDD-cost:    1
2.59/2.62	c ---[33654]---> BDD-cost:    1
2.59/2.62	c ---[33651]---> BDD-cost:    1
2.59/2.62	c ---[33648]---> BDD-cost:    1
2.59/2.62	c ---[33646]---> BDD-cost:    1
2.59/2.62	c ---[33187]---> BDD-cost:    1
2.59/2.62	c ---[33184]---> BDD-cost:    1
2.59/2.62	c ---[33181]---> BDD-cost:    1
2.59/2.62	c ---[33178]---> BDD-cost:    1
2.59/2.62	c ---[33175]---> BDD-cost:    1
2.59/2.62	c ---[33172]---> BDD-cost:    1
2.59/2.62	c ---[33169]---> BDD-cost:    1
2.59/2.62	c ---[33033]---> BDD-cost:    1
2.59/2.62	c ---[33030]---> BDD-cost:    1
2.59/2.62	c ---[33027]---> BDD-cost:    1
2.59/2.62	c ---[33024]---> BDD-cost:    1
2.59/2.62	c ---[33022]---> BDD-cost:    1
2.59/2.62	c ---[33020]---> BDD-cost:    1
2.59/2.62	c ---[33017]---> BDD-cost:    1
2.59/2.62	c ---[33015]---> BDD-cost:    1
2.59/2.62	c ---[33013]---> BDD-cost:    1
2.59/2.62	c ---[32554]---> BDD-cost:    1
2.59/2.62	c ---[32551]---> BDD-cost:    1
2.59/2.62	c ---[32548]---> BDD-cost:    1
2.59/2.62	c ---[32545]---> BDD-cost:    1
2.59/2.62	c ---[32542]---> BDD-cost:    1
2.59/2.62	c ---[32539]---> BDD-cost:    1
2.59/2.62	c ---[32536]---> BDD-cost:    1
2.59/2.62	c ---[32533]---> BDD-cost:    1
2.59/2.62	c ---[32530]---> BDD-cost:    1
2.59/2.62	c ---[32368]---> BDD-cost:    1
2.59/2.62	c ---[32365]---> BDD-cost:    1
2.59/2.62	c ---[32363]---> BDD-cost:    1
2.59/2.62	c ---[32360]---> BDD-cost:    1
2.59/2.62	c ---[32357]---> BDD-cost:    1
2.59/2.62	c ---[32355]---> BDD-cost:    1
2.59/2.62	c ---[31857]---> BDD-cost:    1
2.59/2.62	c ---[31854]---> BDD-cost:    1
2.59/2.62	c ---[31851]---> BDD-cost:    1
2.59/2.62	c ---[31848]---> BDD-cost:    1
2.59/2.62	c ---[31845]---> BDD-cost:    1
2.59/2.62	c ---[31842]---> BDD-cost:    1
2.59/2.62	c ---[31686]---> BDD-cost:    1
2.59/2.62	c ---[31683]---> BDD-cost:    1
2.59/2.62	c ---[31681]---> BDD-cost:    1
2.59/2.62	c ---[31678]---> BDD-cost:    1
2.59/2.62	c ---[31675]---> BDD-cost:    1
2.59/2.62	c ---[31673]---> BDD-cost:    1
2.59/2.62	c ---[31139]---> BDD-cost:    1
2.59/2.62	c ---[31136]---> BDD-cost:    1
2.59/2.62	c ---[31133]---> BDD-cost:    1
2.59/2.62	c ---[31130]---> BDD-cost:    1
2.59/2.62	c ---[31127]---> BDD-cost:    1
2.59/2.62	c ---[31124]---> BDD-cost:    1
2.59/2.62	c ---[30973]---> BDD-cost:    1
2.59/2.62	c ---[30970]---> BDD-cost:    1
2.59/2.62	c ---[30967]---> BDD-cost:    1
2.59/2.62	c ---[30965]---> BDD-cost:    1
2.59/2.62	c ---[30545]---> BDD-cost:    1
2.59/2.62	c ---[30542]---> BDD-cost:    1
2.59/2.62	c ---[30539]---> BDD-cost:    1
2.59/2.62	c ---[30536]---> BDD-cost:    1
2.59/2.62	c ---[30382]---> BDD-cost:    1
2.59/2.62	c ---[30379]---> BDD-cost:    1
2.59/2.62	c ---[30377]---> BDD-cost:    1
2.59/2.62	c ---[30374]---> BDD-cost:    1
2.59/2.62	c ---[30371]---> BDD-cost:    1
2.59/2.62	c ---[30369]---> BDD-cost:    1
2.59/2.62	c ---[29955]---> BDD-cost:    1
2.59/2.62	c ---[29952]---> BDD-cost:    1
2.59/2.62	c ---[29949]---> BDD-cost:    1
2.59/2.62	c ---[29946]---> BDD-cost:    1
2.59/2.62	c ---[29943]---> BDD-cost:    1
2.59/2.62	c ---[29940]---> BDD-cost:    1
2.59/2.62	c ---[29828]---> BDD-cost:    1
2.59/2.62	c ---[29825]---> BDD-cost:    1
2.59/2.62	c ---[29823]---> BDD-cost:    1
2.59/2.62	c ---[29821]---> BDD-cost:    1
2.59/2.62	c ---[29818]---> BDD-cost:    1
2.59/2.62	c ---[29816]---> BDD-cost:    1
2.59/2.62	c ---[29814]---> BDD-cost:    1
2.59/2.62	c ---[29286]---> BDD-cost:    1
2.59/2.62	c ---[29283]---> BDD-cost:    1
2.59/2.62	c ---[29280]---> BDD-cost:    1
2.59/2.62	c ---[29277]---> BDD-cost:    1
2.59/2.62	c ---[29274]---> BDD-cost:    1
2.59/2.62	c ---[29271]---> BDD-cost:    1
2.59/2.62	c ---[29268]---> BDD-cost:    1
2.59/2.62	c ---[29141]---> BDD-cost:    1
2.59/2.62	c ---[29139]---> BDD-cost:    1
2.59/2.62	c ---[29136]---> BDD-cost:    1
2.59/2.62	c ---[29133]---> BDD-cost:    1
2.59/2.62	c ---[29131]---> BDD-cost:    1
2.59/2.62	c ---[28579]---> BDD-cost:    1
2.59/2.62	c ---[28576]---> BDD-cost:    1
2.59/2.62	c ---[28573]---> BDD-cost:    1
2.59/2.62	c ---[28570]---> BDD-cost:    1
2.59/2.62	c ---[28568]---> BDD-cost:    1
2.59/2.62	c ---[28465]---> BDD-cost:    1
2.59/2.62	c ---[28463]---> BDD-cost:    1
2.59/2.62	c ---[28460]---> BDD-cost:    1
2.59/2.62	c ---[28457]---> BDD-cost:    1
2.59/2.62	c ---[28455]---> BDD-cost:    1
2.59/2.62	c ---[28047]---> BDD-cost:    1
2.59/2.62	c ---[28044]---> BDD-cost:    1
2.59/2.62	c ---[28041]---> BDD-cost:    1
2.59/2.62	c ---[28038]---> BDD-cost:    1
2.59/2.62	c ---[28035]---> BDD-cost:    1
2.59/2.62	c ---[27865]---> BDD-cost:    1
2.59/2.62	c ---[27862]---> BDD-cost:    1
2.59/2.62	c ---[27859]---> BDD-cost:    1
2.59/2.62	c ---[27857]---> BDD-cost:    1
2.59/2.62	c ---[27854]---> BDD-cost:    1
2.59/2.62	c ---[27852]---> BDD-cost:    1
2.59/2.62	c ---[27849]---> BDD-cost:    1
2.59/2.62	c ---[27846]---> BDD-cost:    1
2.59/2.62	c ---[27844]---> BDD-cost:    1
2.59/2.62	c ---[27439]---> BDD-cost:    1
2.59/2.62	c ---[27436]---> BDD-cost:    1
2.59/2.62	c ---[27433]---> BDD-cost:    1
2.59/2.62	c ---[27430]---> BDD-cost:    1
2.59/2.62	c ---[27427]---> BDD-cost:    1
2.59/2.62	c ---[27424]---> BDD-cost:    1
2.59/2.62	c ---[27421]---> BDD-cost:    1
2.59/2.62	c ---[27418]---> BDD-cost:    1
2.59/2.62	c ---[27415]---> BDD-cost:    1
2.59/2.62	c ---[27257]---> BDD-cost:    1
2.59/2.62	c ---[27254]---> BDD-cost:    1
2.59/2.62	c ---[27251]---> BDD-cost:    1
2.59/2.62	c ---[27249]---> BDD-cost:    1
2.59/2.62	c ---[26829]---> BDD-cost:    1
2.59/2.62	c ---[26826]---> BDD-cost:    1
2.59/2.62	c ---[26823]---> BDD-cost:    1
2.59/2.62	c ---[26820]---> BDD-cost:    1
2.59/2.62	c ---[26683]---> BDD-cost:    1
2.59/2.62	c ---[26681]---> BDD-cost:    1
2.59/2.62	c ---[26679]---> BDD-cost:    1
2.59/2.62	c ---[26202]---> BDD-cost:    1
2.59/2.62	c ---[26199]---> BDD-cost:    1
2.59/2.62	c ---[26196]---> BDD-cost:    1
2.59/2.62	c ---[26014]---> BDD-cost:    1
2.59/2.62	c ---[26012]---> BDD-cost:    1
2.59/2.62	c ---[26009]---> BDD-cost:    1
2.59/2.62	c ---[26006]---> BDD-cost:    1
2.59/2.62	c ---[26004]---> BDD-cost:    1
2.59/2.62	c ---[25539]---> BDD-cost:    1
2.59/2.62	c ---[25536]---> BDD-cost:    1
2.59/2.62	c ---[25533]---> BDD-cost:    1
2.59/2.62	c ---[25530]---> BDD-cost:    1
2.59/2.62	c ---[25527]---> BDD-cost:    1
2.59/2.62	c ---[25442]---> BDD-cost:    1
2.59/2.62	c ---[25439]---> BDD-cost:    1
2.59/2.62	c ---[25437]---> BDD-cost:    1
2.59/2.62	c ---[25434]---> BDD-cost:    1
2.59/2.62	c ---[25431]---> BDD-cost:    1
2.59/2.62	c ---[25429]---> BDD-cost:    1
2.59/2.62	c ---[24898]---> BDD-cost:    1
2.59/2.62	c ---[24895]---> BDD-cost:    1
2.59/2.62	c ---[24892]---> BDD-cost:    1
2.59/2.62	c ---[24889]---> BDD-cost:    1
2.59/2.62	c ---[24886]---> BDD-cost:    1
2.59/2.62	c ---[24883]---> BDD-cost:    1
2.59/2.62	c ---[24758]---> BDD-cost:    1
2.59/2.62	c ---[24755]---> BDD-cost:    1
2.59/2.62	c ---[24752]---> BDD-cost:    1
2.59/2.62	c ---[24749]---> BDD-cost:    1
2.59/2.62	c ---[24746]---> BDD-cost:    1
2.59/2.62	c ---[24743]---> BDD-cost:    1
2.59/2.62	c ---[24741]---> BDD-cost:    1
2.59/2.62	c ---[24738]---> BDD-cost:    1
2.59/2.62	c ---[24735]---> BDD-cost:    1
2.59/2.62	c ---[24733]---> BDD-cost:    1
2.59/2.62	c ---[24253]---> BDD-cost:    1
2.59/2.62	c ---[24250]---> BDD-cost:    1
2.59/2.62	c ---[24247]---> BDD-cost:    1
2.59/2.62	c ---[24244]---> BDD-cost:    1
2.59/2.62	c ---[24241]---> BDD-cost:    1
2.59/2.62	c ---[24238]---> BDD-cost:    1
2.59/2.62	c ---[24235]---> BDD-cost:    1
2.59/2.62	c ---[24232]---> BDD-cost:    1
2.59/2.62	c ---[24229]---> BDD-cost:    1
2.59/2.62	c ---[24226]---> BDD-cost:    1
2.59/2.62	c ---[24050]---> BDD-cost:    1
2.59/2.62	c ---[24047]---> BDD-cost:    1
2.59/2.62	c ---[24044]---> BDD-cost:    1
2.59/2.62	c ---[24041]---> BDD-cost:    1
2.59/2.62	c ---[24039]---> BDD-cost:    1
2.59/2.62	c ---[24036]---> BDD-cost:    1
2.59/2.62	c ---[24033]---> BDD-cost:    1
2.59/2.62	c ---[24031]---> BDD-cost:    1
2.59/2.62	c ---[23593]---> BDD-cost:    1
2.59/2.62	c ---[23590]---> BDD-cost:    1
2.59/2.62	c ---[23587]---> BDD-cost:    1
2.59/2.62	c ---[23584]---> BDD-cost:    1
2.59/2.62	c ---[23581]---> BDD-cost:    1
2.59/2.62	c ---[23578]---> BDD-cost:    1
2.59/2.62	c ---[23575]---> BDD-cost:    1
2.59/2.62	c ---[23572]---> BDD-cost:    1
2.59/2.62	c ---[23408]---> BDD-cost:    1
2.59/2.62	c ---[23406]---> BDD-cost:    1
2.59/2.62	c ---[22890]---> BDD-cost:    1
2.59/2.62	c ---[22887]---> BDD-cost:    1
2.59/2.62	c ---[22773]---> BDD-cost:    1
2.59/2.62	c ---[22326]---> BDD-cost:    1
2.59/2.62	c ---[22205]---> BDD-cost:    1
2.59/2.62	c ---[22203]---> BDD-cost:    1
2.59/2.62	c ---[22201]---> BDD-cost:    1
2.59/2.62	c ---[22198]---> BDD-cost:    1
2.59/2.62	c ---[22195]---> BDD-cost:    1
2.59/2.62	c ---[22193]---> BDD-cost:    1
2.59/2.62	c ---[22191]---> BDD-cost:    1
2.59/2.62	c ---[22188]---> BDD-cost:    1
2.59/2.62	c ---[22185]---> BDD-cost:    1
2.59/2.62	c ---[22183]---> BDD-cost:    1
2.59/2.62	c ---[21691]---> BDD-cost:    1
2.59/2.62	c ---[21689]---> BDD-cost:    1
2.59/2.62	c ---[21686]---> BDD-cost:    1
2.59/2.62	c ---[21683]---> BDD-cost:    1
2.59/2.62	c ---[21680]---> BDD-cost:    1
2.59/2.62	c ---[21678]---> BDD-cost:    1
2.59/2.62	c ---[21676]---> BDD-cost:    1
2.59/2.62	c ---[21673]---> BDD-cost:    1
2.59/2.62	c ---[21670]---> BDD-cost:    1
2.59/2.62	c ---[21667]---> BDD-cost:    1
2.59/2.62	c ---[21620]---> BDD-cost:    1
2.59/2.62	c ---[21618]---> BDD-cost:    1
2.59/2.62	c ---[21616]---> BDD-cost:    1
2.59/2.62	c ---[21613]---> BDD-cost:    1
2.59/2.62	c ---[21611]---> BDD-cost:    1
2.59/2.62	c ---[21609]---> BDD-cost:    1
2.59/2.62	c ---[21117]---> BDD-cost:    1
2.59/2.62	c ---[21114]---> BDD-cost:    1
2.59/2.62	c ---[21111]---> BDD-cost:    1
2.59/2.62	c ---[21108]---> BDD-cost:    1
2.59/2.62	c ---[21105]---> BDD-cost:    1
2.59/2.62	c ---[21102]---> BDD-cost:    1
2.59/2.62	c ---[21001]---> BDD-cost:    1
2.59/2.62	c ---[20999]---> BDD-cost:    1
2.59/2.62	c ---[20996]---> BDD-cost:    1
2.59/2.62	c ---[20994]---> BDD-cost:    1
2.59/2.62	c ---[20992]---> BDD-cost:    1
2.59/2.62	c ---[20989]---> BDD-cost:    1
2.59/2.62	c ---[20987]---> BDD-cost:    1
2.59/2.62	c ---[20985]---> BDD-cost:    1
2.59/2.62	c ---[20463]---> BDD-cost:    1
2.59/2.62	c ---[20460]---> BDD-cost:    1
2.59/2.62	c ---[20457]---> BDD-cost:    1
2.59/2.62	c ---[20454]---> BDD-cost:    1
2.59/2.62	c ---[20452]---> BDD-cost:    1
2.59/2.62	c ---[20450]---> BDD-cost:    1
2.59/2.62	c ---[20448]---> BDD-cost:    1
2.59/2.62	c ---[20445]---> BDD-cost:    1
2.59/2.62	c ---[20393]---> BDD-cost:    1
2.59/2.62	c ---[20391]---> BDD-cost:    1
2.59/2.62	c ---[20389]---> BDD-cost:    1
2.59/2.62	c ---[19879]---> BDD-cost:    1
2.59/2.62	c ---[19876]---> BDD-cost:    1
2.59/2.62	c ---[19873]---> BDD-cost:    1
2.59/2.62	c ---[19756]---> BDD-cost:    1
2.59/2.62	c ---[19754]---> BDD-cost:    1
2.59/2.62	c ---[19328]---> BDD-cost:    1
2.59/2.62	c ---[19325]---> BDD-cost:    1
2.59/2.62	c ---[19200]---> BDD-cost:    1
2.59/2.62	c ---[18708]---> BDD-cost:    1
2.59/2.62	c ---[18566]---> BDD-cost:    1
2.59/2.62	c ---[18563]---> BDD-cost:    1
2.59/2.62	c ---[18560]---> BDD-cost:    1
2.59/2.62	c ---[18558]---> BDD-cost:    1
2.59/2.62	c ---[18555]---> BDD-cost:    1
2.59/2.62	c ---[18553]---> BDD-cost:    1
2.59/2.62	c ---[18551]---> BDD-cost:    1
2.59/2.62	c ---[18548]---> BDD-cost:    1
2.59/2.62	c ---[18546]---> BDD-cost:    1
2.59/2.62	c ---[18063]---> BDD-cost:    1
2.59/2.62	c ---[18060]---> BDD-cost:    1
2.59/2.62	c ---[18057]---> BDD-cost:    1
2.59/2.62	c ---[18054]---> BDD-cost:    1
2.59/2.62	c ---[18051]---> BDD-cost:    1
2.59/2.62	c ---[18048]---> BDD-cost:    1
2.59/2.62	c ---[18045]---> BDD-cost:    1
2.59/2.62	c ---[18042]---> BDD-cost:    1
2.59/2.62	c ---[18039]---> BDD-cost:    1
2.59/2.62	c ---[17900]---> BDD-cost:    1
2.59/2.62	c ---[17897]---> BDD-cost:    1
2.59/2.62	c ---[17894]---> BDD-cost:    1
2.59/2.62	c ---[17892]---> BDD-cost:    1
2.59/2.62	c ---[17388]---> BDD-cost:    1
2.59/2.62	c ---[17385]---> BDD-cost:    1
2.59/2.62	c ---[17382]---> BDD-cost:    1
2.59/2.62	c ---[17379]---> BDD-cost:    1
2.59/2.62	c ---[17237]---> BDD-cost:    1
2.59/2.62	c ---[17235]---> BDD-cost:    1
2.59/2.62	c ---[16779]---> BDD-cost:    1
2.59/2.62	c ---[16776]---> BDD-cost:    1
2.59/2.62	c ---[16656]---> BDD-cost:    1
2.59/2.62	c ---[16653]---> BDD-cost:    1
2.59/2.62	c ---[16650]---> BDD-cost:    1
2.59/2.62	c ---[16648]---> BDD-cost:    1
2.59/2.62	c ---[16645]---> BDD-cost:    1
2.59/2.62	c ---[16642]---> BDD-cost:    1
2.59/2.62	c ---[16640]---> BDD-cost:    1
2.59/2.62	c ---[16211]---> BDD-cost:    1
2.59/2.62	c ---[16208]---> BDD-cost:    1
2.59/2.62	c ---[16205]---> BDD-cost:    1
2.59/2.62	c ---[16202]---> BDD-cost:    1
2.59/2.62	c ---[16199]---> BDD-cost:    1
2.59/2.62	c ---[16196]---> BDD-cost:    1
2.59/2.62	c ---[16193]---> BDD-cost:    1
2.59/2.62	c ---[16105]---> BDD-cost:    1
2.59/2.62	c ---[16103]---> BDD-cost:    1
2.59/2.62	c ---[16100]---> BDD-cost:    1
2.59/2.62	c ---[16098]---> BDD-cost:    1
2.59/2.62	c ---[15678]---> BDD-cost:    1
2.59/2.62	c ---[15675]---> BDD-cost:    1
2.59/2.62	c ---[15672]---> BDD-cost:    1
2.59/2.62	c ---[15669]---> BDD-cost:    1
2.59/2.62	c ---[15549]---> BDD-cost:    1
2.59/2.62	c ---[15546]---> BDD-cost:    1
2.59/2.62	c ---[15544]---> BDD-cost:    1
2.59/2.62	c ---[15541]---> BDD-cost:    1
2.59/2.62	c ---[15538]---> BDD-cost:    1
2.59/2.62	c ---[15536]---> BDD-cost:    1
2.59/2.62	c ---[15092]---> BDD-cost:    1
2.59/2.62	c ---[15089]---> BDD-cost:    1
2.59/2.62	c ---[15086]---> BDD-cost:    1
2.59/2.62	c ---[15083]---> BDD-cost:    1
2.59/2.62	c ---[15080]---> BDD-cost:    1
2.59/2.62	c ---[15077]---> BDD-cost:    1
2.59/2.62	c ---[14964]---> BDD-cost:    1
2.59/2.62	c ---[14962]---> BDD-cost:    1
2.59/2.62	c ---[14497]---> BDD-cost:    1
2.59/2.62	c ---[14494]---> BDD-cost:    1
2.59/2.62	c ---[14402]---> BDD-cost:    1
2.59/2.62	c ---[14399]---> BDD-cost:    1
2.59/2.62	c ---[14396]---> BDD-cost:    1
2.59/2.62	c ---[14394]---> BDD-cost:    1
2.59/2.62	c ---[14391]---> BDD-cost:    1
2.59/2.62	c ---[14388]---> BDD-cost:    1
2.59/2.62	c ---[14386]---> BDD-cost:    1
2.59/2.62	c ---[13984]---> BDD-cost:    1
2.59/2.62	c ---[13981]---> BDD-cost:    1
2.59/2.62	c ---[13978]---> BDD-cost:    1
2.59/2.62	c ---[13975]---> BDD-cost:    1
2.59/2.62	c ---[13972]---> BDD-cost:    1
2.59/2.62	c ---[13969]---> BDD-cost:    1
2.59/2.62	c ---[13966]---> BDD-cost:    1
2.59/2.62	c ---[13818]---> BDD-cost:    1
2.59/2.62	c ---[13816]---> BDD-cost:    1
2.59/2.62	c ---[13813]---> BDD-cost:    1
2.59/2.62	c ---[13810]---> BDD-cost:    1
2.59/2.62	c ---[13808]---> BDD-cost:    1
2.59/2.62	c ---[13373]---> BDD-cost:    1
2.59/2.62	c ---[13370]---> BDD-cost:    1
2.59/2.62	c ---[13367]---> BDD-cost:    1
2.59/2.62	c ---[13364]---> BDD-cost:    1
2.59/2.62	c ---[13361]---> BDD-cost:    1
2.59/2.62	c ---[13269]---> BDD-cost:    1
2.59/2.62	c ---[13266]---> BDD-cost:    1
2.59/2.62	c ---[13263]---> BDD-cost:    1
2.59/2.62	c ---[13261]---> BDD-cost:    1
2.59/2.62	c ---[12850]---> BDD-cost:    1
2.59/2.62	c ---[12847]---> BDD-cost:    1
2.59/2.62	c ---[12844]---> BDD-cost:    1
2.59/2.62	c ---[12841]---> BDD-cost:    1
2.59/2.62	c ---[12708]---> BDD-cost:    1
2.59/2.62	c ---[12705]---> BDD-cost:    1
2.59/2.62	c ---[12702]---> BDD-cost:    1
2.59/2.62	c ---[12700]---> BDD-cost:    1
2.59/2.62	c ---[12253]---> BDD-cost:    1
2.59/2.62	c ---[12250]---> BDD-cost:    1
2.59/2.62	c ---[12247]---> BDD-cost:    1
2.59/2.62	c ---[12244]---> BDD-cost:    1
2.59/2.62	c ---[12166]---> BDD-cost:    1
2.59/2.62	c ---[12164]---> BDD-cost:    1
2.59/2.62	c ---[12161]---> BDD-cost:    1
2.59/2.62	c ---[12158]---> BDD-cost:    1
2.59/2.62	c ---[12156]---> BDD-cost:    1
2.59/2.62	c ---[12153]---> BDD-cost:    1
2.59/2.63	c ---[12150]---> BDD-cost:    1
2.59/2.63	c ---[12148]---> BDD-cost:    1
2.59/2.63	c ---[11701]---> BDD-cost:    1
2.59/2.63	c ---[11698]---> BDD-cost:    1
2.59/2.63	c ---[11695]---> BDD-cost:    1
2.59/2.63	c ---[11693]---> BDD-cost:    1
2.59/2.63	c ---[11691]---> BDD-cost:    1
2.59/2.63	c ---[11688]---> BDD-cost:    1
2.59/2.63	c ---[11685]---> BDD-cost:    1
2.59/2.63	c ---[11682]---> BDD-cost:    1
2.59/2.63	c ---[11626]---> BDD-cost:    1
2.59/2.63	c ---[11623]---> BDD-cost:    1
2.59/2.63	c ---[11621]---> BDD-cost:    1
2.59/2.63	c ---[11159]---> BDD-cost:    1
2.59/2.63	c ---[11157]---> BDD-cost:    1
2.59/2.63	c ---[11154]---> BDD-cost:    1
2.59/2.63	c ---[11107]---> BDD-cost:    1
2.59/2.63	c ---[11104]---> BDD-cost:    1
2.59/2.63	c ---[11101]---> BDD-cost:    1
2.59/2.63	c ---[11099]---> BDD-cost:    1
2.59/2.63	c ---[11096]---> BDD-cost:    1
2.59/2.63	c ---[11093]---> BDD-cost:    1
2.59/2.63	c ---[11091]---> BDD-cost:    1
2.59/2.63	c ---[10680]---> BDD-cost:    1
2.59/2.63	c ---[10677]---> BDD-cost:    1
2.59/2.63	c ---[10674]---> BDD-cost:    1
2.59/2.63	c ---[10671]---> BDD-cost:    1
2.59/2.63	c ---[10668]---> BDD-cost:    1
2.59/2.63	c ---[10665]---> BDD-cost:    1
2.59/2.63	c ---[10662]---> BDD-cost:    1
2.59/2.63	c ---[10581]---> BDD-cost:    1
2.59/2.63	c ---[10578]---> BDD-cost:    1
2.59/2.63	c ---[10576]---> BDD-cost:    1
2.59/2.63	c ---[10574]---> BDD-cost:    1
2.59/2.63	c ---[10571]---> BDD-cost:    1
2.59/2.63	c ---[10569]---> BDD-cost:    1
2.59/2.63	c ---[10155]---> BDD-cost:    1
2.59/2.63	c ---[10152]---> BDD-cost:    1
2.59/2.63	c ---[10149]---> BDD-cost:    1
2.59/2.63	c ---[10146]---> BDD-cost:    1
2.59/2.63	c ---[10143]---> BDD-cost:    1
2.59/2.63	c ---[10140]---> BDD-cost:    1
2.59/2.63	c ---[10045]---> BDD-cost:    1
2.59/2.63	c ---[10042]---> BDD-cost:    1
2.59/2.63	c ---[10039]---> BDD-cost:    1
2.59/2.63	c ---[10036]---> BDD-cost:    1
2.59/2.63	c ---[10034]---> BDD-cost:    1
2.59/2.63	c ---[10031]---> BDD-cost:    1
2.59/2.63	c ---[10028]---> BDD-cost:    1
2.59/2.63	c ---[10026]---> BDD-cost:    1
2.59/2.63	c ---[9618]---> BDD-cost:    1
2.59/2.63	c ---[9615]---> BDD-cost:    1
2.59/2.63	c ---[9612]---> BDD-cost:    1
2.59/2.63	c ---[9610]---> BDD-cost:    1
2.59/2.63	c ---[9607]---> BDD-cost:    1
2.59/2.63	c ---[9604]---> BDD-cost:    1
2.59/2.63	c ---[9601]---> BDD-cost:    1
2.59/2.63	c ---[9598]---> BDD-cost:    1
2.59/2.63	c ---[9538]---> BDD-cost:    1
2.59/2.63	c ---[9536]---> BDD-cost:    1
2.59/2.63	c ---[8996]---> BDD-cost:    1
2.59/2.63	c ---[8993]---> BDD-cost:    1
2.59/2.63	c ---[8936]---> BDD-cost:    1
2.59/2.63	c ---[8933]---> BDD-cost:    1
2.59/2.63	c ---[8930]---> BDD-cost:    1
2.59/2.63	c ---[8928]---> BDD-cost:    1
2.59/2.63	c ---[8490]---> BDD-cost:    1
2.59/2.63	c ---[8487]---> BDD-cost:    1
2.59/2.63	c ---[8484]---> BDD-cost:    1
2.59/2.63	c ---[8482]---> BDD-cost:    1
2.59/2.63	c ---[8412]---> BDD-cost:    1
2.59/2.63	c ---[7944]---> BDD-cost:    1
2.59/2.63	c ---[7876]---> BDD-cost:    1
2.59/2.63	c ---[7873]---> BDD-cost:    1
2.59/2.63	c ---[7871]---> BDD-cost:    1
2.59/2.63	c ---[7868]---> BDD-cost:    1
2.59/2.63	c ---[7865]---> BDD-cost:    1
2.59/2.63	c ---[7863]---> BDD-cost:    1
2.59/2.63	c ---[7347]---> BDD-cost:    1
2.59/2.63	c ---[7345]---> BDD-cost:    1
2.59/2.63	c ---[7342]---> BDD-cost:    1
2.59/2.63	c ---[7339]---> BDD-cost:    1
2.59/2.63	c ---[7336]---> BDD-cost:    1
2.59/2.63	c ---[7334]---> BDD-cost:    1
2.59/2.63	c ---[7270]---> BDD-cost:    1
2.59/2.63	c ---[7267]---> BDD-cost:    1
2.59/2.63	c ---[7264]---> BDD-cost:    1
2.59/2.63	c ---[7262]---> BDD-cost:    1
2.59/2.63	c ---[6851]---> BDD-cost:    1
2.59/2.63	c ---[6848]---> BDD-cost:    1
2.59/2.63	c ---[6845]---> BDD-cost:    1
2.59/2.63	c ---[6842]---> BDD-cost:    1
2.59/2.63	c ---[6768]---> BDD-cost:    1
2.59/2.63	c ---[6765]---> BDD-cost:    1
2.59/2.63	c ---[6762]---> BDD-cost:    1
2.59/2.63	c ---[6760]---> BDD-cost:    1
2.59/2.63	c ---[6349]---> BDD-cost:    1
2.59/2.63	c ---[6346]---> BDD-cost:    1
2.59/2.63	c ---[6343]---> BDD-cost:    1
2.59/2.63	c ---[6340]---> BDD-cost:    1
2.59/2.63	c ---[6224]---> BDD-cost:    1
2.59/2.63	c ---[6221]---> BDD-cost:    1
2.59/2.63	c ---[6218]---> BDD-cost:    1
2.59/2.63	c ---[6216]---> BDD-cost:    1
2.59/2.63	c ---[5736]---> BDD-cost:    1
2.59/2.63	c ---[5733]---> BDD-cost:    1
2.59/2.63	c ---[5730]---> BDD-cost:    1
2.59/2.63	c ---[5727]---> BDD-cost:    1
2.59/2.63	c ---[5651]---> BDD-cost:    1
2.59/2.63	c ---[5649]---> BDD-cost:    1
2.59/2.63	c ---[5214]---> BDD-cost:    1
2.59/2.63	c ---[5211]---> BDD-cost:    1
2.59/2.63	c ---[5134]---> BDD-cost:    1
2.59/2.63	c ---[5132]---> BDD-cost:    1
2.59/2.63	c ---[5130]---> BDD-cost:    1
2.59/2.63	c ---[5127]---> BDD-cost:    1
2.59/2.63	c ---[5124]---> BDD-cost:    1
2.59/2.63	c ---[5122]---> BDD-cost:    1
2.59/2.63	c ---[5119]---> BDD-cost:    1
2.59/2.63	c ---[5116]---> BDD-cost:    1
2.59/2.63	c ---[5114]---> BDD-cost:    1
2.59/2.63	c ---[4709]---> BDD-cost:    1
2.59/2.63	c ---[4706]---> BDD-cost:    1
2.59/2.63	c ---[4704]---> BDD-cost:    1
2.59/2.63	c ---[4702]---> BDD-cost:    1
2.59/2.63	c ---[4699]---> BDD-cost:    1
2.59/2.63	c ---[4696]---> BDD-cost:    1
2.59/2.63	c ---[4693]---> BDD-cost:    1
2.59/2.63	c ---[4690]---> BDD-cost:    1
2.59/2.63	c ---[4687]---> BDD-cost:    1
2.59/2.63	c ---[4654]---> BDD-cost:    1
2.59/2.63	c ---[4652]---> BDD-cost:    1
2.59/2.63	c ---[4193]---> BDD-cost:    1
2.59/2.63	c ---[4191]---> BDD-cost:    1
2.59/2.63	c ---[4160]---> BDD-cost:    1
2.59/2.63	c ---[3731]---> BDD-cost:    1
2.59/2.63	c ---[3707]---> BDD-cost:    1
2.59/2.63	c ---[3705]---> BDD-cost:    1
2.59/2.63	c ---[3703]---> BDD-cost:    1
2.59/2.63	c ---[3700]---> BDD-cost:    1
2.59/2.63	c ---[3698]---> BDD-cost:    1
2.59/2.63	c ---[3695]---> BDD-cost:    1
2.59/2.63	c ---[3692]---> BDD-cost:    1
2.59/2.63	c ---[3690]---> BDD-cost:    1
2.59/2.63	c ---[3291]---> BDD-cost:    1
2.59/2.63	c ---[3288]---> BDD-cost:    1
2.59/2.63	c ---[3285]---> BDD-cost:    1
2.59/2.63	c ---[3282]---> BDD-cost:    1
2.59/2.63	c ---[3279]---> BDD-cost:    1
2.59/2.63	c ---[3276]---> BDD-cost:    1
2.59/2.63	c ---[3273]---> BDD-cost:    1
2.59/2.63	c ---[3271]---> BDD-cost:    1
2.59/2.63	c ---[3223]---> BDD-cost:    1
2.59/2.63	c ---[3220]---> BDD-cost:    1
2.59/2.63	c ---[3218]---> BDD-cost:    1
2.59/2.63	c ---[2804]---> BDD-cost:    1
2.59/2.63	c ---[2802]---> BDD-cost:    1
2.59/2.63	c ---[2799]---> BDD-cost:    1
2.59/2.63	c ---[2743]---> BDD-cost:    1
2.59/2.63	c ---[2741]---> BDD-cost:    1
2.59/2.63	c ---[2738]---> BDD-cost:    1
2.59/2.63	c ---[2735]---> BDD-cost:    1
2.59/2.63	c ---[2733]---> BDD-cost:    1
2.59/2.63	c ---[2278]---> BDD-cost:    1
2.59/2.63	c ---[2276]---> BDD-cost:    1
2.59/2.63	c ---[2273]---> BDD-cost:    1
2.59/2.63	c ---[2270]---> BDD-cost:    1
2.59/2.63	c ---[2267]---> BDD-cost:    1
2.59/2.63	c ---[2246]---> BDD-cost:    1
2.59/2.63	c ---[2243]---> BDD-cost:    1
2.59/2.63	c ---[2241]---> BDD-cost:    1
2.59/2.63	c ---[2238]---> BDD-cost:    1
2.59/2.63	c ---[2235]---> BDD-cost:    1
2.59/2.63	c ---[2233]---> BDD-cost:    1
2.59/2.63	c ---[1829]---> BDD-cost:    1
2.59/2.63	c ---[1827]---> BDD-cost:    1
2.59/2.63	c ---[1824]---> BDD-cost:    1
2.59/2.63	c ---[1821]---> BDD-cost:    1
2.59/2.63	c ---[1818]---> BDD-cost:    1
2.59/2.63	c ---[1815]---> BDD-cost:    1
2.59/2.63	c ---[1798]---> BDD-cost:    1
2.59/2.63	c ---[1370]---> BDD-cost:    1
2.59/2.63	c ---[1363]---> BDD-cost:    1
2.59/2.63	c ---[ 944]---> BDD-cost:    1
2.59/2.63	c ---[ 940]---> BDD-cost:    9
2.59/2.63	c ---[ 939]---> BDD-cost:   15
2.59/2.63	c ---[ 938]---> BDD-cost:   15
2.59/2.63	c ---[ 937]---> BDD-cost:   15
2.59/2.63	c ---[ 936]---> BDD-cost:   44
2.59/2.63	c ---[ 935]---> BDD-cost:   92
2.59/2.63	c ---[ 934]---> BDD-cost:   92
2.59/2.63	c ---[ 933]---> Sorter-cost:  369     Base: 3 2
2.59/2.63	c ---[ 932]---> Sorter-cost:  369     Base: 3 2
2.59/2.63	c ---[ 931]---> Sorter-cost:  377     Base: 3 2
2.59/2.63	c ---[ 930]---> Sorter-cost:  651     Base: 3 2
2.59/2.63	c ---[ 929]---> Sorter-cost:  651     Base: 3 2
2.59/2.63	c ---[ 928]---> Sorter-cost:  651     Base: 3 2
2.59/2.63	c ---[ 927]---> Sorter-cost:  758     Base: 2 3
2.59/2.63	c ---[ 926]---> Sorter-cost:  948     Base: 2 3
2.59/2.64	c ---[ 925]---> Sorter-cost:  948     Base: 2 3
2.59/2.64	c ---[ 924]---> Sorter-cost: 1093     Base: 2 3
2.59/2.64	c ---[ 923]---> Sorter-cost: 1093     Base: 2 3
2.59/2.64	c ---[ 922]---> Sorter-cost: 1057     Base: 3 2
2.59/2.64	c ---[ 921]---> Sorter-cost: 1269     Base: 3 2
2.59/2.64	c ---[ 920]---> Sorter-cost: 1291     Base: 3 2
2.59/2.64	c ---[ 919]---> Adder-cost: 146   maxlim: 206   bits: 8/8
2.59/2.65	c ---[ 918]---> Adder-cost: 152   maxlim: 217   bits: 8/8
2.59/2.65	c ---[ 917]---> Adder-cost: 156   maxlim: 229   bits: 8/8
2.59/2.65	c ---[ 916]---> Adder-cost: 180   maxlim: 259   bits: 9/9
2.59/2.65	c ---[ 915]---> Adder-cost: 184   maxlim: 262   bits: 9/9
2.59/2.66	c ---[ 914]---> Adder-cost: 184   maxlim: 262   bits: 9/9
2.59/2.66	c ---[ 913]---> Adder-cost: 198   maxlim: 289   bits: 9/9
2.59/2.66	c ---[ 912]---> Adder-cost: 198   maxlim: 289   bits: 9/9
2.59/2.66	c ---[ 911]---> Adder-cost: 210   maxlim: 309   bits: 9/9
2.59/2.67	c ---[ 910]---> Adder-cost: 214   maxlim: 319   bits: 9/9
2.59/2.67	c ---[ 909]---> Adder-cost: 214   maxlim: 319   bits: 9/9
2.59/2.67	c ---[ 908]---> Adder-cost: 212   maxlim: 321   bits: 9/9
2.59/2.67	c ---[ 907]---> Adder-cost: 222   maxlim: 335   bits: 9/9
2.59/2.68	c ---[ 906]---> Adder-cost: 226   maxlim: 348   bits: 9/9
2.59/2.68	c ---[ 905]---> Adder-cost: 234   maxlim: 356   bits: 9/9
2.59/2.68	c ---[ 904]---> Adder-cost: 234   maxlim: 370   bits: 9/9
2.59/2.69	c ---[ 903]---> Adder-cost: 234   maxlim: 370   bits: 9/9
2.59/2.69	c ---[ 902]---> Adder-cost: 234   maxlim: 370   bits: 9/9
2.59/2.69	c ---[ 901]---> Adder-cost: 256   maxlim: 378   bits: 9/9
2.69/2.70	c ---[ 900]---> Adder-cost: 266   maxlim: 382   bits: 9/9
2.69/2.70	c ---[ 899]---> Adder-cost: 248   maxlim: 388   bits: 9/9
2.69/2.70	c ---[ 898]---> Adder-cost: 248   maxlim: 388   bits: 9/9
2.69/2.71	c ---[ 897]---> Adder-cost: 258   maxlim: 394   bits: 9/9
2.69/2.71	c ---[ 896]---> Adder-cost: 258   maxlim: 394   bits: 9/9
2.69/2.71	c ---[ 895]---> Adder-cost: 258   maxlim: 410   bits: 9/9
2.69/2.72	c ---[ 894]---> Adder-cost: 258   maxlim: 421   bits: 9/9
2.69/2.72	c ---[ 893]---> Adder-cost: 272   maxlim: 423   bits: 9/9
2.69/2.73	c ---[ 892]---> Adder-cost: 278   maxlim: 433   bits: 9/9
2.69/2.73	c ---[ 891]---> Adder-cost: 278   maxlim: 433   bits: 9/9
2.69/2.73	c ---[ 890]---> Adder-cost: 278   maxlim: 433   bits: 9/9
2.69/2.74	c ---[ 889]---> Adder-cost: 278   maxlim: 433   bits: 9/9
2.69/2.74	c ---[ 888]---> Adder-cost: 286   maxlim: 449   bits: 9/9
2.69/2.74	c ---[ 887]---> Adder-cost: 286   maxlim: 449   bits: 9/9
2.69/2.75	c ---[ 886]---> Adder-cost: 286   maxlim: 449   bits: 9/9
2.69/2.75	c ---[ 885]---> Adder-cost: 286   maxlim: 456   bits: 9/9
2.69/2.76	c ---[ 884]---> Adder-cost: 302   maxlim: 474   bits: 9/9
2.69/2.76	c ---[ 883]---> Adder-cost: 324   maxlim: 500   bits: 10/9
2.69/2.77	c ---[ 882]---> Adder-cost: 324   maxlim: 500   bits: 10/9
2.69/2.77	c ---[ 881]---> Adder-cost: 326   maxlim: 505   bits: 10/9
2.69/2.77	c ---[ 880]---> Adder-cost: 326   maxlim: 505   bits: 10/9
2.69/2.78	c ---[ 879]---> Adder-cost: 326   maxlim: 505   bits: 10/9
2.69/2.78	c ---[ 878]---> Adder-cost: 330   maxlim: 518   bits: 10/10
2.69/2.79	c ---[ 877]---> Adder-cost: 324   maxlim: 527   bits: 10/10
2.69/2.79	c ---[ 876]---> Adder-cost: 318   maxlim: 549   bits: 10/10
2.79/2.80	c ---[ 875]---> Adder-cost: 318   maxlim: 549   bits: 10/10
2.79/2.80	c ---[ 874]---> Adder-cost: 342   maxlim: 556   bits: 10/10
2.79/2.81	c ---[ 873]---> Adder-cost: 342   maxlim: 556   bits: 10/10
2.79/2.81	c ---[ 872]---> Adder-cost: 368   maxlim: 578   bits: 10/10
2.79/2.82	c ---[ 871]---> Adder-cost: 352   maxlim: 580   bits: 10/10
2.79/2.82	c ---[ 870]---> Adder-cost: 352   maxlim: 580   bits: 10/10
2.79/2.83	c ---[ 869]---> Adder-cost: 354   maxlim: 587   bits: 10/10
2.79/2.83	c ---[ 868]---> Adder-cost: 362   maxlim: 598   bits: 10/10
2.79/2.84	c ---[ 867]---> Adder-cost: 362   maxlim: 598   bits: 10/10
2.79/2.84	c ---[ 866]---> Adder-cost: 366   maxlim: 601   bits: 10/10
2.79/2.85	c ---[ 865]---> Adder-cost: 366   maxlim: 601   bits: 10/10
2.79/2.85	c ---[ 864]---> Adder-cost: 378   maxlim: 612   bits: 10/10
2.79/2.86	c ---[ 863]---> Adder-cost: 378   maxlim: 612   bits: 10/10
2.79/2.86	c ---[ 862]---> Adder-cost: 378   maxlim: 612   bits: 10/10
2.79/2.87	c ---[ 861]---> Adder-cost: 394   maxlim: 618   bits: 10/10
2.79/2.88	c ---[ 860]---> Adder-cost: 394   maxlim: 618   bits: 10/10
2.79/2.88	c ---[ 859]---> Adder-cost: 394   maxlim: 618   bits: 10/10
2.79/2.89	c ---[ 858]---> Adder-cost: 394   maxlim: 618   bits: 10/10
2.79/2.89	c ---[ 857]---> Adder-cost: 394   maxlim: 618   bits: 10/10
2.89/2.90	c ---[ 856]---> Adder-cost: 374   maxlim: 622   bits: 10/10
2.89/2.90	c ---[ 855]---> Adder-cost: 374   maxlim: 622   bits: 10/10
2.89/2.91	c ---[ 854]---> Adder-cost: 374   maxlim: 622   bits: 10/10
2.89/2.91	c ---[ 853]---> Adder-cost: 394   maxlim: 624   bits: 10/10
2.89/2.92	c ---[ 852]---> Adder-cost: 404   maxlim: 625   bits: 10/10
2.89/2.93	c ---[ 851]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.89/2.93	c ---[ 850]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.89/2.94	c ---[ 849]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.89/2.94	c ---[ 848]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.89/2.95	c ---[ 847]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.89/2.95	c ---[ 846]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.89/2.96	c ---[ 845]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.89/2.97	c ---[ 844]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.89/2.97	c ---[ 843]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.89/2.98	c ---[ 842]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.89/2.98	c ---[ 841]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.89/2.99	c ---[ 840]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.89/2.99	c ---[ 839]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.99/3.00	c ---[ 838]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.99/3.00	c ---[ 837]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.99/3.01	c ---[ 836]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.99/3.02	c ---[ 835]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.99/3.02	c ---[ 834]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.99/3.03	c ---[ 833]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.99/3.03	c ---[ 832]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.99/3.04	c ---[ 831]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.99/3.04	c ---[ 830]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.99/3.05	c ---[ 829]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.99/3.05	c ---[ 828]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.99/3.06	c ---[ 827]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.99/3.07	c ---[ 826]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.99/3.07	c ---[ 825]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.99/3.08	c ---[ 824]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.99/3.08	c ---[ 823]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.99/3.09	c ---[ 822]---> Adder-cost: 374   maxlim: 629   bits: 10/10
2.99/3.09	c ---[ 821]---> Adder-cost: 374   maxlim: 629   bits: 10/10
3.09/3.10	c ---[ 820]---> Adder-cost: 374   maxlim: 629   bits: 10/10
3.09/3.11	c ---[ 819]---> Adder-cost: 374   maxlim: 629   bits: 10/10
3.09/3.11	c ---[ 818]---> Adder-cost: 374   maxlim: 629   bits: 10/10
3.09/3.12	c ---[ 817]---> Adder-cost: 374   maxlim: 629   bits: 10/10
3.09/3.12	c ---[ 816]---> Adder-cost: 374   maxlim: 629   bits: 10/10
3.09/3.13	c ---[ 815]---> Adder-cost: 374   maxlim: 629   bits: 10/10
3.09/3.13	c ---[ 814]---> Adder-cost: 374   maxlim: 629   bits: 10/10
3.09/3.14	c ---[ 813]---> Adder-cost: 374   maxlim: 629   bits: 10/10
3.09/3.14	c ---[ 812]---> Adder-cost: 374   maxlim: 629   bits: 10/10
3.09/3.15	c ---[ 811]---> Adder-cost: 374   maxlim: 629   bits: 10/10
3.09/3.16	c ---[ 810]---> Adder-cost: 374   maxlim: 629   bits: 10/10
3.09/3.16	c ---[ 809]---> Adder-cost: 374   maxlim: 629   bits: 10/10
3.09/3.17	c ---[ 808]---> Adder-cost: 374   maxlim: 629   bits: 10/10
3.09/3.17	c ---[ 807]---> Adder-cost: 374   maxlim: 629   bits: 10/10
3.09/3.18	c ---[ 806]---> Adder-cost: 374   maxlim: 629   bits: 10/10
3.09/3.18	c ---[ 805]---> Adder-cost: 374   maxlim: 629   bits: 10/10
3.09/3.19	c ---[ 804]---> Adder-cost: 374   maxlim: 629   bits: 10/10
3.19/3.20	c ---[ 803]---> Adder-cost: 374   maxlim: 629   bits: 10/10
3.19/3.20	c ---[ 802]---> Adder-cost: 374   maxlim: 629   bits: 10/10
3.19/3.21	c ---[ 801]---> Adder-cost: 374   maxlim: 629   bits: 10/10
3.19/3.21	c ---[ 800]---> Adder-cost: 388   maxlim: 624   bits: 10/10
3.19/3.22	c ---[ 799]---> Adder-cost: 388   maxlim: 624   bits: 10/10
3.19/3.22	c ---[ 798]---> Adder-cost: 388   maxlim: 624   bits: 10/10
3.19/3.23	c ---[ 797]---> Adder-cost: 388   maxlim: 624   bits: 10/10
3.19/3.23	c ---[ 796]---> Adder-cost: 388   maxlim: 624   bits: 10/10
3.19/3.24	c ---[ 795]---> Adder-cost: 360   maxlim: 617   bits: 10/10
3.19/3.25	c ---[ 794]---> Adder-cost: 360   maxlim: 617   bits: 10/10
3.19/3.25	c ---[ 793]---> Adder-cost: 360   maxlim: 617   bits: 10/10
3.19/3.26	c ---[ 792]---> Adder-cost: 360   maxlim: 617   bits: 10/10
3.19/3.26	c ---[ 791]---> Adder-cost: 360   maxlim: 617   bits: 10/10
3.19/3.27	c ---[ 790]---> Adder-cost: 360   maxlim: 617   bits: 10/10
3.19/3.27	c ---[ 789]---> Adder-cost: 360   maxlim: 617   bits: 10/10
3.19/3.28	c ---[ 788]---> Adder-cost: 358   maxlim: 614   bits: 10/10
3.19/3.28	c ---[ 787]---> Adder-cost: 354   maxlim: 604   bits: 10/10
3.19/3.29	c ---[ 786]---> Adder-cost: 354   maxlim: 604   bits: 10/10
3.19/3.29	c ---[ 785]---> Adder-cost: 354   maxlim: 604   bits: 10/10
3.29/3.30	c ---[ 784]---> Adder-cost: 370   maxlim: 598   bits: 10/10
3.29/3.31	c ---[ 783]---> Adder-cost: 370   maxlim: 598   bits: 10/10
3.29/3.31	c ---[ 782]---> Adder-cost: 370   maxlim: 598   bits: 10/10
3.29/3.32	c ---[ 781]---> Adder-cost: 358   maxlim: 591   bits: 10/10
3.29/3.32	c ---[ 780]---> Adder-cost: 358   maxlim: 591   bits: 10/10
3.29/3.33	c ---[ 779]---> Adder-cost: 356   maxlim: 582   bits: 10/10
3.29/3.33	c ---[ 778]---> Adder-cost: 346   maxlim: 581   bits: 10/10
3.29/3.34	c ---[ 777]---> Adder-cost: 346   maxlim: 581   bits: 10/10
3.29/3.34	c ---[ 776]---> Adder-cost: 346   maxlim: 581   bits: 10/10
3.29/3.35	c ---[ 775]---> Adder-cost: 346   maxlim: 581   bits: 10/10
3.29/3.35	c ---[ 774]---> Adder-cost: 346   maxlim: 581   bits: 10/10
3.29/3.36	c ---[ 773]---> Adder-cost: 346   maxlim: 581   bits: 10/10
3.29/3.36	c ---[ 772]---> Adder-cost: 346   maxlim: 581   bits: 10/10
3.29/3.37	c ---[ 771]---> Adder-cost: 360   maxlim: 575   bits: 10/10
3.29/3.37	c ---[ 770]---> Adder-cost: 360   maxlim: 575   bits: 10/10
3.29/3.38	c ---[ 769]---> Adder-cost: 360   maxlim: 575   bits: 10/10
3.29/3.38	c ---[ 768]---> Adder-cost: 362   maxlim: 571   bits: 10/10
3.29/3.39	c ---[ 767]---> Adder-cost: 362   maxlim: 571   bits: 10/10
3.29/3.39	c ---[ 766]---> Adder-cost: 362   maxlim: 571   bits: 10/10
3.29/3.40	c ---[ 765]---> Adder-cost: 360   maxlim: 561   bits: 10/10
3.39/3.40	c ---[ 764]---> Adder-cost: 328   maxlim: 556   bits: 10/10
3.39/3.41	c ---[ 763]---> Adder-cost: 328   maxlim: 556   bits: 10/10
3.39/3.41	c ---[ 762]---> Adder-cost: 328   maxlim: 556   bits: 10/10
3.39/3.42	c ---[ 761]---> Adder-cost: 346   maxlim: 552   bits: 10/10
3.39/3.42	c ---[ 760]---> Adder-cost: 346   maxlim: 552   bits: 10/10
3.39/3.43	c ---[ 759]---> Adder-cost: 326   maxlim: 549   bits: 10/10
3.39/3.43	c ---[ 758]---> Adder-cost: 346   maxlim: 545   bits: 10/10
3.39/3.44	c ---[ 757]---> Adder-cost: 308   maxlim: 541   bits: 10/10
3.39/3.44	c ---[ 756]---> Adder-cost: 318   maxlim: 523   bits: 10/10
3.39/3.45	c ---[ 755]---> Adder-cost: 306   maxlim: 509   bits: 10/9
3.39/3.45	c ---[ 754]---> Adder-cost: 298   maxlim: 490   bits: 9/9
3.39/3.46	c ---[ 753]---> Adder-cost: 298   maxlim: 490   bits: 9/9
3.39/3.46	c ---[ 752]---> Adder-cost: 298   maxlim: 490   bits: 9/9
3.39/3.46	c ---[ 751]---> Adder-cost: 294   maxlim: 468   bits: 9/9
3.39/3.47	c ---[ 750]---> Adder-cost: 294   maxlim: 468   bits: 9/9
3.39/3.47	c ---[ 749]---> Adder-cost: 280   maxlim: 447   bits: 9/9
3.39/3.48	c ---[ 748]---> Adder-cost: 256   maxlim: 429   bits: 9/9
3.39/3.48	c ---[ 747]---> Adder-cost: 244   maxlim: 415   bits: 9/9
3.39/3.48	c ---[ 746]---> Adder-cost: 228   maxlim: 390   bits: 9/9
3.39/3.49	c ---[ 745]---> Adder-cost: 228   maxlim: 390   bits: 9/9
3.39/3.49	c ---[ 744]---> Adder-cost: 218   maxlim: 381   bits: 9/9
3.39/3.49	c ---[ 743]---> Adder-cost: 218   maxlim: 363   bits: 9/9
3.48/3.50	c ---[ 742]---> Adder-cost: 198   maxlim: 346   bits: 9/9
3.48/3.50	c ---[ 741]---> Adder-cost: 184   maxlim: 325   bits: 9/9
3.48/3.50	c ---[ 740]---> Adder-cost: 184   maxlim: 325   bits: 9/9
3.48/3.50	c ---[ 739]---> Adder-cost: 188   maxlim: 313   bits: 9/9
3.48/3.51	c ---[ 738]---> Adder-cost: 180   maxlim: 298   bits: 9/9
3.48/3.51	c ---[ 737]---> Adder-cost: 180   maxlim: 298   bits: 9/9
3.48/3.51	c ---[ 736]---> Adder-cost: 178   maxlim: 288   bits: 9/9
3.48/3.51	c ---[ 735]---> Adder-cost: 160   maxlim: 276   bits: 9/9
3.48/3.52	c ---[ 734]---> Adder-cost: 148   maxlim: 253   bits: 9/8
3.48/3.52	c ---[ 733]---> Adder-cost: 150   maxlim: 239   bits: 9/8
3.48/3.52	c ---[ 732]---> Adder-cost: 136   maxlim: 215   bits: 8/8
3.48/3.52	c ---[ 731]---> Adder-cost: 136   maxlim: 215   bits: 8/8
3.48/3.52	c ---[ 730]---> Adder-cost: 126   maxlim: 213   bits: 8/8
3.48/3.53	c ---[ 729]---> Adder-cost: 126   maxlim: 207   bits: 8/8
3.48/3.53	c ---[ 728]---> Adder-cost: 116   maxlim: 186   bits: 8/8
3.48/3.53	c ---[ 727]---> Sorter-cost: 1129     Base: 2 3
3.48/3.53	c ---[ 726]---> Sorter-cost:  938     Base: 2 3
3.48/3.53	c ---[ 725]---> Sorter-cost:  833     Base: 2 2
3.48/3.53	c ---[ 724]---> Sorter-cost:  630     Base: 2 2
3.48/3.54	c ---[ 723]---> Sorter-cost:  630     Base: 2 2
3.48/3.54	c ---[ 722]---> Sorter-cost:  466     Base: 2 2
3.48/3.54	c ---[ 721]---> Sorter-cost:  466     Base: 2 2
3.48/3.54	c ---[ 720]---> Sorter-cost:  442     Base: 2 2
3.48/3.54	c ---[ 719]---> Sorter-cost:  442     Base: 2 2
3.48/3.54	c ---[ 718]---> Sorter-cost:  356     Base: 2 2
3.48/3.54	c ---[ 717]---> Sorter-cost:  324     Base: 2 2
3.48/3.54	c ---[ 716]---> Sorter-cost:  264     Base: 2 2
3.48/3.54	c ---[ 715]---> Sorter-cost:  264     Base: 2 2
3.48/3.54	c ---[ 714]---> Sorter-cost:  264     Base: 2 2
3.48/3.54	c ---[ 713]---> Sorter-cost:  206     Base: 2 3
3.48/3.54	c ---[ 712]---> BDD-cost:   46
3.48/3.54	c ---[ 711]---> BDD-cost:   46
3.48/3.54	c ---[ 710]---> BDD-cost:   25
3.48/3.54	c ---[ 709]---> BDD-cost:    8
3.48/3.54	c ---[ 707]---> BDD-cost:    2
3.48/3.54	c ---[ 706]---> BDD-cost:    2
3.48/3.54	c ---[ 705]---> BDD-cost:    2
3.48/3.54	c ---[ 704]---> BDD-cost:    7
3.48/3.54	c ---[ 703]---> BDD-cost:   22
3.48/3.54	c ---[ 702]---> BDD-cost:   22
3.48/3.54	c ---[ 701]---> BDD-cost:   22
3.48/3.54	c ---[ 700]---> BDD-cost:   42
3.48/3.54	c ---[ 699]---> Sorter-cost:  232     Base: 2 3
3.48/3.55	c ---[ 698]---> Sorter-cost:  232     Base: 2 3
3.48/3.55	c ---[ 697]---> Sorter-cost:  295     Base: 2 3
3.48/3.55	c ---[ 696]---> Sorter-cost:  295     Base: 2 3
3.48/3.55	c ---[ 695]---> Sorter-cost:  356     Base: 2 3
3.48/3.55	c ---[ 694]---> Sorter-cost:  508     Base: 2 3
3.48/3.55	c ---[ 693]---> Sorter-cost:  508     Base: 2 3
3.48/3.55	c ---[ 692]---> Sorter-cost:  508     Base: 2 3
3.48/3.55	c ---[ 691]---> Sorter-cost:  658     Base: 2 3
3.48/3.55	c ---[ 690]---> Sorter-cost:  806     Base: 2 3
3.48/3.55	c ---[ 689]---> Sorter-cost:  806     Base: 2 3
3.48/3.55	c ---[ 688]---> Sorter-cost: 1046     Base: 2 3
3.48/3.56	c ---[ 687]---> Sorter-cost: 1046     Base: 2 3
3.48/3.56	c ---[ 686]---> Adder-cost: 106   maxlim: 192   bits: 8/8
3.48/3.56	c ---[ 685]---> Adder-cost: 112   maxlim: 209   bits: 8/8
3.48/3.56	c ---[ 684]---> Adder-cost: 114   maxlim: 214   bits: 8/8
3.48/3.56	c ---[ 683]---> Adder-cost: 142   maxlim: 261   bits: 9/9
3.48/3.56	c ---[ 682]---> Adder-cost: 146   maxlim: 272   bits: 9/9
3.48/3.57	c ---[ 681]---> Adder-cost: 148   maxlim: 279   bits: 9/9
3.48/3.57	c ---[ 680]---> Adder-cost: 174   maxlim: 310   bits: 9/9
3.48/3.57	c ---[ 679]---> Adder-cost: 182   maxlim: 317   bits: 9/9
3.48/3.57	c ---[ 678]---> Adder-cost: 182   maxlim: 317   bits: 9/9
3.48/3.58	c ---[ 677]---> Adder-cost: 172   maxlim: 330   bits: 9/9
3.48/3.58	c ---[ 676]---> Adder-cost: 172   maxlim: 330   bits: 9/9
3.48/3.58	c ---[ 675]---> Adder-cost: 190   maxlim: 352   bits: 9/9
3.48/3.58	c ---[ 674]---> Adder-cost: 202   maxlim: 355   bits: 9/9
3.48/3.59	c ---[ 673]---> Adder-cost: 202   maxlim: 355   bits: 9/9
3.48/3.59	c ---[ 672]---> Adder-cost: 204   maxlim: 357   bits: 9/9
3.48/3.59	c ---[ 671]---> Adder-cost: 220   maxlim: 372   bits: 9/9
3.59/3.60	c ---[ 670]---> Adder-cost: 218   maxlim: 386   bits: 9/9
3.59/3.60	c ---[ 669]---> Adder-cost: 230   maxlim: 404   bits: 9/9
3.59/3.60	c ---[ 668]---> Adder-cost: 212   maxlim: 418   bits: 9/9
3.59/3.61	c ---[ 667]---> Adder-cost: 212   maxlim: 418   bits: 9/9
3.59/3.61	c ---[ 666]---> Adder-cost: 212   maxlim: 418   bits: 9/9
3.59/3.61	c ---[ 665]---> Adder-cost: 252   maxlim: 428   bits: 9/9
3.59/3.62	c ---[ 664]---> Adder-cost: 248   maxlim: 435   bits: 9/9
3.59/3.62	c ---[ 663]---> Adder-cost: 268   maxlim: 444   bits: 9/9
3.59/3.62	c ---[ 662]---> Adder-cost: 268   maxlim: 444   bits: 9/9
3.59/3.63	c ---[ 661]---> Adder-cost: 256   maxlim: 447   bits: 9/9
3.59/3.63	c ---[ 660]---> Adder-cost: 256   maxlim: 447   bits: 9/9
3.59/3.64	c ---[ 659]---> Adder-cost: 240   maxlim: 457   bits: 9/9
3.59/3.64	c ---[ 658]---> Adder-cost: 262   maxlim: 470   bits: 9/9
3.59/3.64	c ---[ 657]---> Adder-cost: 274   maxlim: 479   bits: 9/9
3.59/3.65	c ---[ 656]---> Adder-cost: 282   maxlim: 480   bits: 9/9
3.59/3.65	c ---[ 655]---> Adder-cost: 282   maxlim: 480   bits: 9/9
3.59/3.65	c ---[ 654]---> Adder-cost: 282   maxlim: 480   bits: 9/9
3.59/3.66	c ---[ 653]---> Adder-cost: 282   maxlim: 480   bits: 9/9
3.59/3.66	c ---[ 652]---> Adder-cost: 284   maxlim: 494   bits: 10/9
3.59/3.67	c ---[ 651]---> Adder-cost: 284   maxlim: 494   bits: 10/9
3.59/3.67	c ---[ 650]---> Adder-cost: 284   maxlim: 494   bits: 10/9
3.59/3.67	c ---[ 649]---> Adder-cost: 274   maxlim: 496   bits: 10/9
3.59/3.68	c ---[ 648]---> Adder-cost: 306   maxlim: 516   bits: 10/10
3.59/3.68	c ---[ 647]---> Adder-cost: 316   maxlim: 533   bits: 10/10
3.59/3.69	c ---[ 646]---> Adder-cost: 316   maxlim: 533   bits: 10/10
3.59/3.69	c ---[ 645]---> Adder-cost: 320   maxlim: 536   bits: 10/10
3.69/3.70	c ---[ 644]---> Adder-cost: 320   maxlim: 536   bits: 10/10
3.69/3.70	c ---[ 643]---> Adder-cost: 320   maxlim: 536   bits: 10/10
3.69/3.71	c ---[ 642]---> Adder-cost: 324   maxlim: 552   bits: 10/10
3.69/3.71	c ---[ 641]---> Adder-cost: 298   maxlim: 554   bits: 10/10
3.69/3.71	c ---[ 640]---> Adder-cost: 324   maxlim: 578   bits: 10/10
3.69/3.72	c ---[ 639]---> Adder-cost: 324   maxlim: 578   bits: 10/10
3.69/3.72	c ---[ 638]---> Adder-cost: 334   maxlim: 581   bits: 10/10
3.69/3.73	c ---[ 637]---> Adder-cost: 334   maxlim: 581   bits: 10/10
3.69/3.73	c ---[ 636]---> Adder-cost: 324   maxlim: 603   bits: 10/10
3.69/3.74	c ---[ 635]---> Adder-cost: 342   maxlim: 606   bits: 10/10
3.69/3.74	c ---[ 634]---> Adder-cost: 342   maxlim: 606   bits: 10/10
3.69/3.75	c ---[ 633]---> Adder-cost: 368   maxlim: 607   bits: 10/10
3.69/3.75	c ---[ 632]---> Adder-cost: 360   maxlim: 625   bits: 10/10
3.69/3.76	c ---[ 631]---> Adder-cost: 360   maxlim: 625   bits: 10/10
3.69/3.76	c ---[ 630]---> Adder-cost: 378   maxlim: 633   bits: 10/10
3.69/3.77	c ---[ 629]---> Adder-cost: 378   maxlim: 633   bits: 10/10
3.69/3.77	c ---[ 628]---> Adder-cost: 388   maxlim: 652   bits: 10/10
3.69/3.78	c ---[ 627]---> Adder-cost: 388   maxlim: 652   bits: 10/10
3.69/3.78	c ---[ 626]---> Adder-cost: 388   maxlim: 652   bits: 10/10
3.69/3.79	c ---[ 625]---> Adder-cost: 378   maxlim: 653   bits: 10/10
3.69/3.79	c ---[ 624]---> Adder-cost: 378   maxlim: 653   bits: 10/10
3.79/3.80	c ---[ 623]---> Adder-cost: 378   maxlim: 653   bits: 10/10
3.79/3.81	c ---[ 622]---> Adder-cost: 378   maxlim: 653   bits: 10/10
3.79/3.81	c ---[ 621]---> Adder-cost: 378   maxlim: 653   bits: 10/10
3.79/3.82	c ---[ 620]---> Adder-cost: 380   maxlim: 655   bits: 10/10
3.79/3.82	c ---[ 619]---> Adder-cost: 380   maxlim: 655   bits: 10/10
3.79/3.83	c ---[ 618]---> Adder-cost: 380   maxlim: 655   bits: 10/10
3.79/3.83	c ---[ 617]---> Adder-cost: 382   maxlim: 662   bits: 10/10
3.79/3.84	c ---[ 616]---> Adder-cost: 394   maxlim: 668   bits: 10/10
3.79/3.84	c ---[ 615]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.79/3.85	c ---[ 614]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.79/3.85	c ---[ 613]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.79/3.86	c ---[ 612]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.79/3.87	c ---[ 611]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.79/3.87	c ---[ 610]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.79/3.88	c ---[ 609]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.79/3.88	c ---[ 608]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.79/3.89	c ---[ 607]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.79/3.89	c ---[ 606]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.89/3.90	c ---[ 605]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.89/3.90	c ---[ 604]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.89/3.91	c ---[ 603]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.89/3.91	c ---[ 602]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.89/3.92	c ---[ 601]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.89/3.93	c ---[ 600]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.89/3.93	c ---[ 599]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.89/3.94	c ---[ 598]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.89/3.94	c ---[ 597]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.89/3.95	c ---[ 596]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.89/3.95	c ---[ 595]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.89/3.96	c ---[ 594]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.89/3.96	c ---[ 593]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.89/3.97	c ---[ 592]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.89/3.97	c ---[ 591]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.89/3.98	c ---[ 590]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.89/3.99	c ---[ 589]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.89/3.99	c ---[ 588]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.99/4.00	c ---[ 587]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.99/4.00	c ---[ 586]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.99/4.01	c ---[ 585]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.99/4.01	c ---[ 584]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.99/4.02	c ---[ 583]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.99/4.02	c ---[ 582]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.99/4.03	c ---[ 581]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.99/4.04	c ---[ 580]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.99/4.04	c ---[ 579]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.99/4.05	c ---[ 578]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.99/4.05	c ---[ 577]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.99/4.06	c ---[ 576]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.99/4.06	c ---[ 575]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.99/4.07	c ---[ 574]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.99/4.08	c ---[ 573]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.99/4.08	c ---[ 572]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.99/4.09	c ---[ 571]---> Adder-cost: 402   maxlim: 674   bits: 10/10
3.99/4.09	c ---[ 570]---> Adder-cost: 402   maxlim: 674   bits: 10/10
4.09/4.10	c ---[ 569]---> Adder-cost: 402   maxlim: 674   bits: 10/10
4.09/4.10	c ---[ 568]---> Adder-cost: 402   maxlim: 674   bits: 10/10
4.09/4.11	c ---[ 567]---> Adder-cost: 402   maxlim: 674   bits: 10/10
4.09/4.11	c ---[ 566]---> Adder-cost: 402   maxlim: 674   bits: 10/10
4.09/4.12	c ---[ 565]---> Adder-cost: 402   maxlim: 674   bits: 10/10
4.09/4.12	c ---[ 564]---> Adder-cost: 396   maxlim: 666   bits: 10/10
4.09/4.13	c ---[ 563]---> Adder-cost: 396   maxlim: 666   bits: 10/10
4.09/4.14	c ---[ 562]---> Adder-cost: 396   maxlim: 666   bits: 10/10
4.09/4.14	c ---[ 561]---> Adder-cost: 396   maxlim: 666   bits: 10/10
4.09/4.15	c ---[ 560]---> Adder-cost: 396   maxlim: 666   bits: 10/10
4.09/4.15	c ---[ 559]---> Adder-cost: 390   maxlim: 663   bits: 10/10
4.09/4.16	c ---[ 558]---> Adder-cost: 390   maxlim: 663   bits: 10/10
4.09/4.16	c ---[ 557]---> Adder-cost: 390   maxlim: 663   bits: 10/10
4.09/4.17	c ---[ 556]---> Adder-cost: 390   maxlim: 663   bits: 10/10
4.09/4.17	c ---[ 555]---> Adder-cost: 390   maxlim: 663   bits: 10/10
4.09/4.18	c ---[ 554]---> Adder-cost: 390   maxlim: 663   bits: 10/10
4.09/4.18	c ---[ 553]---> Adder-cost: 390   maxlim: 663   bits: 10/10
4.09/4.19	c ---[ 552]---> Adder-cost: 370   maxlim: 661   bits: 10/10
4.19/4.20	c ---[ 551]---> Adder-cost: 364   maxlim: 660   bits: 10/10
4.19/4.20	c ---[ 550]---> Adder-cost: 364   maxlim: 660   bits: 10/10
4.19/4.21	c ---[ 549]---> Adder-cost: 364   maxlim: 660   bits: 10/10
4.19/4.21	c ---[ 548]---> Adder-cost: 376   maxlim: 656   bits: 10/10
4.19/4.22	c ---[ 547]---> Adder-cost: 376   maxlim: 656   bits: 10/10
4.19/4.22	c ---[ 546]---> Adder-cost: 376   maxlim: 656   bits: 10/10
4.19/4.23	c ---[ 545]---> Adder-cost: 368   maxlim: 649   bits: 10/10
4.19/4.23	c ---[ 544]---> Adder-cost: 368   maxlim: 649   bits: 10/10
4.19/4.24	c ---[ 543]---> Adder-cost: 374   maxlim: 642   bits: 10/10
4.19/4.25	c ---[ 542]---> Adder-cost: 374   maxlim: 636   bits: 10/10
4.19/4.25	c ---[ 541]---> Adder-cost: 374   maxlim: 636   bits: 10/10
4.19/4.26	c ---[ 540]---> Adder-cost: 374   maxlim: 636   bits: 10/10
4.19/4.26	c ---[ 539]---> Adder-cost: 374   maxlim: 636   bits: 10/10
4.19/4.27	c ---[ 538]---> Adder-cost: 374   maxlim: 636   bits: 10/10
4.19/4.27	c ---[ 537]---> Adder-cost: 374   maxlim: 636   bits: 10/10
4.19/4.28	c ---[ 536]---> Adder-cost: 374   maxlim: 636   bits: 10/10
4.19/4.28	c ---[ 535]---> Adder-cost: 368   maxlim: 627   bits: 10/10
4.19/4.29	c ---[ 534]---> Adder-cost: 368   maxlim: 627   bits: 10/10
4.19/4.29	c ---[ 533]---> Adder-cost: 368   maxlim: 627   bits: 10/10
4.29/4.30	c ---[ 532]---> Adder-cost: 344   maxlim: 618   bits: 10/10
4.29/4.30	c ---[ 531]---> Adder-cost: 344   maxlim: 618   bits: 10/10
4.29/4.31	c ---[ 530]---> Adder-cost: 344   maxlim: 618   bits: 10/10
4.29/4.31	c ---[ 529]---> Adder-cost: 348   maxlim: 612   bits: 10/10
4.29/4.32	c ---[ 528]---> Adder-cost: 344   maxlim: 603   bits: 10/10
4.29/4.32	c ---[ 527]---> Adder-cost: 344   maxlim: 603   bits: 10/10
4.29/4.33	c ---[ 526]---> Adder-cost: 344   maxlim: 603   bits: 10/10
4.29/4.33	c ---[ 525]---> Adder-cost: 334   maxlim: 602   bits: 10/10
4.29/4.33	c ---[ 524]---> Adder-cost: 334   maxlim: 602   bits: 10/10
4.29/4.34	c ---[ 523]---> Adder-cost: 332   maxlim: 592   bits: 10/10
4.29/4.34	c ---[ 522]---> Adder-cost: 350   maxlim: 591   bits: 10/10
4.29/4.35	c ---[ 521]---> Adder-cost: 330   maxlim: 579   bits: 10/10
4.29/4.35	c ---[ 520]---> Adder-cost: 300   maxlim: 556   bits: 10/10
4.29/4.36	c ---[ 519]---> Adder-cost: 296   maxlim: 541   bits: 10/10
4.29/4.36	c ---[ 518]---> Adder-cost: 306   maxlim: 530   bits: 10/10
4.29/4.37	c ---[ 517]---> Adder-cost: 306   maxlim: 530   bits: 10/10
4.29/4.37	c ---[ 516]---> Adder-cost: 306   maxlim: 530   bits: 10/10
4.29/4.38	c ---[ 515]---> Adder-cost: 284   maxlim: 511   bits: 10/9
4.29/4.38	c ---[ 514]---> Adder-cost: 284   maxlim: 511   bits: 10/9
4.29/4.39	c ---[ 513]---> Adder-cost: 264   maxlim: 480   bits: 9/9
4.29/4.39	c ---[ 512]---> Adder-cost: 256   maxlim: 465   bits: 9/9
4.29/4.39	c ---[ 511]---> Adder-cost: 268   maxlim: 446   bits: 9/9
4.29/4.40	c ---[ 510]---> Adder-cost: 246   maxlim: 425   bits: 9/9
4.29/4.40	c ---[ 509]---> Adder-cost: 246   maxlim: 425   bits: 9/9
4.40/4.41	c ---[ 508]---> Adder-cost: 240   maxlim: 418   bits: 9/9
4.40/4.41	c ---[ 507]---> Adder-cost: 224   maxlim: 394   bits: 9/9
4.40/4.41	c ---[ 506]---> Adder-cost: 224   maxlim: 371   bits: 9/9
4.40/4.42	c ---[ 505]---> Adder-cost: 196   maxlim: 338   bits: 9/9
4.40/4.42	c ---[ 504]---> Adder-cost: 196   maxlim: 338   bits: 9/9
4.40/4.42	c ---[ 503]---> Adder-cost: 192   maxlim: 321   bits: 9/9
4.40/4.42	c ---[ 502]---> Adder-cost: 186   maxlim: 318   bits: 9/9
4.40/4.43	c ---[ 501]---> Adder-cost: 186   maxlim: 318   bits: 9/9
4.40/4.43	c ---[ 500]---> Adder-cost: 180   maxlim: 317   bits: 9/9
4.40/4.43	c ---[ 499]---> Adder-cost: 180   maxlim: 291   bits: 9/9
4.40/4.43	c ---[ 498]---> Adder-cost: 166   maxlim: 269   bits: 9/9
4.40/4.44	c ---[ 497]---> Adder-cost: 158   maxlim: 258   bits: 9/9
4.40/4.44	c ---[ 496]---> Adder-cost: 144   maxlim: 241   bits: 9/8
4.40/4.44	c ---[ 495]---> Adder-cost: 144   maxlim: 241   bits: 9/8
4.40/4.44	c ---[ 494]---> Adder-cost: 132   maxlim: 232   bits: 8/8
4.40/4.44	c ---[ 493]---> Sorter-cost: 1398     Base: 3 2
4.40/4.45	c ---[ 492]---> Sorter-cost: 1236     Base: 3 2
4.40/4.46	c ---[ 491]---> Sorter-cost: 1050     Base: 3 3
4.40/4.46	c ---[ 490]---> Sorter-cost:  858     Base: 3 3
4.40/4.46	c ---[ 489]---> Sorter-cost:  772     Base: 3 2
4.40/4.46	c ---[ 488]---> Sorter-cost:  614     Base: 3 2
4.40/4.46	c ---[ 487]---> Sorter-cost:  614     Base: 3 2
4.40/4.47	c ---[ 486]---> Sorter-cost:  534     Base: 3 2
4.40/4.47	c ---[ 485]---> Sorter-cost:  534     Base: 3 2
4.40/4.47	c ---[ 484]---> Sorter-cost:  473     Base: 3 3
4.40/4.47	c ---[ 483]---> Sorter-cost:  473     Base: 3 3
4.40/4.47	c ---[ 482]---> Sorter-cost:  390     Base: 3 3
4.40/4.47	c ---[ 481]---> Sorter-cost:  321     Base: 3 3
4.40/4.47	c ---[ 480]---> BDD-cost:   86
4.40/4.47	c ---[ 479]---> BDD-cost:   86
4.40/4.47	c ---[ 478]---> BDD-cost:   86
4.40/4.47	c ---[ 477]---> BDD-cost:   75
4.40/4.47	c ---[ 476]---> BDD-cost:   37
4.40/4.47	c ---[ 475]---> BDD-cost:   37
4.40/4.47	c ---[ 474]---> BDD-cost:   20
4.40/4.47	c ---[ 473]---> BDD-cost:   10
4.40/4.47	c ---[ 472]---> BDD-cost:    2
4.40/4.47	c ---[ 468]---> BDD-cost:    9
4.40/4.47	c ---[ 467]---> BDD-cost:   22
4.40/4.47	c ---[ 466]---> BDD-cost:   22
4.40/4.47	c ---[ 465]---> BDD-cost:   22
4.40/4.47	c ---[ 464]---> BDD-cost:   57
4.40/4.47	c ---[ 463]---> BDD-cost:   85
4.40/4.47	c ---[ 462]---> BDD-cost:   85
4.40/4.47	c ---[ 461]---> BDD-cost:   97
4.40/4.47	c ---[ 460]---> BDD-cost:   97
4.40/4.47	c ---[ 459]---> BDD-cost:  107
4.40/4.48	c ---[ 458]---> Sorter-cost:  633     Base: 3 2
4.40/4.48	c ---[ 457]---> Sorter-cost:  633     Base: 3 2
4.40/4.48	c ---[ 456]---> Sorter-cost:  633     Base: 3 2
4.40/4.48	c ---[ 455]---> Sorter-cost:  765     Base: 3 2
4.40/4.48	c ---[ 454]---> Sorter-cost:  946     Base: 3 2
4.40/4.48	c ---[ 453]---> Sorter-cost:  946     Base: 3 2
4.40/4.48	c ---[ 452]---> Sorter-cost: 1060     Base: 3 2
4.40/4.48	c ---[ 451]---> Sorter-cost: 1060     Base: 3 2
4.40/4.49	c ---[ 450]---> Adder-cost: 112   maxlim: 181   bits: 8/8
4.40/4.49	c ---[ 449]---> Adder-cost: 116   maxlim: 187   bits: 8/8
4.40/4.49	c ---[ 448]---> Adder-cost: 124   maxlim: 192   bits: 8/8
4.40/4.49	c ---[ 447]---> Adder-cost: 142   maxlim: 222   bits: 8/8
4.40/4.49	c ---[ 446]---> Adder-cost: 142   maxlim: 232   bits: 8/8
4.40/4.50	c ---[ 445]---> Adder-cost: 154   maxlim: 242   bits: 9/8
4.40/4.50	c ---[ 444]---> Adder-cost: 176   maxlim: 282   bits: 9/9
4.40/4.50	c ---[ 443]---> Adder-cost: 178   maxlim: 286   bits: 9/9
4.50/4.50	c ---[ 442]---> Adder-cost: 178   maxlim: 286   bits: 9/9
4.50/4.51	c ---[ 441]---> Adder-cost: 198   maxlim: 320   bits: 9/9
4.50/4.51	c ---[ 440]---> Adder-cost: 198   maxlim: 320   bits: 9/9
4.50/4.51	c ---[ 439]---> Adder-cost: 206   maxlim: 346   bits: 9/9
4.50/4.51	c ---[ 438]---> Adder-cost: 210   maxlim: 354   bits: 9/9
4.50/4.52	c ---[ 437]---> Adder-cost: 210   maxlim: 354   bits: 9/9
4.50/4.52	c ---[ 436]---> Adder-cost: 210   maxlim: 360   bits: 9/9
4.50/4.52	c ---[ 435]---> Adder-cost: 220   maxlim: 370   bits: 9/9
4.50/4.53	c ---[ 434]---> Adder-cost: 214   maxlim: 382   bits: 9/9
4.50/4.53	c ---[ 433]---> Adder-cost: 234   maxlim: 401   bits: 9/9
4.50/4.53	c ---[ 432]---> Adder-cost: 240   maxlim: 412   bits: 9/9
4.50/4.54	c ---[ 431]---> Adder-cost: 240   maxlim: 412   bits: 9/9
4.50/4.54	c ---[ 430]---> Adder-cost: 240   maxlim: 412   bits: 9/9
4.50/4.54	c ---[ 429]---> Adder-cost: 246   maxlim: 426   bits: 9/9
4.50/4.55	c ---[ 428]---> Adder-cost: 250   maxlim: 433   bits: 9/9
4.50/4.55	c ---[ 427]---> Adder-cost: 262   maxlim: 450   bits: 9/9
4.50/4.55	c ---[ 426]---> Adder-cost: 262   maxlim: 450   bits: 9/9
4.50/4.56	c ---[ 425]---> Adder-cost: 256   maxlim: 452   bits: 9/9
4.50/4.56	c ---[ 424]---> Adder-cost: 256   maxlim: 452   bits: 9/9
4.50/4.57	c ---[ 423]---> Adder-cost: 260   maxlim: 471   bits: 9/9
4.50/4.57	c ---[ 422]---> Adder-cost: 270   maxlim: 487   bits: 9/9
4.50/4.57	c ---[ 421]---> Adder-cost: 268   maxlim: 495   bits: 10/9
4.50/4.58	c ---[ 420]---> Adder-cost: 276   maxlim: 499   bits: 10/9
4.50/4.58	c ---[ 419]---> Adder-cost: 276   maxlim: 499   bits: 10/9
4.50/4.59	c ---[ 418]---> Adder-cost: 276   maxlim: 499   bits: 10/9
4.50/4.59	c ---[ 417]---> Adder-cost: 276   maxlim: 499   bits: 10/9
4.50/4.59	c ---[ 416]---> Adder-cost: 288   maxlim: 512   bits: 10/10
4.59/4.60	c ---[ 415]---> Adder-cost: 288   maxlim: 512   bits: 10/10
4.59/4.60	c ---[ 414]---> Adder-cost: 288   maxlim: 512   bits: 10/10
4.59/4.61	c ---[ 413]---> Adder-cost: 280   maxlim: 518   bits: 10/10
4.59/4.61	c ---[ 412]---> Adder-cost: 298   maxlim: 540   bits: 10/10
4.59/4.61	c ---[ 411]---> Adder-cost: 314   maxlim: 556   bits: 10/10
4.59/4.62	c ---[ 410]---> Adder-cost: 314   maxlim: 556   bits: 10/10
4.59/4.62	c ---[ 409]---> Adder-cost: 322   maxlim: 559   bits: 10/10
4.59/4.63	c ---[ 408]---> Adder-cost: 322   maxlim: 559   bits: 10/10
4.59/4.63	c ---[ 407]---> Adder-cost: 322   maxlim: 559   bits: 10/10
4.59/4.64	c ---[ 406]---> Adder-cost: 322   maxlim: 571   bits: 10/10
4.59/4.64	c ---[ 405]---> Adder-cost: 334   maxlim: 573   bits: 10/10
4.59/4.65	c ---[ 404]---> Adder-cost: 340   maxlim: 594   bits: 10/10
4.59/4.65	c ---[ 403]---> Adder-cost: 340   maxlim: 594   bits: 10/10
4.59/4.66	c ---[ 402]---> Adder-cost: 344   maxlim: 602   bits: 10/10
4.59/4.66	c ---[ 401]---> Adder-cost: 344   maxlim: 602   bits: 10/10
4.59/4.67	c ---[ 400]---> Adder-cost: 340   maxlim: 619   bits: 10/10
4.59/4.67	c ---[ 399]---> Adder-cost: 346   maxlim: 623   bits: 10/10
4.59/4.68	c ---[ 398]---> Adder-cost: 346   maxlim: 623   bits: 10/10
4.59/4.68	c ---[ 397]---> Adder-cost: 356   maxlim: 630   bits: 10/10
4.59/4.69	c ---[ 396]---> Adder-cost: 364   maxlim: 635   bits: 10/10
4.59/4.69	c ---[ 395]---> Adder-cost: 364   maxlim: 635   bits: 10/10
4.69/4.70	c ---[ 394]---> Adder-cost: 364   maxlim: 637   bits: 10/10
4.69/4.70	c ---[ 393]---> Adder-cost: 364   maxlim: 637   bits: 10/10
4.69/4.71	c ---[ 392]---> Adder-cost: 374   maxlim: 657   bits: 10/10
4.69/4.71	c ---[ 391]---> Adder-cost: 374   maxlim: 657   bits: 10/10
4.69/4.72	c ---[ 390]---> Adder-cost: 374   maxlim: 657   bits: 10/10
4.69/4.73	c ---[ 389]---> Adder-cost: 376   maxlim: 666   bits: 10/10
4.69/4.73	c ---[ 388]---> Adder-cost: 376   maxlim: 666   bits: 10/10
4.69/4.74	c ---[ 387]---> Adder-cost: 376   maxlim: 666   bits: 10/10
4.69/4.74	c ---[ 386]---> Adder-cost: 376   maxlim: 666   bits: 10/10
4.69/4.75	c ---[ 385]---> Adder-cost: 376   maxlim: 666   bits: 10/10
4.69/4.75	c ---[ 384]---> Adder-cost: 382   maxlim: 672   bits: 10/10
4.69/4.76	c ---[ 383]---> Adder-cost: 382   maxlim: 672   bits: 10/10
4.69/4.76	c ---[ 382]---> Adder-cost: 382   maxlim: 672   bits: 10/10
4.69/4.77	c ---[ 381]---> Adder-cost: 398   maxlim: 677   bits: 10/10
4.69/4.78	c ---[ 380]---> Adder-cost: 388   maxlim: 682   bits: 10/10
4.69/4.78	c ---[ 379]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.69/4.79	c ---[ 378]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.69/4.79	c ---[ 377]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.79/4.80	c ---[ 376]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.79/4.80	c ---[ 375]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.79/4.81	c ---[ 374]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.79/4.82	c ---[ 373]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.79/4.82	c ---[ 372]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.79/4.83	c ---[ 371]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.79/4.83	c ---[ 370]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.79/4.84	c ---[ 369]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.79/4.84	c ---[ 368]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.79/4.85	c ---[ 367]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.79/4.86	c ---[ 366]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.79/4.86	c ---[ 365]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.79/4.87	c ---[ 364]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.79/4.87	c ---[ 363]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.79/4.88	c ---[ 362]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.79/4.88	c ---[ 361]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.79/4.89	c ---[ 360]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.89/4.90	c ---[ 359]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.89/4.90	c ---[ 358]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.89/4.91	c ---[ 357]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.89/4.91	c ---[ 356]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.89/4.92	c ---[ 355]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.89/4.92	c ---[ 354]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.89/4.93	c ---[ 353]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.89/4.94	c ---[ 352]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.89/4.94	c ---[ 351]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.89/4.95	c ---[ 350]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.89/4.95	c ---[ 349]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.89/4.96	c ---[ 348]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.89/4.97	c ---[ 347]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.89/4.97	c ---[ 346]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.89/4.98	c ---[ 345]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.89/4.98	c ---[ 344]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.89/4.99	c ---[ 343]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.89/4.99	c ---[ 342]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.99/5.00	c ---[ 341]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.99/5.01	c ---[ 340]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.99/5.01	c ---[ 339]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.99/5.02	c ---[ 338]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.99/5.02	c ---[ 337]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.99/5.03	c ---[ 336]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.99/5.03	c ---[ 335]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.99/5.04	c ---[ 334]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.99/5.05	c ---[ 333]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.99/5.05	c ---[ 332]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.99/5.06	c ---[ 331]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.99/5.06	c ---[ 330]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.99/5.07	c ---[ 329]---> Adder-cost: 382   maxlim: 688   bits: 10/10
4.99/5.07	c ---[ 328]---> Adder-cost: 390   maxlim: 679   bits: 10/10
4.99/5.08	c ---[ 327]---> Adder-cost: 390   maxlim: 679   bits: 10/10
4.99/5.09	c ---[ 326]---> Adder-cost: 390   maxlim: 679   bits: 10/10
4.99/5.09	c ---[ 325]---> Adder-cost: 390   maxlim: 679   bits: 10/10
5.09/5.10	c ---[ 324]---> Adder-cost: 390   maxlim: 679   bits: 10/10
5.09/5.10	c ---[ 323]---> Adder-cost: 370   maxlim: 676   bits: 10/10
5.09/5.11	c ---[ 322]---> Adder-cost: 370   maxlim: 676   bits: 10/10
5.09/5.11	c ---[ 321]---> Adder-cost: 370   maxlim: 676   bits: 10/10
5.09/5.12	c ---[ 320]---> Adder-cost: 370   maxlim: 676   bits: 10/10
5.09/5.12	c ---[ 319]---> Adder-cost: 370   maxlim: 676   bits: 10/10
5.09/5.13	c ---[ 318]---> Adder-cost: 370   maxlim: 676   bits: 10/10
5.09/5.14	c ---[ 317]---> Adder-cost: 370   maxlim: 676   bits: 10/10
5.09/5.14	c ---[ 316]---> Adder-cost: 360   maxlim: 666   bits: 10/10
5.09/5.15	c ---[ 315]---> Adder-cost: 370   maxlim: 659   bits: 10/10
5.09/5.15	c ---[ 314]---> Adder-cost: 370   maxlim: 659   bits: 10/10
5.09/5.16	c ---[ 313]---> Adder-cost: 370   maxlim: 659   bits: 10/10
5.09/5.16	c ---[ 312]---> Adder-cost: 350   maxlim: 650   bits: 10/10
5.09/5.17	c ---[ 311]---> Adder-cost: 350   maxlim: 650   bits: 10/10
5.09/5.17	c ---[ 310]---> Adder-cost: 350   maxlim: 650   bits: 10/10
5.09/5.18	c ---[ 309]---> Adder-cost: 374   maxlim: 648   bits: 10/10
5.09/5.18	c ---[ 308]---> Adder-cost: 374   maxlim: 648   bits: 10/10
5.09/5.19	c ---[ 307]---> Adder-cost: 372   maxlim: 647   bits: 10/10
5.09/5.19	c ---[ 306]---> Adder-cost: 358   maxlim: 645   bits: 10/10
5.19/5.20	c ---[ 305]---> Adder-cost: 358   maxlim: 645   bits: 10/10
5.19/5.21	c ---[ 304]---> Adder-cost: 358   maxlim: 645   bits: 10/10
5.19/5.21	c ---[ 303]---> Adder-cost: 358   maxlim: 645   bits: 10/10
5.19/5.22	c ---[ 302]---> Adder-cost: 358   maxlim: 645   bits: 10/10
5.19/5.22	c ---[ 301]---> Adder-cost: 358   maxlim: 645   bits: 10/10
5.19/5.23	c ---[ 300]---> Adder-cost: 358   maxlim: 645   bits: 10/10
5.19/5.23	c ---[ 299]---> Adder-cost: 346   maxlim: 641   bits: 10/10
5.19/5.24	c ---[ 298]---> Adder-cost: 346   maxlim: 641   bits: 10/10
5.19/5.24	c ---[ 297]---> Adder-cost: 346   maxlim: 641   bits: 10/10
5.19/5.25	c ---[ 296]---> Adder-cost: 340   maxlim: 631   bits: 10/10
5.19/5.25	c ---[ 295]---> Adder-cost: 340   maxlim: 631   bits: 10/10
5.19/5.26	c ---[ 294]---> Adder-cost: 340   maxlim: 631   bits: 10/10
5.19/5.26	c ---[ 293]---> Adder-cost: 344   maxlim: 621   bits: 10/10
5.19/5.27	c ---[ 292]---> Adder-cost: 332   maxlim: 620   bits: 10/10
5.19/5.27	c ---[ 291]---> Adder-cost: 332   maxlim: 620   bits: 10/10
5.19/5.28	c ---[ 290]---> Adder-cost: 332   maxlim: 620   bits: 10/10
5.19/5.28	c ---[ 289]---> Adder-cost: 324   maxlim: 610   bits: 10/10
5.19/5.29	c ---[ 288]---> Adder-cost: 324   maxlim: 610   bits: 10/10
5.19/5.29	c ---[ 287]---> Adder-cost: 322   maxlim: 601   bits: 10/10
5.29/5.30	c ---[ 286]---> Adder-cost: 330   maxlim: 593   bits: 10/10
5.29/5.30	c ---[ 285]---> Adder-cost: 340   maxlim: 582   bits: 10/10
5.29/5.31	c ---[ 284]---> Adder-cost: 328   maxlim: 576   bits: 10/10
5.29/5.31	c ---[ 283]---> Adder-cost: 310   maxlim: 566   bits: 10/10
5.29/5.32	c ---[ 282]---> Adder-cost: 330   maxlim: 559   bits: 10/10
5.29/5.32	c ---[ 281]---> Adder-cost: 330   maxlim: 559   bits: 10/10
5.29/5.33	c ---[ 280]---> Adder-cost: 330   maxlim: 559   bits: 10/10
5.29/5.33	c ---[ 279]---> Adder-cost: 298   maxlim: 535   bits: 10/10
5.29/5.34	c ---[ 278]---> Adder-cost: 298   maxlim: 535   bits: 10/10
5.29/5.34	c ---[ 277]---> Adder-cost: 292   maxlim: 505   bits: 10/9
5.29/5.34	c ---[ 276]---> Adder-cost: 246   maxlim: 486   bits: 9/9
5.29/5.35	c ---[ 275]---> Adder-cost: 258   maxlim: 477   bits: 9/9
5.29/5.35	c ---[ 274]---> Adder-cost: 254   maxlim: 449   bits: 9/9
5.29/5.36	c ---[ 273]---> Adder-cost: 254   maxlim: 449   bits: 9/9
5.29/5.36	c ---[ 272]---> Adder-cost: 248   maxlim: 442   bits: 9/9
5.29/5.36	c ---[ 271]---> Adder-cost: 236   maxlim: 417   bits: 9/9
5.29/5.37	c ---[ 270]---> Adder-cost: 214   maxlim: 387   bits: 9/9
5.29/5.37	c ---[ 269]---> Adder-cost: 212   maxlim: 370   bits: 9/9
5.29/5.37	c ---[ 268]---> Adder-cost: 212   maxlim: 370   bits: 9/9
5.29/5.38	c ---[ 267]---> Adder-cost: 182   maxlim: 352   bits: 9/9
5.29/5.38	c ---[ 266]---> Adder-cost: 182   maxlim: 340   bits: 9/9
5.29/5.38	c ---[ 265]---> Adder-cost: 182   maxlim: 340   bits: 9/9
5.29/5.38	c ---[ 264]---> Adder-cost: 188   maxlim: 336   bits: 9/9
5.29/5.39	c ---[ 263]---> Adder-cost: 182   maxlim: 316   bits: 9/9
5.29/5.39	c ---[ 262]---> Adder-cost: 160   maxlim: 289   bits: 9/9
5.29/5.39	c ---[ 261]---> Adder-cost: 156   maxlim: 275   bits: 9/9
5.29/5.39	c ---[ 260]---> Adder-cost: 142   maxlim: 249   bits: 9/8
5.39/5.40	c ---[ 259]---> Adder-cost: 142   maxlim: 249   bits: 9/8
5.39/5.40	c ---[ 258]---> Adder-cost: 138   maxlim: 246   bits: 9/8
5.39/5.40	c ---[ 257]---> Adder-cost: 138   maxlim: 240   bits: 9/8
5.39/5.40	c ---[ 256]---> Sorter-cost: 1352     Base: 2 2 2
5.39/5.40	c ---[ 255]---> Sorter-cost: 1116     Base: 2 2 2
5.39/5.41	c ---[ 254]---> Adder-cost: 98   maxlim: 186   bits: 8/8
5.39/5.41	c ---[ 253]---> Sorter-cost:  832     Base: 2 2 2
5.39/5.41	c ---[ 252]---> Sorter-cost:  696     Base: 2 2 2
5.39/5.41	c ---[ 251]---> Sorter-cost:  696     Base: 2 2 2
5.39/5.41	c ---[ 250]---> Sorter-cost:  628     Base: 2 2 2
5.39/5.41	c ---[ 249]---> Sorter-cost:  628     Base: 2 2 2
5.39/5.41	c ---[ 248]---> Sorter-cost:  560     Base: 2 2 2
5.39/5.41	c ---[ 247]---> Sorter-cost:  560     Base: 2 2 2
5.39/5.42	c ---[ 246]---> BDD-cost:  105
5.39/5.42	c ---[ 245]---> BDD-cost:   95
5.39/5.42	c ---[ 244]---> BDD-cost:   76
5.39/5.42	c ---[ 243]---> BDD-cost:   76
5.39/5.42	c ---[ 242]---> BDD-cost:   76
5.39/5.42	c ---[ 241]---> BDD-cost:   55
5.39/5.42	c ---[ 240]---> BDD-cost:   48
5.39/5.42	c ---[ 239]---> BDD-cost:   48
5.39/5.42	c ---[ 238]---> BDD-cost:   21
5.39/5.42	c ---[ 237]---> BDD-cost:    6
5.39/5.42	c ---[ 235]---> BDD-cost:    0
5.39/5.42	c ---[ 234]---> BDD-cost:    0
5.39/5.42	c ---[ 233]---> BDD-cost:    0
5.39/5.42	c ---[ 232]---> BDD-cost:   11
5.39/5.42	c ---[ 231]---> BDD-cost:   22
5.39/5.42	c ---[ 230]---> BDD-cost:   22
5.39/5.42	c ---[ 229]---> BDD-cost:   22
5.39/5.42	c ---[ 228]---> BDD-cost:   51
5.39/5.42	c ---[ 227]---> Sorter-cost:  249     Base: 2 2 2
5.39/5.42	c ---[ 226]---> Sorter-cost:  249     Base: 2 2 2
5.39/5.42	c ---[ 225]---> Sorter-cost:  293     Base: 2 2 2
5.39/5.42	c ---[ 224]---> Sorter-cost:  293     Base: 2 2 2
5.39/5.42	c ---[ 223]---> Sorter-cost:  301     Base: 2 2 2
5.39/5.42	c ---[ 222]---> Sorter-cost:  785     Base: 7
5.39/5.42	c ---[ 221]---> Sorter-cost:  785     Base: 7
5.39/5.42	c ---[ 220]---> Sorter-cost:  785     Base: 7
5.39/5.42	c ---[ 219]---> Sorter-cost:  822     Base: 3 2
5.39/5.43	c ---[ 218]---> Sorter-cost:  883     Base: 3 2
5.39/5.43	c ---[ 217]---> Sorter-cost:  883     Base: 3 2
5.39/5.43	c ---[ 216]---> Sorter-cost:  986     Base: 3 2
5.39/5.43	c ---[ 215]---> Sorter-cost:  986     Base: 3 2
5.39/5.43	c ---[ 214]---> Adder-cost: 114   maxlim: 180   bits: 8/8
5.39/5.43	c ---[ 213]---> Sorter-cost: 1203     Base: 3 2
5.39/5.43	c ---[ 212]---> Sorter-cost: 1219     Base: 3 2
5.39/5.44	c ---[ 211]---> Adder-cost: 140   maxlim: 242   bits: 9/8
5.39/5.44	c ---[ 210]---> Adder-cost: 144   maxlim: 261   bits: 9/9
5.39/5.44	c ---[ 209]---> Adder-cost: 156   maxlim: 272   bits: 9/9
5.39/5.44	c ---[ 208]---> Adder-cost: 178   maxlim: 303   bits: 9/9
5.39/5.45	c ---[ 207]---> Adder-cost: 170   maxlim: 308   bits: 9/9
5.39/5.45	c ---[ 206]---> Adder-cost: 170   maxlim: 308   bits: 9/9
5.39/5.45	c ---[ 205]---> Adder-cost: 192   maxlim: 333   bits: 9/9
5.39/5.45	c ---[ 204]---> Adder-cost: 192   maxlim: 333   bits: 9/9
5.39/5.46	c ---[ 203]---> Adder-cost: 200   maxlim: 355   bits: 9/9
5.39/5.46	c ---[ 202]---> Adder-cost: 198   maxlim: 359   bits: 9/9
5.39/5.46	c ---[ 201]---> Adder-cost: 198   maxlim: 359   bits: 9/9
5.39/5.46	c ---[ 200]---> Adder-cost: 200   maxlim: 362   bits: 9/9
5.39/5.47	c ---[ 199]---> Adder-cost: 212   maxlim: 371   bits: 9/9
5.39/5.47	c ---[ 198]---> Adder-cost: 212   maxlim: 384   bits: 9/9
5.39/5.47	c ---[ 197]---> Adder-cost: 218   maxlim: 395   bits: 9/9
5.39/5.48	c ---[ 196]---> Adder-cost: 244   maxlim: 415   bits: 9/9
5.39/5.48	c ---[ 195]---> Adder-cost: 244   maxlim: 415   bits: 9/9
5.39/5.48	c ---[ 194]---> Adder-cost: 244   maxlim: 415   bits: 9/9
5.39/5.49	c ---[ 193]---> Adder-cost: 252   maxlim: 429   bits: 9/9
5.39/5.49	c ---[ 192]---> Adder-cost: 234   maxlim: 433   bits: 9/9
5.39/5.49	c ---[ 191]---> Adder-cost: 242   maxlim: 448   bits: 9/9
5.39/5.50	c ---[ 190]---> Adder-cost: 242   maxlim: 448   bits: 9/9
5.39/5.50	c ---[ 189]---> Adder-cost: 262   maxlim: 450   bits: 9/9
5.49/5.51	c ---[ 188]---> Adder-cost: 262   maxlim: 450   bits: 9/9
5.49/5.51	c ---[ 187]---> Adder-cost: 252   maxlim: 462   bits: 9/9
5.49/5.51	c ---[ 186]---> Adder-cost: 268   maxlim: 480   bits: 9/9
5.49/5.52	c ---[ 185]---> Adder-cost: 280   maxlim: 486   bits: 9/9
5.49/5.52	c ---[ 184]---> Adder-cost: 290   maxlim: 496   bits: 10/9
5.49/5.53	c ---[ 183]---> Adder-cost: 290   maxlim: 496   bits: 10/9
5.49/5.53	c ---[ 182]---> Adder-cost: 290   maxlim: 496   bits: 10/9
5.49/5.53	c ---[ 181]---> Adder-cost: 290   maxlim: 496   bits: 10/9
5.49/5.54	c ---[ 180]---> Adder-cost: 290   maxlim: 510   bits: 10/9
5.49/5.54	c ---[ 179]---> Adder-cost: 290   maxlim: 510   bits: 10/9
5.49/5.55	c ---[ 178]---> Adder-cost: 290   maxlim: 510   bits: 10/9
5.49/5.55	c ---[ 177]---> Adder-cost: 300   maxlim: 516   bits: 10/10
5.49/5.55	c ---[ 176]---> Adder-cost: 302   maxlim: 540   bits: 10/10
5.49/5.56	c ---[ 175]---> Adder-cost: 314   maxlim: 571   bits: 10/10
5.49/5.56	c ---[ 174]---> Adder-cost: 314   maxlim: 571   bits: 10/10
5.49/5.57	c ---[ 173]---> Adder-cost: 316   maxlim: 577   bits: 10/10
5.49/5.57	c ---[ 172]---> Adder-cost: 316   maxlim: 577   bits: 10/10
5.49/5.58	c ---[ 171]---> Adder-cost: 316   maxlim: 577   bits: 10/10
5.49/5.58	c ---[ 170]---> Adder-cost: 306   maxlim: 587   bits: 10/10
5.49/5.59	c ---[ 169]---> Adder-cost: 314   maxlim: 593   bits: 10/10
5.49/5.59	c ---[ 168]---> Adder-cost: 330   maxlim: 611   bits: 10/10
5.49/5.59	c ---[ 167]---> Adder-cost: 330   maxlim: 611   bits: 10/10
5.49/5.60	c ---[ 166]---> Adder-cost: 348   maxlim: 613   bits: 10/10
5.59/5.60	c ---[ 165]---> Adder-cost: 348   maxlim: 613   bits: 10/10
5.59/5.61	c ---[ 164]---> Adder-cost: 350   maxlim: 633   bits: 10/10
5.59/5.61	c ---[ 163]---> Adder-cost: 362   maxlim: 640   bits: 10/10
5.59/5.62	c ---[ 162]---> Adder-cost: 362   maxlim: 640   bits: 10/10
5.59/5.62	c ---[ 161]---> Adder-cost: 362   maxlim: 650   bits: 10/10
5.59/5.63	c ---[ 160]---> Adder-cost: 374   maxlim: 663   bits: 10/10
5.59/5.63	c ---[ 159]---> Adder-cost: 374   maxlim: 663   bits: 10/10
5.59/5.64	c ---[ 158]---> Adder-cost: 360   maxlim: 668   bits: 10/10
5.59/5.64	c ---[ 157]---> Adder-cost: 360   maxlim: 668   bits: 10/10
5.59/5.65	c ---[ 156]---> Adder-cost: 360   maxlim: 678   bits: 10/10
5.59/5.66	c ---[ 155]---> Adder-cost: 360   maxlim: 678   bits: 10/10
5.59/5.66	c ---[ 154]---> Adder-cost: 360   maxlim: 678   bits: 10/10
5.59/5.67	c ---[ 153]---> Adder-cost: 384   maxlim: 683   bits: 10/10
5.59/5.67	c ---[ 152]---> Adder-cost: 384   maxlim: 683   bits: 10/10
5.59/5.68	c ---[ 151]---> Adder-cost: 384   maxlim: 683   bits: 10/10
5.59/5.68	c ---[ 150]---> Adder-cost: 384   maxlim: 683   bits: 10/10
5.59/5.69	c ---[ 149]---> Adder-cost: 384   maxlim: 683   bits: 10/10
5.59/5.69	c ---[ 148]---> Adder-cost: 394   maxlim: 693   bits: 10/10
5.69/5.70	c ---[ 147]---> Adder-cost: 394   maxlim: 693   bits: 10/10
5.69/5.70	c ---[ 146]---> Adder-cost: 394   maxlim: 693   bits: 10/10
5.69/5.71	c ---[ 145]---> Adder-cost: 388   maxlim: 702   bits: 10/10
5.69/5.71	c ---[ 144]---> Adder-cost: 388   maxlim: 710   bits: 10/10
5.69/5.72	c ---[ 143]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.69/5.73	c ---[ 142]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.69/5.73	c ---[ 141]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.69/5.74	c ---[ 140]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.69/5.74	c ---[ 139]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.69/5.75	c ---[ 138]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.69/5.75	c ---[ 137]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.69/5.76	c ---[ 136]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.69/5.77	c ---[ 135]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.69/5.77	c ---[ 134]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.69/5.78	c ---[ 133]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.69/5.78	c ---[ 132]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.69/5.79	c ---[ 131]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.69/5.79	c ---[ 130]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.79/5.80	c ---[ 129]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.79/5.81	c ---[ 128]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.79/5.81	c ---[ 127]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.79/5.82	c ---[ 126]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.79/5.82	c ---[ 125]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.79/5.83	c ---[ 124]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.79/5.83	c ---[ 123]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.79/5.84	c ---[ 122]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.79/5.85	c ---[ 121]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.79/5.85	c ---[ 120]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.79/5.86	c ---[ 119]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.79/5.86	c ---[ 118]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.79/5.87	c ---[ 117]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.79/5.87	c ---[ 116]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.79/5.88	c ---[ 115]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.79/5.89	c ---[ 114]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.79/5.89	c ---[ 113]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.89/5.90	c ---[ 112]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.89/5.90	c ---[ 111]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.89/5.91	c ---[ 110]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.89/5.91	c ---[ 109]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.89/5.92	c ---[ 108]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.89/5.93	c ---[ 107]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.89/5.93	c ---[ 106]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.89/5.94	c ---[ 105]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.89/5.94	c ---[ 104]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.89/5.95	c ---[ 103]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.89/5.95	c ---[ 102]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.89/5.96	c ---[ 101]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.89/5.97	c ---[ 100]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.89/5.97	c ---[  99]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.89/5.98	c ---[  98]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.89/5.98	c ---[  97]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.89/5.99	c ---[  96]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.89/5.99	c ---[  95]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.99/6.00	c ---[  94]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.99/6.01	c ---[  93]---> Adder-cost: 398   maxlim: 717   bits: 10/10
5.99/6.01	c ---[  92]---> Adder-cost: 390   maxlim: 707   bits: 10/10
5.99/6.02	c ---[  91]---> Adder-cost: 390   maxlim: 707   bits: 10/10
5.99/6.02	c ---[  90]---> Adder-cost: 390   maxlim: 707   bits: 10/10
5.99/6.03	c ---[  89]---> Adder-cost: 390   maxlim: 707   bits: 10/10
5.99/6.03	c ---[  88]---> Adder-cost: 390   maxlim: 707   bits: 10/10
5.99/6.04	c ---[  87]---> Adder-cost: 396   maxlim: 699   bits: 10/10
5.99/6.04	c ---[  86]---> Adder-cost: 396   maxlim: 699   bits: 10/10
5.99/6.05	c ---[  85]---> Adder-cost: 396   maxlim: 699   bits: 10/10
5.99/6.06	c ---[  84]---> Adder-cost: 396   maxlim: 699   bits: 10/10
5.99/6.06	c ---[  83]---> Adder-cost: 396   maxlim: 699   bits: 10/10
5.99/6.07	c ---[  82]---> Adder-cost: 396   maxlim: 699   bits: 10/10
5.99/6.07	c ---[  81]---> Adder-cost: 396   maxlim: 699   bits: 10/10
5.99/6.08	c ---[  80]---> Adder-cost: 382   maxlim: 692   bits: 10/10
5.99/6.08	c ---[  79]---> Adder-cost: 378   maxlim: 689   bits: 10/10
5.99/6.09	c ---[  78]---> Adder-cost: 378   maxlim: 689   bits: 10/10
5.99/6.09	c ---[  77]---> Adder-cost: 378   maxlim: 689   bits: 10/10
6.09/6.10	c ---[  76]---> Adder-cost: 378   maxlim: 685   bits: 10/10
6.09/6.10	c ---[  75]---> Adder-cost: 378   maxlim: 685   bits: 10/10
6.09/6.11	c ---[  74]---> Adder-cost: 378   maxlim: 685   bits: 10/10
6.09/6.12	c ---[  73]---> Adder-cost: 374   maxlim: 677   bits: 10/10
6.09/6.12	c ---[  72]---> Adder-cost: 374   maxlim: 677   bits: 10/10
6.09/6.13	c ---[  71]---> Adder-cost: 372   maxlim: 667   bits: 10/10
6.09/6.13	c ---[  70]---> Adder-cost: 364   maxlim: 666   bits: 10/10
6.09/6.14	c ---[  69]---> Adder-cost: 364   maxlim: 666   bits: 10/10
6.09/6.14	c ---[  68]---> Adder-cost: 364   maxlim: 666   bits: 10/10
6.09/6.15	c ---[  67]---> Adder-cost: 364   maxlim: 666   bits: 10/10
6.09/6.15	c ---[  66]---> Adder-cost: 364   maxlim: 666   bits: 10/10
6.09/6.16	c ---[  65]---> Adder-cost: 364   maxlim: 666   bits: 10/10
6.09/6.16	c ---[  64]---> Adder-cost: 364   maxlim: 666   bits: 10/10
6.09/6.17	c ---[  63]---> Adder-cost: 364   maxlim: 656   bits: 10/10
6.09/6.18	c ---[  62]---> Adder-cost: 364   maxlim: 656   bits: 10/10
6.09/6.18	c ---[  61]---> Adder-cost: 364   maxlim: 656   bits: 10/10
6.09/6.19	c ---[  60]---> Adder-cost: 346   maxlim: 650   bits: 10/10
6.09/6.19	c ---[  59]---> Adder-cost: 346   maxlim: 650   bits: 10/10
6.19/6.20	c ---[  58]---> Adder-cost: 346   maxlim: 650   bits: 10/10
6.19/6.20	c ---[  57]---> Adder-cost: 362   maxlim: 644   bits: 10/10
6.19/6.21	c ---[  56]---> Adder-cost: 354   maxlim: 640   bits: 10/10
6.19/6.21	c ---[  55]---> Adder-cost: 354   maxlim: 640   bits: 10/10
6.19/6.25	c ---[  54]---> Adder-cost: 354   maxlim: 640   bits: 10/10
6.19/6.25	c ---[  53]---> Adder-cost: 348   maxlim: 632   bits: 10/10
6.19/6.26	c ---[  52]---> Adder-cost: 348   maxlim: 632   bits: 10/10
6.19/6.26	c ---[  51]---> Adder-cost: 360   maxlim: 626   bits: 10/10
6.19/6.27	c ---[  50]---> Adder-cost: 354   maxlim: 624   bits: 10/10
6.19/6.27	c ---[  49]---> Adder-cost: 304   maxlim: 614   bits: 10/10
6.19/6.28	c ---[  48]---> Adder-cost: 300   maxlim: 598   bits: 10/10
6.19/6.28	c ---[  47]---> Adder-cost: 310   maxlim: 579   bits: 10/10
6.19/6.29	c ---[  46]---> Adder-cost: 286   maxlim: 566   bits: 10/10
6.19/6.29	c ---[  45]---> Adder-cost: 286   maxlim: 566   bits: 10/10
6.28/6.30	c ---[  44]---> Adder-cost: 286   maxlim: 566   bits: 10/10
6.28/6.30	c ---[  43]---> Adder-cost: 284   maxlim: 552   bits: 10/10
6.28/6.31	c ---[  42]---> Adder-cost: 284   maxlim: 552   bits: 10/10
6.28/6.31	c ---[  41]---> Adder-cost: 294   maxlim: 524   bits: 10/10
6.28/6.31	c ---[  40]---> Adder-cost: 286   maxlim: 506   bits: 10/9
6.28/6.32	c ---[  39]---> Adder-cost: 248   maxlim: 477   bits: 9/9
6.28/6.32	c ---[  38]---> Adder-cost: 250   maxlim: 453   bits: 9/9
6.28/6.33	c ---[  37]---> Adder-cost: 250   maxlim: 453   bits: 9/9
6.28/6.33	c ---[  36]---> Adder-cost: 244   maxlim: 448   bits: 9/9
6.28/6.33	c ---[  35]---> Adder-cost: 236   maxlim: 436   bits: 9/9
6.28/6.34	c ---[  34]---> Adder-cost: 220   maxlim: 408   bits: 9/9
6.28/6.34	c ---[  33]---> Adder-cost: 212   maxlim: 367   bits: 9/9
6.28/6.34	c ---[  32]---> Adder-cost: 212   maxlim: 367   bits: 9/9
6.28/6.35	c ---[  31]---> Adder-cost: 194   maxlim: 348   bits: 9/9
6.28/6.35	c ---[  30]---> Adder-cost: 188   maxlim: 336   bits: 9/9
6.28/6.35	c ---[  29]---> Adder-cost: 188   maxlim: 336   bits: 9/9
6.28/6.35	c ---[  28]---> Adder-cost: 184   maxlim: 328   bits: 9/9
6.28/6.36	c ---[  27]---> Adder-cost: 176   maxlim: 308   bits: 9/9
6.28/6.36	c ---[  26]---> Adder-cost: 160   maxlim: 284   bits: 9/9
6.28/6.36	c ---[  25]---> Adder-cost: 166   maxlim: 270   bits: 9/9
6.28/6.36	c ---[  24]---> Adder-cost: 144   maxlim: 259   bits: 9/9
6.28/6.37	c ---[  23]---> Adder-cost: 144   maxlim: 259   bits: 9/9
6.28/6.37	c ---[  22]---> Adder-cost: 154   maxlim: 255   bits: 9/8
6.28/6.37	c ---[  21]---> Sorter-cost: 1561     Base: 2 3
6.28/6.37	c ---[  20]---> Adder-cost: 130   maxlim: 227   bits: 8/8
6.28/6.37	c ---[  19]---> Adder-cost: 118   maxlim: 208   bits: 8/8
6.28/6.38	c ---[  18]---> Adder-cost: 106   maxlim: 193   bits: 8/8
6.28/6.38	c ---[  17]---> Sorter-cost: 1071     Base: 2 3
6.28/6.38	c ---[  16]---> Sorter-cost:  925     Base: 2 3
6.28/6.38	c ---[  15]---> Sorter-cost:  925     Base: 2 3
6.28/6.38	c ---[  14]---> Sorter-cost:  731     Base: 2 3
6.28/6.38	c ---[  13]---> Sorter-cost:  731     Base: 2 3
6.28/6.38	c ---[  12]---> Sorter-cost:  702     Base: 2 3
6.28/6.39	c ---[  11]---> Sorter-cost:  702     Base: 2 3
6.28/6.39	c ---[  10]---> Sorter-cost:  561     Base: 2 3
6.28/6.39	c ---[   9]---> Sorter-cost:  526     Base: 2 3
6.28/6.39	c ---[   8]---> Sorter-cost:  385     Base: 2 3
6.28/6.39	c ---[   7]---> Sorter-cost:  385     Base: 2 3
6.28/6.39	c ---[   6]---> Sorter-cost:  385     Base: 2 3
6.28/6.39	c ---[   5]---> Sorter-cost:  305     Base: 2 2
6.28/6.39	c ---[   4]---> BDD-cost:   52
6.28/6.39	c ---[   3]---> BDD-cost:   52
6.28/6.39	c ---[   2]---> BDD-cost:   25
6.28/6.39	c ---[   1]---> BDD-cost:   14
6.28/6.39	c ---[   0]---> BDD-cost:    2
1800.05/1800.40	|  Eliminated clauses:           1.07 Mb                                      |
1800.05/1800.40	============================[ Search Statistics ]==============================
1800.05/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.05/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.05/1800.40	===============================================================================
1800.05/1800.40	|       100 |  297338  1808027  6124410 |   662943       95     10 | 11.435 % |
1800.05/1800.40	|       250 |  297321  1808027  6124410 |   729237      243     15 | 11.440 % |
1800.05/1800.40	|       475 |  297321  1808027  6124410 |   802161      468     11 | 11.440 % |
1800.05/1800.40	|       812 |  297304  1808027  6124410 |   882377      803     10 | 11.445 % |
1800.05/1800.40	|      1318 |  297304  1808027  6124410 |   970615     1294     15 | 11.445 % |
1800.05/1800.40	|      2077 |  297277  1808027  6124410 |  1067676     2050     22 | 11.452 % |
1800.05/1800.40	|      3216 |  297277  1808027  6124410 |  1174444     3189     21 | 11.452 % |
1800.05/1800.40	|      4924 |  297264  1808027  6124410 |  1291888     4895     21 | 11.456 % |
1800.05/1800.40	|      7486 |  297236  1808027  6124410 |  1421077     7435     24 | 11.463 % |
1800.05/1800.40	|     11330 |  297193  1808027  6124410 |  1563185    11268     25 | 11.475 % |
1800.05/1800.40	|     17096 |  297170  1808027  6124410 |  1719504    17026     27 | 11.481 % |
1800.05/1800.40	|     25745 |  297122  1808027  6124410 |  1891454    25648     30 | 11.494 % |
1800.05/1800.40	|     38719 |  297058  1808027  6124410 |  2080599    38584     30 | 11.512 % |
1800.05/1800.40	|     58180 |  296973  1808027  6124410 |  2288659    57959     32 | 11.535 % |
1800.05/1800.40	|     87372 |  296702  1808027  6124410 |  2517525    86940     34 | 11.609 % |
1800.05/1800.40	|    131161 |  296524  1808027  6124410 |  2769278   130614     36 | 11.657 % |
1800.05/1800.40	|    196845 |  296105  1808027  6124410 |  3046206   196007     37 | 11.772 % |
1800.05/1800.40	|    295371 |  295630  1808027  6124410 |  3350826   293550     40 | 11.901 % |
1800.05/1800.40	|    443160 |  294758  1808027  6124410 |  3685909   440718     42 | 12.139 % |
1800.05/1800.40	|    664843 |  293827  1808027  6124410 |  4054500   661335     48 | 12.393 % |
1800.05/1800.40	|    997368 |  292465  1808027  6124410 |  4459950   992315     57 | 12.765 % |
1800.05/1800.40	|   1496156 |  290656  1808027  6124410 |  4905945  1489055     70 | 13.259 % |
1800.05/1800.40	|   2244338 |  289134  1808027  6124410 |  5396540  2234366    105 | 13.674 % |
1800.05/1800.40	c 
1800.05/1800.40	c *** TERMINATED ***
1800.05/1800.40	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4113772-1466592429/watcher-4113772-1466592429 -o /tmp/evaluation-result-4113772-1466592429/solver-4113772-1466592429 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466586446-15023 --watchdog 1960 minisatp HOME/instance-4113772-1466592429.opb 

pid=16353
running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.09 2.21 2.18 3/176 16356
/proc/meminfo: memFree=30136036/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=6708 CPUtime=0 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 368 0 0 0 0 0 0 0 20 0 1 0 61291327 6868992 245 33554432000 4194304 5646918 140737152782352 140733245543560 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 1677 245 97 355 0 1318 0

[startup+0.100165 s]
/proc/loadavg: 2.09 2.21 2.18 3/176 16356
/proc/meminfo: memFree=30136036/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=13992 CPUtime=0.09 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 2182 0 0 0 9 0 0 0 20 0 1 0 61291327 14327808 2059 33554432000 4194304 5646918 140737152782352 140733245543560 4953072 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 3498 2059 97 355 0 3139 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13992

[startup+0.200343 s]
/proc/loadavg: 2.09 2.21 2.18 3/176 16356
/proc/meminfo: memFree=30136036/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=22472 CPUtime=0.19 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 4210 0 0 0 18 1 0 0 20 0 1 0 61291327 23011328 4046 33554432000 4194304 5646918 140737152782352 140733245543560 4893616 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 5618 4068 97 355 0 5259 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 22472

[startup+0.300339 s]
/proc/loadavg: 2.09 2.21 2.18 3/176 16356
/proc/meminfo: memFree=30136036/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=30332 CPUtime=0.29 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 6155 0 0 0 28 1 0 0 20 0 1 0 61291327 31059968 5907 33554432000 4194304 5646918 140737152782352 140733245543560 4251039 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 7583 5908 97 355 0 7224 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30332

[startup+0.700272 s]
/proc/loadavg: 2.09 2.21 2.18 3/176 16356
/proc/meminfo: memFree=30136036/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=53704 CPUtime=0.69 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 11994 0 0 0 67 2 0 0 20 0 1 0 61291327 54992896 11746 33554432000 4194304 5646918 140737152782352 140737152781720 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 13426 11747 97 355 0 13067 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 53704

[startup+1.50028 s]
/proc/loadavg: 2.09 2.21 2.18 3/177 16357
/proc/meminfo: memFree=30066860/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=102808 CPUtime=1.48 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 24249 0 0 0 143 5 0 0 20 0 1 0 61291327 105275392 23825 33554432000 4194304 5646918 140737152782352 140737152781608 4826286 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 25702 23826 97 355 0 25343 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 102808

[startup+3.10012 s]
/proc/loadavg: 2.09 2.21 2.18 3/177 16357
/proc/meminfo: memFree=30010324/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=149536 CPUtime=3.09 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 36746 0 0 0 295 14 0 0 20 0 1 0 61291327 153124864 36344 33554432000 4194304 5646918 140737152782352 140737152781016 4560508 0 0 4096 16386 0 0 0 17 7 0 0 0 0 0
/proc/16356/statm: 37384 36344 154 355 0 37025 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 149536

[startup+6.30024 s]
/proc/loadavg: 2.08 2.21 2.18 3/177 16357
/proc/meminfo: memFree=29979780/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=169820 CPUtime=6.28 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 40404 0 0 0 613 15 0 0 20 0 1 0 61291327 173895680 41091 33554432000 4194304 5646918 140737152782352 140737152781016 4478640 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/16356/statm: 42455 41091 154 355 0 42096 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 169820

[startup+12.7003 s]
/proc/loadavg: 2.08 2.21 2.18 3/177 16357
/proc/meminfo: memFree=29858120/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=293776 CPUtime=12.68 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 58095 0 0 0 1249 19 0 0 20 0 1 0 61291327 300826624 70050 33554432000 4194304 5646918 140737152782352 140737152780456 4403488 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/16356/statm: 73444 70050 183 355 0 73085 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 293776

[startup+25.5004 s]
/proc/loadavg: 2.13 2.21 2.18 3/177 16357
/proc/meminfo: memFree=29850436/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=296588 CPUtime=25.48 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 59053 0 0 0 2529 19 0 0 20 0 1 0 61291327 303706112 71519 33554432000 4194304 5646918 140737152782352 140737152780456 4402853 0 0 4096 16386 0 0 0 17 1 0 0 0 0 0
/proc/16356/statm: 74147 71519 183 355 0 73788 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 296588

[startup+51.1004 s]
/proc/loadavg: 2.09 2.19 2.17 4/177 16357
/proc/meminfo: memFree=29839396/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=332616 CPUtime=51.08 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 60679 0 0 0 5088 20 0 0 20 0 1 0 61291327 340598784 74151 33554432000 4194304 5646918 140737152782352 140737152780456 4403454 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 83154 74151 183 355 0 82795 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 332616

[startup+102.3 s]
/proc/loadavg: 2.25 2.22 2.18 3/177 16414
/proc/meminfo: memFree=29791092/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=339124 CPUtime=102.28 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 62360 0 0 0 10207 21 0 0 20 0 1 0 61291327 347262976 78898 33554432000 4194304 5646918 140737152782352 140737152780456 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 84781 78898 183 355 0 84422 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 339124

[startup+162.3 s]
/proc/loadavg: 2.25 2.22 2.18 3/177 16415
/proc/meminfo: memFree=29727924/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=396148 CPUtime=162.26 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 64730 0 0 0 16204 22 0 0 20 0 1 0 61291327 405655552 86372 33554432000 4194304 5646918 140737152782352 140737152780456 4402627 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 99037 86372 183 355 0 98678 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 396148

[startup+222.307 s]
/proc/loadavg: 2.29 2.24 2.19 3/178 16419
/proc/meminfo: memFree=29658548/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=403152 CPUtime=222.26 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 66267 0 0 0 22204 22 0 0 20 0 1 0 61291327 412827648 93019 33554432000 4194304 5646918 140737152782352 140737152780456 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 100788 93019 183 355 0 100429 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 403152

[startup+282.3 s]
/proc/loadavg: 2.21 2.23 2.18 3/177 16420
/proc/meminfo: memFree=29593292/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=491144 CPUtime=282.25 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 68367 0 0 0 28202 23 0 0 20 0 1 0 61291327 502931456 101753 33554432000 4194304 5646918 140737152782352 140737152780456 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 122786 101753 183 355 0 122427 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 491144

[startup+342.3 s]
/proc/loadavg: 2.18 2.21 2.18 4/177 16422
/proc/meminfo: memFree=29528064/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=494880 CPUtime=342.23 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 69639 0 0 0 34200 23 0 0 20 0 1 0 61291327 506757120 109157 33554432000 4194304 5646918 140737152782352 140737152780456 4402684 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 123720 109157 183 355 0 123361 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 494880

[startup+402.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/177 16423
/proc/meminfo: memFree=29458364/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=501720 CPUtime=402.23 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 70538 0 0 0 40199 24 0 0 20 0 1 0 61291327 513761280 118743 33554432000 4194304 5646918 140737152782352 140737152780456 4402974 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 125430 118743 183 355 0 125071 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 501720

[startup+462.3 s]
/proc/loadavg: 2.13 2.19 2.17 3/177 16424
/proc/meminfo: memFree=29385152/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=637964 CPUtime=462.21 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 72291 0 0 0 46197 24 0 0 20 0 1 0 61291327 653275136 126107 33554432000 4194304 5646918 140737152782352 140737152780456 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 159491 126107 183 355 0 159132 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 637964

[startup+522.3 s]
/proc/loadavg: 2.15 2.18 2.17 3/177 16425
/proc/meminfo: memFree=29308828/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=641844 CPUtime=522.21 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 73356 0 0 0 52196 25 0 0 20 0 1 0 61291327 657248256 133815 33554432000 4194304 5646918 140737152782352 140737152780456 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 160461 133815 183 355 0 160102 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 641844

[startup+582.3 s]
/proc/loadavg: 2.16 2.18 2.17 4/177 16426
/proc/meminfo: memFree=29236348/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=648244 CPUtime=582.19 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 74283 0 0 0 58194 25 0 0 20 0 1 0 61291327 663801856 144451 33554432000 4194304 5646918 140737152782352 140737152780456 4400001 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 162061 144451 183 355 0 161702 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 648244


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


[startup+882.307 s]
/proc/loadavg: 2.16 2.17 2.17 3/178 16458
/proc/meminfo: memFree=28880280/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=889128 CPUtime=882.1 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 79260 0 0 0 88179 31 0 0 20 0 1 0 61291327 910467072 193622 33554432000 4194304 5646918 140737152782352 140737152780648 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 222282 193622 183 355 0 221923 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 889128

[startup+942.3 s]
/proc/loadavg: 2.30 2.20 2.18 3/177 16460
/proc/meminfo: memFree=28817924/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=889128 CPUtime=942.08 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 79387 0 0 0 94177 31 0 0 20 0 1 0 61291327 910467072 202436 33554432000 4194304 5646918 140737152782352 140737152780648 4403495 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 222282 202436 183 355 0 221923 0
Current children cumulated CPU time (s) 942.08
Current children cumulated vsize (KiB) 889128

[startup+1002.3 s]
/proc/loadavg: 2.15 2.18 2.18 3/177 16461
/proc/meminfo: memFree=28725140/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=891424 CPUtime=1002.08 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 80111 0 0 0 100175 33 0 0 20 0 1 0 61291327 912818176 218490 33554432000 4194304 5646918 140737152782352 140737152780456 4402736 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 222856 218490 183 355 0 222497 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 891424

[startup+1062.3 s]
/proc/loadavg: 2.29 2.20 2.19 3/177 16462
/proc/meminfo: memFree=28657624/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=1244356 CPUtime=1062.07 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 81619 0 0 0 106173 34 0 0 20 0 1 0 61291327 1274220544 227657 33554432000 4194304 5646918 140737152782352 140737152780456 4403043 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 311089 227657 183 355 0 310730 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 1244356

[startup+1122.3 s]
/proc/loadavg: 2.16 2.18 2.18 3/177 16463
/proc/meminfo: memFree=28593012/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=1246840 CPUtime=1122.05 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 82470 0 0 0 112170 35 0 0 20 0 1 0 61291327 1276764160 237706 33554432000 4194304 5646918 140737152782352 140737152780456 4399282 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 311710 237706 183 355 0 311351 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 1246840

[startup+1182.3 s]
/proc/loadavg: 2.10 2.16 2.17 3/177 16464
/proc/meminfo: memFree=28529420/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=1250244 CPUtime=1182.05 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 83353 0 0 0 118169 36 0 0 20 0 1 0 61291327 1280249856 247786 33554432000 4194304 5646918 140737152782352 140737152780456 4403215 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 312561 247786 183 355 0 312202 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 1250244

[startup+1242.3 s]
/proc/loadavg: 2.31 2.20 2.19 3/177 16466
/proc/meminfo: memFree=28444416/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=1252820 CPUtime=1242.03 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 84091 0 0 0 124166 37 0 0 20 0 1 0 61291327 1282887680 261299 33554432000 4194304 5646918 140737152782352 140737152780456 4402764 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 313205 261299 183 355 0 312846 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 1252820

[startup+1302.3 s]
/proc/loadavg: 2.24 2.20 2.18 3/177 16467
/proc/meminfo: memFree=28366964/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=1255616 CPUtime=1302.03 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 84959 0 0 0 130165 38 0 0 20 0 1 0 61291327 1285750784 270854 33554432000 4194304 5646918 140737152782352 140737152780456 4402684 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 313904 270854 183 355 0 313545 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 1255616

[startup+1362.3 s]
/proc/loadavg: 2.17 2.19 2.18 3/177 16468
/proc/meminfo: memFree=28291304/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=1258476 CPUtime=1362.02 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 85736 0 0 0 136163 39 0 0 20 0 1 0 61291327 1288679424 279807 33554432000 4194304 5646918 140737152782352 140737152780456 4397445 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 314619 279807 183 355 0 314260 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 1258476

[startup+1422.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/178 16472
/proc/meminfo: memFree=28206060/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=1261252 CPUtime=1422.01 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 86342 0 0 0 142161 40 0 0 20 0 1 0 61291327 1291522048 292677 33554432000 4194304 5646918 140737152782352 140737152780456 4403488 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 315313 292677 183 355 0 314954 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 1261252

[startup+1482.3 s]
/proc/loadavg: 2.28 2.22 2.19 3/177 16473
/proc/meminfo: memFree=28108908/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=1267112 CPUtime=1482 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 87022 0 0 0 148159 41 0 0 20 0 1 0 61291327 1297522688 307665 33554432000 4194304 5646918 140737152782352 140737152780488 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 316778 307665 183 355 0 316419 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 1267112

[startup+1542.31 s]
/proc/loadavg: 2.21 2.21 2.18 4/177 16475
/proc/meminfo: memFree=28022984/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=1838332 CPUtime=1542 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 88141 0 0 0 154158 42 0 0 20 0 1 0 61291327 1882451968 320025 33554432000 4194304 5646918 140737152782352 140737152781048 4397733 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 459583 320025 183 355 0 459224 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 1838332

[startup+1602.3 s]
/proc/loadavg: 2.25 2.21 2.18 4/177 16476
/proc/meminfo: memFree=27924828/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=1841132 CPUtime=1601.99 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 88889 0 0 0 160155 44 0 0 20 0 1 0 61291327 1885319168 338147 33554432000 4194304 5646918 140737152782352 140737152781048 4402853 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 460283 338147 183 355 0 459924 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 1841132

[startup+1662.3 s]
/proc/loadavg: 2.24 2.22 2.18 3/177 16477
/proc/meminfo: memFree=27839176/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=1841132 CPUtime=1661.98 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 89057 0 0 0 166153 45 0 0 20 0 1 0 61291327 1885319168 354156 33554432000 4194304 5646918 140737152782352 140737152780456 4402639 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 460283 354156 183 355 0 459924 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 1841132

[startup+1722.3 s]
/proc/loadavg: 2.21 2.20 2.18 3/177 16478
/proc/meminfo: memFree=27746672/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=1843636 CPUtime=1721.97 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 89790 0 0 0 172151 46 0 0 20 0 1 0 61291327 1887883264 371241 33554432000 4194304 5646918 140737152782352 140737152780456 4402788 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 460909 371241 183 355 0 460550 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 1843636

[startup+1782.3 s]
/proc/loadavg: 2.30 2.23 2.19 4/177 16479
/proc/meminfo: memFree=27678988/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=1844872 CPUtime=1781.96 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 90269 0 0 0 178149 47 0 0 20 0 1 0 61291327 1889148928 382962 33554432000 4194304 5646918 140737152782352 140737152780488 4402751 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 461218 382962 183 355 0 460859 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 1844872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.30 2.23 2.19 3/177 16479
/proc/meminfo: memFree=27662436/32872528 swapFree=1534436/1655032
[pid=16356] ppid=16353 vsize=1845168 CPUtime=1800.05 cores=1,3,5,7
/proc/16356/stat : 16356 (minisatp) R 16353 16356 15006 0 -1 4202496 90366 0 0 0 179958 47 0 0 20 0 1 0 61291327 1889452032 386125 33554432000 4194304 5646918 140737152782352 140737152780488 4399808 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/16356/statm: 461292 386125 183 355 0 460933 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1845168

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16356 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1799.59
CPU system time (s): 0.483926
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 1845168

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.483926
maximum resident set size= 1544500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 90366
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= 106
involuntary context switches= 1928

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5973 second user time and 7.04193 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-22 12:47:09
IDJOB=4113772
IDBENCH=74232
IDSOLVER=2555
FILE ID=node122/4113772-1466592429
RUNJOBID= node122-1466586446-15023
PBS_JOBID= 19953366
Free space on /tmp= 71728 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j120/normalized-j12036_4-sat.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4113772-1466592429/watcher-4113772-1466592429 -o /tmp/evaluation-result-4113772-1466592429/solver-4113772-1466592429 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466586446-15023 --watchdog 1960  minisatp HOME/instance-4113772-1466592429.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= b4d4215a44d43278004dfcd0ea549fa8
RANDOM SEED=2139099181

node122.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30136844 kB
Buffers:           94064 kB
Cached:           129916 kB
SwapCached:         3168 kB
Active:           194352 kB
Inactive:         150880 kB
Active(anon):     120456 kB
Inactive(anon):     3252 kB
Active(file):      73896 kB
Inactive(file):   147628 kB
Unevictable:     1655032 kB
Mlocked:         1534436 kB
SwapTotal:      67108856 kB
SwapFree:       67096868 kB
Dirty:              9744 kB
Writeback:             0 kB
AnonPages:       1774672 kB
Mapped:             9376 kB
Shmem:                 0 kB
Slab:             602060 kB
SReclaimable:      45964 kB
SUnreclaim:       556096 kB
KernelStack:        1472 kB
PageTables:         7568 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1891724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    223232 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4113772-1466592429.opb

Free space on /tmp at the end= 71724 MiB
End job on node122 at 2016-06-22 13:17:10