Trace number 3723216

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 NameAnswerobjective functionCPU timeWall clock time
PB12: minisatp 1.0-2-g022594c? (exit code) 2.42263 17.83

General information on the benchmark

Name/OPT-BIGINT-LIN/sroussel/NG/
normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX180_K192_cod1.opb
MD5SUM2a10ffb4379dcfb9c244e555ac5887ed
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-8044
Best CPU time to get the best result obtained on this benchmark1800.33
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables399113
Total number of constraints400980
Number of constraints which are clauses399002
Number of constraints which are cardinality constraints (but not clauses)1977
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint397089
Number of terms in the objective function 272557
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 169387586
Number of bits of the sum of numbers in the objective function 28
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 169387586
Number of bits of the biggest sum of numbers28
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...
1.18/1.22	c Converting 400980 PB-constraints to clauses...
1.29/1.31	c   -- Unit propagations: (none)
1.29/1.32	c   -- Detecting intervals from adjacent constraints: ##################################################################################################################################################################################################
1.29/1.33	c   -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
1.58/1.63	c ---[400978]---> BDD-cost:    5
1.58/1.63	c ---[400976]---> BDD-cost:    7
1.58/1.63	c ---[342719]---> BDD-cost:  602
1.58/1.63	c ---[342717]---> BDD-cost:  607
1.58/1.63	c ---[342715]---> BDD-cost:  607
1.58/1.63	c ---[342713]---> BDD-cost:  607
1.58/1.63	c ---[342711]---> BDD-cost:  607
1.58/1.63	c ---[342709]---> BDD-cost:  607
1.58/1.63	c ---[342707]---> BDD-cost:  607
1.58/1.64	c ---[342705]---> BDD-cost:  607
1.58/1.64	c ---[342703]---> BDD-cost:  607
1.58/1.64	c ---[342701]---> BDD-cost:  607
1.58/1.64	c ---[342699]---> BDD-cost:  607
1.58/1.64	c ---[342697]---> BDD-cost:  607
1.58/1.64	c ---[342695]---> BDD-cost:  607
1.58/1.64	c ---[342693]---> BDD-cost:  607
1.58/1.64	c ---[342691]---> BDD-cost:  607
1.58/1.64	c ---[342689]---> BDD-cost:  607
1.58/1.64	c ---[342687]---> BDD-cost:  607
1.58/1.64	c ---[342685]---> BDD-cost:  607
1.58/1.64	c ---[342683]---> BDD-cost:  607
1.58/1.64	c ---[342681]---> BDD-cost:  607
1.58/1.64	c ---[342679]---> BDD-cost:  607
1.58/1.64	c ---[342677]---> BDD-cost:  607
1.58/1.64	c ---[342675]---> BDD-cost:  607
1.58/1.64	c ---[342673]---> BDD-cost:  607
1.58/1.64	c ---[342671]---> BDD-cost:  607
1.58/1.64	c ---[342669]---> BDD-cost:  607
1.58/1.64	c ---[342667]---> BDD-cost:  607
1.58/1.64	c ---[342665]---> BDD-cost:  607
1.58/1.64	c ---[342663]---> BDD-cost:  607
1.58/1.64	c ---[342661]---> BDD-cost:  607
1.58/1.64	c ---[342659]---> BDD-cost:  607
1.58/1.64	c ---[342657]---> BDD-cost:  607
1.58/1.64	c ---[342655]---> BDD-cost:  607
1.58/1.64	c ---[342653]---> BDD-cost:  607
1.58/1.64	c ---[342651]---> BDD-cost:  607
1.58/1.65	c ---[342649]---> BDD-cost:  607
1.58/1.65	c ---[342647]---> BDD-cost:  607
1.58/1.65	c ---[342645]---> BDD-cost:  607
1.58/1.65	c ---[342643]---> BDD-cost:  607
1.58/1.65	c ---[342641]---> BDD-cost:  607
1.58/1.65	c ---[342639]---> BDD-cost:  607
1.58/1.65	c ---[342637]---> BDD-cost:  607
1.58/1.65	c ---[342635]---> BDD-cost:  607
1.58/1.65	c ---[342633]---> BDD-cost:  607
1.58/1.65	c ---[342631]---> BDD-cost:  607
1.58/1.65	c ---[342629]---> BDD-cost:  607
1.58/1.65	c ---[342627]---> BDD-cost:  607
1.58/1.65	c ---[342625]---> BDD-cost:  607
1.58/1.65	c ---[342623]---> BDD-cost:  607
1.58/1.65	c ---[342621]---> BDD-cost:  607
1.58/1.65	c ---[342619]---> BDD-cost:  607
1.58/1.65	c ---[342617]---> BDD-cost:  607
1.58/1.65	c ---[342615]---> BDD-cost:  607
1.58/1.65	c ---[342613]---> BDD-cost:  607
1.58/1.65	c ---[342611]---> BDD-cost:  607
1.58/1.65	c ---[342609]---> BDD-cost:  607
1.58/1.65	c ---[342607]---> BDD-cost:  607
1.58/1.65	c ---[342605]---> BDD-cost:  607
1.58/1.65	c ---[342603]---> BDD-cost:  607
1.58/1.65	c ---[342601]---> BDD-cost:  607
1.58/1.65	c ---[342599]---> BDD-cost:  607
1.58/1.65	c ---[342597]---> BDD-cost:  607
1.58/1.65	c ---[342595]---> BDD-cost:  607
1.58/1.65	c ---[342593]---> BDD-cost:  607
1.58/1.66	c ---[342591]---> BDD-cost:  607
1.58/1.66	c ---[342589]---> BDD-cost:  607
1.58/1.66	c ---[342587]---> BDD-cost:  607
1.58/1.66	c ---[342585]---> BDD-cost:  607
1.58/1.66	c ---[342583]---> BDD-cost:  607
1.58/1.66	c ---[342581]---> BDD-cost:  607
1.58/1.66	c ---[342579]---> BDD-cost:  607
1.58/1.66	c ---[342577]---> BDD-cost:  607
1.58/1.66	c ---[342575]---> BDD-cost:  607
1.58/1.66	c ---[342573]---> BDD-cost:  607
1.58/1.66	c ---[342571]---> BDD-cost:  607
1.58/1.66	c ---[342569]---> BDD-cost:  607
1.58/1.66	c ---[342567]---> BDD-cost:  607
1.58/1.66	c ---[342565]---> BDD-cost:  607
1.58/1.66	c ---[342563]---> BDD-cost:  607
1.58/1.66	c ---[342561]---> BDD-cost:  607
1.58/1.66	c ---[342559]---> BDD-cost:  607
1.58/1.66	c ---[342557]---> BDD-cost:  607
1.58/1.66	c ---[342555]---> BDD-cost:  607
1.58/1.66	c ---[342553]---> BDD-cost:  607
1.58/1.66	c ---[342551]---> BDD-cost:  607
1.58/1.66	c ---[342549]---> BDD-cost:  607
1.58/1.66	c ---[342547]---> BDD-cost:  607
1.58/1.66	c ---[342545]---> BDD-cost:  607
1.58/1.66	c ---[342543]---> BDD-cost:  607
1.58/1.66	c ---[342541]---> BDD-cost:  607
1.58/1.67	c ---[342539]---> BDD-cost:  607
1.58/1.67	c ---[342537]---> BDD-cost:  607
1.58/1.67	c ---[342535]---> BDD-cost:  607
1.58/1.67	c ---[342533]---> BDD-cost:  607
1.58/1.67	c ---[342531]---> BDD-cost:  607
1.58/1.67	c ---[342529]---> BDD-cost:  607
1.58/1.67	c ---[342527]---> BDD-cost:  607
1.58/1.67	c ---[342525]---> BDD-cost:  607
1.58/1.67	c ---[342523]---> BDD-cost:  607
1.58/1.67	c ---[342521]---> BDD-cost:  607
1.58/1.67	c ---[342519]---> BDD-cost:  607
1.58/1.67	c ---[342517]---> BDD-cost:  607
1.58/1.67	c ---[342515]---> BDD-cost:  607
1.58/1.67	c ---[342513]---> BDD-cost:  607
1.58/1.67	c ---[342511]---> BDD-cost:  607
1.58/1.67	c ---[342509]---> BDD-cost:  607
1.58/1.67	c ---[342507]---> BDD-cost:  607
1.58/1.67	c ---[342505]---> BDD-cost:  607
1.58/1.67	c ---[342503]---> BDD-cost:  607
1.58/1.67	c ---[342501]---> BDD-cost:  607
1.58/1.67	c ---[342499]---> BDD-cost:  607
1.58/1.67	c ---[342497]---> BDD-cost:  607
1.58/1.67	c ---[342495]---> BDD-cost:  607
1.58/1.67	c ---[342493]---> BDD-cost:  607
1.58/1.67	c ---[342491]---> BDD-cost:  607
1.58/1.67	c ---[342489]---> BDD-cost:  607
1.58/1.67	c ---[342487]---> BDD-cost:  607
1.58/1.67	c ---[342485]---> BDD-cost:  607
1.58/1.67	c ---[342483]---> BDD-cost:  607
1.58/1.67	c ---[342481]---> BDD-cost:  607
1.58/1.68	c ---[342479]---> BDD-cost:  607
1.58/1.68	c ---[342477]---> BDD-cost:  607
1.58/1.68	c ---[342475]---> BDD-cost:  607
1.58/1.68	c ---[342473]---> BDD-cost:  607
1.58/1.68	c ---[342471]---> BDD-cost:  607
1.58/1.68	c ---[342469]---> BDD-cost:  607
1.58/1.68	c ---[342467]---> BDD-cost:  607
1.58/1.68	c ---[342465]---> BDD-cost:  607
1.58/1.68	c ---[342463]---> BDD-cost:  607
1.58/1.68	c ---[342461]---> BDD-cost:  607
1.58/1.68	c ---[342459]---> BDD-cost:  607
1.58/1.68	c ---[342457]---> BDD-cost:  607
1.58/1.68	c ---[342455]---> BDD-cost:  607
1.58/1.68	c ---[342453]---> BDD-cost:  607
1.58/1.68	c ---[342451]---> BDD-cost:  607
1.58/1.68	c ---[342449]---> BDD-cost:  607
1.58/1.68	c ---[342447]---> BDD-cost:  607
1.58/1.68	c ---[342445]---> BDD-cost:  607
1.58/1.68	c ---[342443]---> BDD-cost:  607
1.58/1.69	c ---[342441]---> BDD-cost:  607
1.58/1.69	c ---[342439]---> BDD-cost:  607
1.58/1.69	c ---[342437]---> BDD-cost:  607
1.58/1.69	c ---[342435]---> BDD-cost:  607
1.58/1.69	c ---[342433]---> BDD-cost:  607
1.58/1.69	c ---[342431]---> BDD-cost:  607
1.58/1.69	c ---[342429]---> BDD-cost:  607
1.58/1.69	c ---[342427]---> BDD-cost:  607
1.58/1.69	c ---[342425]---> BDD-cost:  607
1.58/1.69	c ---[342423]---> BDD-cost:  607
1.58/1.69	c ---[342421]---> BDD-cost:  607
1.58/1.69	c ---[342419]---> BDD-cost:  607
1.58/1.69	c ---[342417]---> BDD-cost:  607
1.58/1.69	c ---[342415]---> BDD-cost:  607
1.58/1.69	c ---[342413]---> BDD-cost:  607
1.58/1.69	c ---[342411]---> BDD-cost:  607
1.58/1.69	c ---[342409]---> BDD-cost:  607
1.58/1.69	c ---[342407]---> BDD-cost:  607
1.58/1.69	c ---[342405]---> BDD-cost:  607
1.58/1.69	c ---[342403]---> BDD-cost:  607
1.58/1.69	c ---[342401]---> BDD-cost:  607
1.58/1.69	c ---[342399]---> BDD-cost:  607
1.58/1.69	c ---[342397]---> BDD-cost:  607
1.58/1.69	c ---[342395]---> BDD-cost:  607
1.58/1.69	c ---[342393]---> BDD-cost:  607
1.58/1.70	c ---[342391]---> BDD-cost:  607
1.69/1.70	c ---[342389]---> BDD-cost:  607
1.69/1.70	c ---[342387]---> BDD-cost:  607
1.69/1.70	c ---[342385]---> BDD-cost:  607
1.69/1.70	c ---[342383]---> BDD-cost:  607
1.69/1.70	c ---[342381]---> BDD-cost:  607
1.69/1.70	c ---[342379]---> BDD-cost:  607
1.69/1.70	c ---[342377]---> BDD-cost:  607
1.69/1.70	c ---[342375]---> BDD-cost:  607
1.69/1.70	c ---[342373]---> BDD-cost:  607
1.69/1.70	c ---[342371]---> BDD-cost:  607
1.69/1.70	c ---[342369]---> BDD-cost:  607
1.69/1.70	c ---[342367]---> BDD-cost:  607
1.69/1.70	c ---[342365]---> BDD-cost:  607
1.69/1.70	c ---[342363]---> BDD-cost:  607
1.69/1.70	c ---[342361]---> BDD-cost:  607
1.69/1.70	c ---[342359]---> BDD-cost:  607
1.69/1.70	c ---[342357]---> BDD-cost:  607
1.69/1.70	c ---[342355]---> BDD-cost:  607
1.69/1.70	c ---[342353]---> BDD-cost:  607
1.69/1.70	c ---[342351]---> BDD-cost:  607
1.69/1.70	c ---[342349]---> BDD-cost:  607
1.69/1.70	c ---[342347]---> BDD-cost:  607
1.69/1.70	c ---[342345]---> BDD-cost:  607
1.69/1.70	c ---[342343]---> BDD-cost:  607
1.69/1.70	c ---[342341]---> BDD-cost:  607
1.69/1.70	c ---[342339]---> BDD-cost:  607
1.69/1.70	c ---[342337]---> BDD-cost:  600
1.69/1.70	c ---[342336]---> BDD-cost:  379
1.69/1.70	c ---[342335]---> BDD-cost:  379
1.69/1.70	c ---[342334]---> BDD-cost:  379
1.69/1.70	c ---[342333]---> BDD-cost:  379
1.69/1.71	c ---[342332]---> BDD-cost:  379
1.69/1.71	c ---[342331]---> BDD-cost:  379
1.69/1.71	c ---[342330]---> BDD-cost:  379
1.69/1.71	c ---[342329]---> BDD-cost:  379
1.69/1.71	c ---[342328]---> BDD-cost:  379
1.69/1.71	c ---[342327]---> BDD-cost:  379
1.69/1.71	c ---[342326]---> BDD-cost:  379
1.69/1.71	c ---[342325]---> BDD-cost:  379
1.69/1.71	c ---[342324]---> BDD-cost:  379
1.69/1.71	c ---[342323]---> BDD-cost:  379
1.69/1.71	c ---[342322]---> BDD-cost:  379
1.69/1.71	c ---[342321]---> BDD-cost:  379
1.69/1.71	c ---[342320]---> BDD-cost:  379
1.69/1.71	c ---[342319]---> BDD-cost:  379
1.69/1.71	c ---[342318]---> BDD-cost:  379
1.69/1.71	c ---[342317]---> BDD-cost:  379
1.69/1.71	c ---[342316]---> BDD-cost:  379
1.69/1.71	c ---[342315]---> BDD-cost:  379
1.69/1.71	c ---[342314]---> BDD-cost:  379
1.69/1.71	c ---[342313]---> BDD-cost:  379
1.69/1.71	c ---[342312]---> BDD-cost:  379
1.69/1.71	c ---[342311]---> BDD-cost:  379
1.69/1.71	c ---[342310]---> BDD-cost:  379
1.69/1.71	c ---[342309]---> BDD-cost:  379
1.69/1.71	c ---[342308]---> BDD-cost:  379
1.69/1.71	c ---[342307]---> BDD-cost:  379
1.69/1.71	c ---[342306]---> BDD-cost:  379
1.69/1.71	c ---[342305]---> BDD-cost:  379
1.69/1.71	c ---[342304]---> BDD-cost:  379
1.69/1.71	c ---[342303]---> BDD-cost:  379
1.69/1.71	c ---[342302]---> BDD-cost:  379
1.69/1.71	c ---[342301]---> BDD-cost:  379
1.69/1.71	c ---[342300]---> BDD-cost:  379
1.69/1.71	c ---[342299]---> BDD-cost:  379
1.69/1.71	c ---[342298]---> BDD-cost:  379
1.69/1.71	c ---[342297]---> BDD-cost:  379
1.69/1.71	c ---[342296]---> BDD-cost:  379
1.69/1.71	c ---[342295]---> BDD-cost:  379
1.69/1.71	c ---[342294]---> BDD-cost:  379
1.69/1.71	c ---[342293]---> BDD-cost:  379
1.69/1.71	c ---[342292]---> BDD-cost:  379
1.69/1.71	c ---[342291]---> BDD-cost:  379
1.69/1.71	c ---[342290]---> BDD-cost:  379
1.69/1.71	c ---[342289]---> BDD-cost:  379
1.69/1.71	c ---[342288]---> BDD-cost:  379
1.69/1.71	c ---[342287]---> BDD-cost:  379
1.69/1.71	c ---[342286]---> BDD-cost:  379
1.69/1.71	c ---[342285]---> BDD-cost:  379
1.69/1.71	c ---[342284]---> BDD-cost:  379
1.69/1.71	c ---[342283]---> BDD-cost:  379
1.69/1.71	c ---[342282]---> BDD-cost:  379
1.69/1.71	c ---[342281]---> BDD-cost:  379
1.69/1.71	c ---[342280]---> BDD-cost:  379
1.69/1.71	c ---[342279]---> BDD-cost:  379
1.69/1.71	c ---[342278]---> BDD-cost:  379
1.69/1.71	c ---[342277]---> BDD-cost:  379
1.69/1.71	c ---[342276]---> BDD-cost:  379
1.69/1.71	c ---[342275]---> BDD-cost:  379
1.69/1.71	c ---[342274]---> BDD-cost:  379
1.69/1.71	c ---[342273]---> BDD-cost:  379
1.69/1.71	c ---[342272]---> BDD-cost:  379
1.69/1.71	c ---[342271]---> BDD-cost:  379
1.69/1.71	c ---[342270]---> BDD-cost:  379
1.69/1.72	c ---[342269]---> BDD-cost:  379
1.69/1.72	c ---[342268]---> BDD-cost:  379
1.69/1.72	c ---[342267]---> BDD-cost:  379
1.69/1.72	c ---[342266]---> BDD-cost:  379
1.69/1.72	c ---[342265]---> BDD-cost:  379
1.69/1.72	c ---[342264]---> BDD-cost:  379
1.69/1.72	c ---[342263]---> BDD-cost:  379
1.69/1.72	c ---[342262]---> BDD-cost:  379
1.69/1.72	c ---[342261]---> BDD-cost:  379
1.69/1.72	c ---[342260]---> BDD-cost:  379
1.69/1.72	c ---[342259]---> BDD-cost:  379
1.69/1.72	c ---[342258]---> BDD-cost:  379
1.69/1.72	c ---[342257]---> BDD-cost:  379
1.69/1.72	c ---[342256]---> BDD-cost:  379
1.69/1.72	c ---[342255]---> BDD-cost:  379
1.69/1.72	c ---[342254]---> BDD-cost:  379
1.69/1.72	c ---[342253]---> BDD-cost:  379
1.69/1.72	c ---[342252]---> BDD-cost:  379
1.69/1.72	c ---[342251]---> BDD-cost:  379
1.69/1.72	c ---[342250]---> BDD-cost:  379
1.69/1.72	c ---[342249]---> BDD-cost:  379
1.69/1.72	c ---[342248]---> BDD-cost:  379
1.69/1.72	c ---[342247]---> BDD-cost:  379
1.69/1.72	c ---[342246]---> BDD-cost:  379
1.69/1.72	c ---[342245]---> BDD-cost:  379
1.69/1.72	c ---[342244]---> BDD-cost:  379
1.69/1.72	c ---[342243]---> BDD-cost:  379
1.69/1.72	c ---[342242]---> BDD-cost:  379
1.69/1.72	c ---[342241]---> BDD-cost:  379
1.69/1.72	c ---[342240]---> BDD-cost:  379
1.69/1.72	c ---[342239]---> BDD-cost:  379
1.69/1.72	c ---[342238]---> BDD-cost:  379
1.69/1.72	c ---[342237]---> BDD-cost:  379
1.69/1.72	c ---[342236]---> BDD-cost:  379
1.69/1.72	c ---[342235]---> BDD-cost:  379
1.69/1.72	c ---[342234]---> BDD-cost:  379
1.69/1.72	c ---[342233]---> BDD-cost:  379
1.69/1.72	c ---[342232]---> BDD-cost:  379
1.69/1.72	c ---[342231]---> BDD-cost:  379
1.69/1.72	c ---[342230]---> BDD-cost:  379
1.69/1.72	c ---[342229]---> BDD-cost:  379
1.69/1.72	c ---[342228]---> BDD-cost:  379
1.69/1.72	c ---[342227]---> BDD-cost:  379
1.69/1.72	c ---[342226]---> BDD-cost:  379
1.69/1.72	c ---[342225]---> BDD-cost:  379
1.69/1.72	c ---[342224]---> BDD-cost:  379
1.69/1.72	c ---[342223]---> BDD-cost:  379
1.69/1.72	c ---[342222]---> BDD-cost:  379
1.69/1.72	c ---[342221]---> BDD-cost:  379
1.69/1.72	c ---[342220]---> BDD-cost:  379
1.69/1.72	c ---[342219]---> BDD-cost:  379
1.69/1.72	c ---[342218]---> BDD-cost:  379
1.69/1.72	c ---[342217]---> BDD-cost:  379
1.69/1.72	c ---[342216]---> BDD-cost:  379
1.69/1.72	c ---[342215]---> BDD-cost:  379
1.69/1.72	c ---[342214]---> BDD-cost:  379
1.69/1.72	c ---[342213]---> BDD-cost:  379
1.69/1.72	c ---[342212]---> BDD-cost:  379
1.69/1.72	c ---[342211]---> BDD-cost:  379
1.69/1.72	c ---[342210]---> BDD-cost:  379
1.69/1.72	c ---[342209]---> BDD-cost:  379
1.69/1.72	c ---[342208]---> BDD-cost:  379
1.69/1.72	c ---[342207]---> BDD-cost:  379
1.69/1.73	c ---[342206]---> BDD-cost:  379
1.69/1.73	c ---[342205]---> BDD-cost:  379
1.69/1.73	c ---[342204]---> BDD-cost:  379
1.69/1.73	c ---[342203]---> BDD-cost:  379
1.69/1.73	c ---[342202]---> BDD-cost:  379
1.69/1.73	c ---[342201]---> BDD-cost:  379
1.69/1.73	c ---[342200]---> BDD-cost:  379
1.69/1.73	c ---[342199]---> BDD-cost:  379
1.69/1.74	c ---[342198]---> BDD-cost:  379
1.69/1.74	c ---[342197]---> BDD-cost:  379
1.69/1.74	c ---[342196]---> BDD-cost:  379
1.69/1.74	c ---[342195]---> BDD-cost:  379
1.69/1.74	c ---[342194]---> BDD-cost:  379
1.69/1.74	c ---[342193]---> BDD-cost:  379
1.69/1.74	c ---[342192]---> BDD-cost:  379
1.69/1.74	c ---[342191]---> BDD-cost:  379
1.69/1.74	c ---[342190]---> BDD-cost:  379
1.69/1.74	c ---[342189]---> BDD-cost:  379
1.69/1.74	c ---[342188]---> BDD-cost:  379
1.69/1.74	c ---[342187]---> BDD-cost:  379
1.69/1.74	c ---[342186]---> BDD-cost:  379
1.69/1.74	c ---[342185]---> BDD-cost:  379
1.69/1.74	c ---[342184]---> BDD-cost:  379
1.69/1.74	c ---[342183]---> BDD-cost:  379
1.69/1.74	c ---[342182]---> BDD-cost:  379
1.69/1.74	c ---[342181]---> BDD-cost:  379
1.69/1.74	c ---[342180]---> BDD-cost:  379
1.69/1.74	c ---[342179]---> BDD-cost:  379
1.69/1.74	c ---[342178]---> BDD-cost:  379
1.69/1.74	c ---[342177]---> BDD-cost:  379
1.69/1.74	c ---[342176]---> BDD-cost:  379
1.69/1.74	c ---[342175]---> BDD-cost:  379
1.69/1.74	c ---[342174]---> BDD-cost:  379
1.69/1.74	c ---[342173]---> BDD-cost:  379
1.69/1.74	c ---[342172]---> BDD-cost:  379
1.69/1.74	c ---[342171]---> BDD-cost:  379
1.69/1.74	c ---[342170]---> BDD-cost:  379
1.69/1.74	c ---[342169]---> BDD-cost:  379
1.69/1.74	c ---[342168]---> BDD-cost:  379
1.69/1.74	c ---[342167]---> BDD-cost:  379
1.69/1.74	c ---[342166]---> BDD-cost:  379
1.69/1.75	c ---[342165]---> BDD-cost:  379
1.69/1.75	c ---[342164]---> BDD-cost:  379
1.69/1.75	c ---[342163]---> BDD-cost:  379
1.69/1.75	c ---[342162]---> BDD-cost:  379
1.69/1.75	c ---[342161]---> BDD-cost:  379
1.69/1.75	c ---[342160]---> BDD-cost:  379
1.69/1.75	c ---[342159]---> BDD-cost:  379
1.69/1.75	c ---[342158]---> BDD-cost:  379
1.69/1.75	c ---[342157]---> BDD-cost:  379
1.69/1.75	c ---[342156]---> BDD-cost:  379
1.69/1.75	c ---[342155]---> BDD-cost:  379
1.69/1.75	c ---[342154]---> BDD-cost:  379
1.69/1.75	c ---[342153]---> BDD-cost:  379
1.69/1.75	c ---[342152]---> BDD-cost:  379
1.69/1.75	c ---[342151]---> BDD-cost:  379
1.69/1.75	c ---[342150]---> BDD-cost:  379
1.69/1.75	c ---[342149]---> BDD-cost:  379
1.69/1.75	c ---[342148]---> BDD-cost:  379
1.69/1.75	c ---[342147]---> BDD-cost:  379
1.69/1.75	c ---[342146]---> BDD-cost:  379
1.69/1.75	c ---[342145]---> BDD-cost:  379
1.69/1.75	c ---[342144]---> BDD-cost:  379
1.69/1.75	c ---[342143]---> BDD-cost:  379
1.69/1.75	c ---[342142]---> BDD-cost:  379
1.69/1.75	c ---[342141]---> BDD-cost:  379
1.69/1.75	c ---[342140]---> BDD-cost:  379
1.69/1.75	c ---[342139]---> BDD-cost:  379
1.69/1.75	c ---[342138]---> BDD-cost:  379
1.69/1.75	c ---[342137]---> BDD-cost:  379
1.69/1.75	c ---[342136]---> BDD-cost:  379
1.69/1.75	c ---[342135]---> BDD-cost:  379
1.69/1.75	c ---[342134]---> BDD-cost:  379
1.69/1.75	c ---[342133]---> BDD-cost:  379
1.69/1.75	c ---[342132]---> BDD-cost:  379
1.69/1.75	c ---[342131]---> BDD-cost:  379
1.69/1.75	c ---[342130]---> BDD-cost:  379
1.69/1.75	c ---[342129]---> BDD-cost:  379
1.69/1.75	c ---[342128]---> BDD-cost:  379
1.69/1.75	c ---[342127]---> BDD-cost:  379
1.69/1.75	c ---[342126]---> BDD-cost:  379
1.69/1.75	c ---[342125]---> BDD-cost:  379
1.69/1.75	c ---[342124]---> BDD-cost:  379
1.69/1.75	c ---[342123]---> BDD-cost:  379
1.69/1.75	c ---[342122]---> BDD-cost:  379
1.69/1.75	c ---[342121]---> BDD-cost:  379
1.69/1.75	c ---[342120]---> BDD-cost:  379
1.69/1.75	c ---[342119]---> BDD-cost:  379
1.69/1.75	c ---[342118]---> BDD-cost:  379
1.69/1.75	c ---[342117]---> BDD-cost:  379
1.69/1.75	c ---[342116]---> BDD-cost:  379
1.69/1.75	c ---[342115]---> BDD-cost:  379
1.69/1.75	c ---[342114]---> BDD-cost:  379
1.69/1.75	c ---[342113]---> BDD-cost:  379
1.69/1.75	c ---[342112]---> BDD-cost:  379
1.69/1.75	c ---[342111]---> BDD-cost:  379
1.69/1.75	c ---[342110]---> BDD-cost:  379
1.69/1.75	c ---[342109]---> BDD-cost:  379
1.69/1.75	c ---[342108]---> BDD-cost:  379
1.69/1.75	c ---[342107]---> BDD-cost:  379
1.69/1.75	c ---[342106]---> BDD-cost:  379
1.69/1.75	c ---[342105]---> BDD-cost:  379
1.69/1.75	c ---[342104]---> BDD-cost:  379
1.69/1.76	c ---[342103]---> BDD-cost:  379
1.69/1.76	c ---[342102]---> BDD-cost:  379
1.69/1.76	c ---[342101]---> BDD-cost:  379
1.69/1.76	c ---[342100]---> BDD-cost:  379
1.69/1.76	c ---[342099]---> BDD-cost:  379
1.69/1.76	c ---[342098]---> BDD-cost:  379
1.69/1.76	c ---[342097]---> BDD-cost:  379
1.69/1.76	c ---[342096]---> BDD-cost:  379
1.69/1.76	c ---[342095]---> BDD-cost:  379
1.69/1.76	c ---[342094]---> BDD-cost:  379
1.69/1.76	c ---[342093]---> BDD-cost:  379
1.69/1.76	c ---[342092]---> BDD-cost:  379
1.69/1.76	c ---[342091]---> BDD-cost:  379
1.69/1.76	c ---[342090]---> BDD-cost:  379
1.69/1.76	c ---[342089]---> BDD-cost:  379
1.69/1.76	c ---[342088]---> BDD-cost:  379
1.69/1.76	c ---[342087]---> BDD-cost:  379
1.69/1.76	c ---[342086]---> BDD-cost:  379
1.69/1.76	c ---[342085]---> BDD-cost:  379
1.69/1.76	c ---[342084]---> BDD-cost:  379
1.69/1.76	c ---[342083]---> BDD-cost:  379
1.69/1.76	c ---[342082]---> BDD-cost:  379
1.69/1.76	c ---[342081]---> BDD-cost:  379
1.69/1.76	c ---[342080]---> BDD-cost:  379
1.69/1.76	c ---[342079]---> BDD-cost:  379
1.69/1.76	c ---[342078]---> BDD-cost:  379
1.69/1.76	c ---[342077]---> BDD-cost:  379
1.69/1.76	c ---[342076]---> BDD-cost:  379
1.69/1.76	c ---[342075]---> BDD-cost:  379
1.69/1.76	c ---[342074]---> BDD-cost:  379
1.69/1.76	c ---[342073]---> BDD-cost:  379
1.69/1.76	c ---[342072]---> BDD-cost:  379
1.69/1.76	c ---[342071]---> BDD-cost:  379
1.69/1.76	c ---[342070]---> BDD-cost:  379
1.69/1.76	c ---[342069]---> BDD-cost:  379
1.69/1.76	c ---[342068]---> BDD-cost:  379
1.69/1.76	c ---[342067]---> BDD-cost:  379
1.69/1.76	c ---[342066]---> BDD-cost:  379
1.69/1.76	c ---[342065]---> BDD-cost:  379
1.69/1.76	c ---[342064]---> BDD-cost:  379
1.69/1.76	c ---[342063]---> BDD-cost:  379
1.69/1.76	c ---[342062]---> BDD-cost:  379
1.69/1.76	c ---[342061]---> BDD-cost:  379
1.69/1.76	c ---[342060]---> BDD-cost:  379
1.69/1.76	c ---[342059]---> BDD-cost:  379
1.69/1.76	c ---[342058]---> BDD-cost:  379
1.69/1.76	c ---[342057]---> BDD-cost:  379
1.69/1.76	c ---[342056]---> BDD-cost:  379
1.69/1.76	c ---[342055]---> BDD-cost:  379
1.69/1.76	c ---[342054]---> BDD-cost:  379
1.69/1.76	c ---[342053]---> BDD-cost:  379
1.69/1.76	c ---[342052]---> BDD-cost:  379
1.69/1.76	c ---[342051]---> BDD-cost:  379
1.69/1.76	c ---[342050]---> BDD-cost:  379
1.69/1.77	c ---[342049]---> BDD-cost:  379
1.69/1.77	c ---[342048]---> BDD-cost:  379
1.69/1.77	c ---[342047]---> BDD-cost:  379
1.69/1.77	c ---[342046]---> BDD-cost:  379
1.69/1.77	c ---[342045]---> BDD-cost:  379
1.69/1.77	c ---[342044]---> BDD-cost:  379
1.69/1.77	c ---[342043]---> BDD-cost:  379
1.69/1.77	c ---[342042]---> BDD-cost:  379
1.69/1.77	c ---[342041]---> BDD-cost:  379
1.69/1.77	c ---[342040]---> BDD-cost:  379
1.69/1.77	c ---[342039]---> BDD-cost:  379
1.69/1.77	c ---[342038]---> BDD-cost:  379
1.69/1.77	c ---[342037]---> BDD-cost:  379
1.69/1.77	c ---[342036]---> BDD-cost:  379
1.69/1.77	c ---[342035]---> BDD-cost:  379
1.69/1.77	c ---[342034]---> BDD-cost:  379
1.69/1.77	c ---[342033]---> BDD-cost:  379
1.69/1.77	c ---[342032]---> BDD-cost:  379
1.69/1.77	c ---[342031]---> BDD-cost:  379
1.69/1.77	c ---[342030]---> BDD-cost:  379
1.69/1.77	c ---[342029]---> BDD-cost:  379
1.69/1.77	c ---[342028]---> BDD-cost:  379
1.69/1.77	c ---[342027]---> BDD-cost:  379
1.69/1.77	c ---[342026]---> BDD-cost:  379
1.69/1.77	c ---[342025]---> BDD-cost:  379
1.69/1.77	c ---[342024]---> BDD-cost:  379
1.69/1.77	c ---[342023]---> BDD-cost:  379
1.69/1.77	c ---[342022]---> BDD-cost:  379
1.69/1.77	c ---[342021]---> BDD-cost:  379
1.69/1.77	c ---[342020]---> BDD-cost:  379
1.69/1.77	c ---[342019]---> BDD-cost:  379
1.69/1.77	c ---[342018]---> BDD-cost:  379
1.69/1.77	c ---[342017]---> BDD-cost:  379
1.69/1.77	c ---[342016]---> BDD-cost:  379
1.69/1.77	c ---[342015]---> BDD-cost:  379
1.69/1.77	c ---[342014]---> BDD-cost:  379
1.69/1.77	c ---[342013]---> BDD-cost:  379
1.69/1.77	c ---[342012]---> BDD-cost:  379
1.69/1.77	c ---[342011]---> BDD-cost:  379
1.69/1.77	c ---[342010]---> BDD-cost:  379
1.69/1.77	c ---[342009]---> BDD-cost:  379
1.69/1.77	c ---[342008]---> BDD-cost:  379
1.69/1.77	c ---[342007]---> BDD-cost:  379
1.69/1.77	c ---[342006]---> BDD-cost:  379
1.69/1.77	c ---[342005]---> BDD-cost:  379
1.69/1.77	c ---[342004]---> BDD-cost:  379
1.69/1.77	c ---[342003]---> BDD-cost:  379
1.69/1.77	c ---[342002]---> BDD-cost:  379
1.69/1.77	c ---[342001]---> BDD-cost:  379
1.69/1.77	c ---[342000]---> BDD-cost:  379
1.69/1.77	c ---[341999]---> BDD-cost:  379
1.69/1.77	c ---[341998]---> BDD-cost:  379
1.69/1.77	c ---[341997]---> BDD-cost:  379
1.69/1.77	c ---[341996]---> BDD-cost:  379
1.69/1.77	c ---[341995]---> BDD-cost:  379
1.69/1.77	c ---[341994]---> BDD-cost:  379
1.69/1.77	c ---[341993]---> BDD-cost:  379
1.69/1.77	c ---[341992]---> BDD-cost:  379
1.69/1.77	c ---[341991]---> BDD-cost:  379
1.69/1.77	c ---[341990]---> BDD-cost:  379
1.69/1.77	c ---[341989]---> BDD-cost:  379
1.69/1.77	c ---[341988]---> BDD-cost:  379
1.69/1.78	c ---[341987]---> BDD-cost:  379
1.69/1.78	c ---[341986]---> BDD-cost:  379
1.69/1.78	c ---[341985]---> BDD-cost:  379
1.69/1.78	c ---[341984]---> BDD-cost:  379
1.69/1.78	c ---[341983]---> BDD-cost:  379
1.69/1.78	c ---[341982]---> BDD-cost:  379
1.69/1.78	c ---[341981]---> BDD-cost:  379
1.69/1.78	c ---[341980]---> BDD-cost:  379
1.69/1.78	c ---[341979]---> BDD-cost:  379
1.69/1.78	c ---[341978]---> BDD-cost:  379
1.69/1.78	c ---[341977]---> BDD-cost:  379
1.69/1.78	c ---[341976]---> BDD-cost:  379
1.69/1.78	c ---[341975]---> BDD-cost:  379
1.69/1.78	c ---[341974]---> BDD-cost:  379
1.69/1.78	c ---[341973]---> BDD-cost:  379
1.69/1.78	c ---[341972]---> BDD-cost:  379
1.69/1.78	c ---[341971]---> BDD-cost:  379
1.69/1.78	c ---[341970]---> BDD-cost:  379
1.69/1.78	c ---[341969]---> BDD-cost:  379
1.69/1.78	c ---[341968]---> BDD-cost:  379
1.69/1.78	c ---[341967]---> BDD-cost:  379
1.69/1.78	c ---[341966]---> BDD-cost:  379
1.69/1.78	c ---[341965]---> BDD-cost:  379
1.69/1.78	c ---[341964]---> BDD-cost:  379
1.69/1.78	c ---[341963]---> BDD-cost:  379
1.69/1.78	c ---[341962]---> BDD-cost:  379
1.69/1.78	c ---[341961]---> BDD-cost:  379
1.69/1.78	c ---[341960]---> BDD-cost:  379
1.69/1.78	c ---[341959]---> BDD-cost:  379
1.69/1.78	c ---[341958]---> BDD-cost:  379
1.69/1.78	c ---[341957]---> BDD-cost:  379
1.69/1.78	c ---[341956]---> BDD-cost:  379
1.69/1.78	c ---[341955]---> BDD-cost:  379
1.69/1.78	c ---[341954]---> BDD-cost:  379
1.69/1.78	c ---[341953]---> BDD-cost:  379
1.69/1.78	c ---[341952]---> BDD-cost:  379
1.69/1.78	c ---[341951]---> BDD-cost:  379
1.69/1.78	c ---[341950]---> BDD-cost:  379
1.69/1.78	c ---[341949]---> BDD-cost:  379
1.69/1.78	c ---[341948]---> BDD-cost:  379
1.69/1.78	c ---[341947]---> BDD-cost:  379
1.69/1.78	c ---[341946]---> BDD-cost:  379
1.69/1.78	c ---[341945]---> BDD-cost:  379
1.69/1.78	c ---[341944]---> BDD-cost:  379
1.69/1.78	c ---[341943]---> BDD-cost:  379
1.69/1.78	c ---[341942]---> BDD-cost:  379
1.69/1.78	c ---[341941]---> BDD-cost:  379
1.69/1.78	c ---[341940]---> BDD-cost:  379
1.69/1.78	c ---[341939]---> BDD-cost:  379
1.69/1.78	c ---[341938]---> BDD-cost:  379
1.69/1.78	c ---[341937]---> BDD-cost:  379
1.69/1.78	c ---[341936]---> BDD-cost:  379
1.69/1.78	c ---[341935]---> BDD-cost:  379
1.69/1.78	c ---[341934]---> BDD-cost:  379
1.69/1.78	c ---[341933]---> BDD-cost:  379
1.69/1.78	c ---[341932]---> BDD-cost:  379
1.69/1.78	c ---[341931]---> BDD-cost:  379
1.69/1.78	c ---[341930]---> BDD-cost:  379
1.69/1.78	c ---[341929]---> BDD-cost:  379
1.69/1.78	c ---[341928]---> BDD-cost:  379
1.69/1.78	c ---[341927]---> BDD-cost:  379
1.69/1.78	c ---[341926]---> BDD-cost:  379
1.69/1.79	c ---[341925]---> BDD-cost:  379
1.69/1.79	c ---[341924]---> BDD-cost:  379
1.69/1.79	c ---[341923]---> BDD-cost:  379
1.69/1.79	c ---[341922]---> BDD-cost:  379
1.69/1.79	c ---[341921]---> BDD-cost:  379
1.69/1.79	c ---[341920]---> BDD-cost:  379
1.69/1.79	c ---[341919]---> BDD-cost:  379
1.69/1.79	c ---[341918]---> BDD-cost:  379
1.69/1.79	c ---[341917]---> BDD-cost:  379
1.69/1.79	c ---[341916]---> BDD-cost:  379
1.69/1.79	c ---[341915]---> BDD-cost:  379
1.69/1.79	c ---[341914]---> BDD-cost:  379
1.69/1.79	c ---[341913]---> BDD-cost:  379
1.69/1.79	c ---[341912]---> BDD-cost:  379
1.69/1.79	c ---[341911]---> BDD-cost:  379
1.69/1.79	c ---[341910]---> BDD-cost:  379
1.69/1.79	c ---[341909]---> BDD-cost:  379
1.69/1.79	c ---[341908]---> BDD-cost:  379
1.69/1.79	c ---[341907]---> BDD-cost:  379
1.69/1.79	c ---[341906]---> BDD-cost:  379
1.69/1.79	c ---[341905]---> BDD-cost:  379
1.69/1.79	c ---[341904]---> BDD-cost:  379
1.69/1.79	c ---[341903]---> BDD-cost:  379
1.69/1.79	c ---[341902]---> BDD-cost:  379
1.69/1.79	c ---[341901]---> BDD-cost:  379
1.69/1.79	c ---[341900]---> BDD-cost:  379
1.69/1.79	c ---[341899]---> BDD-cost:  379
1.69/1.79	c ---[341898]---> BDD-cost:  379
1.69/1.79	c ---[341897]---> BDD-cost:  379
1.69/1.79	c ---[341896]---> BDD-cost:  379
1.69/1.79	c ---[341895]---> BDD-cost:  379
1.69/1.79	c ---[341894]---> BDD-cost:  379
1.69/1.79	c ---[341893]---> BDD-cost:  379
1.69/1.79	c ---[341892]---> BDD-cost:  379
1.69/1.79	c ---[341891]---> BDD-cost:  379
1.69/1.79	c ---[341890]---> BDD-cost:  379
1.69/1.79	c ---[341889]---> BDD-cost:  379
1.69/1.79	c ---[341888]---> BDD-cost:  379
1.69/1.79	c ---[341887]---> BDD-cost:  379
1.69/1.79	c ---[341886]---> BDD-cost:  379
1.69/1.79	c ---[341885]---> BDD-cost:  379
1.69/1.79	c ---[341884]---> BDD-cost:  379
1.69/1.79	c ---[341883]---> BDD-cost:  379
1.69/1.79	c ---[341882]---> BDD-cost:  379
1.69/1.79	c ---[341881]---> BDD-cost:  379
1.69/1.79	c ---[341880]---> BDD-cost:  379
1.69/1.79	c ---[341879]---> BDD-cost:  379
1.69/1.79	c ---[341878]---> BDD-cost:  379
1.69/1.79	c ---[341877]---> BDD-cost:  379
1.69/1.79	c ---[341876]---> BDD-cost:  379
1.69/1.79	c ---[341875]---> BDD-cost:  379
1.69/1.79	c ---[341874]---> BDD-cost:  379
1.69/1.79	c ---[341873]---> BDD-cost:  379
1.69/1.79	c ---[341872]---> BDD-cost:  379
1.69/1.79	c ---[341871]---> BDD-cost:  379
1.69/1.79	c ---[341870]---> BDD-cost:  379
1.69/1.79	c ---[341869]---> BDD-cost:  379
1.69/1.79	c ---[341868]---> BDD-cost:  379
1.69/1.79	c ---[341867]---> BDD-cost:  379
1.69/1.79	c ---[341866]---> BDD-cost:  379
1.69/1.80	c ---[341865]---> BDD-cost:  379
1.69/1.80	c ---[341864]---> BDD-cost:  379
1.78/1.80	c ---[341863]---> BDD-cost:  379
1.78/1.80	c ---[341862]---> BDD-cost:  379
1.78/1.80	c ---[341861]---> BDD-cost:  379
1.78/1.80	c ---[341860]---> BDD-cost:  379
1.78/1.80	c ---[341859]---> BDD-cost:  379
1.78/1.80	c ---[341858]---> BDD-cost:  379
1.78/1.80	c ---[341857]---> BDD-cost:  379
1.78/1.80	c ---[341856]---> BDD-cost:  379
1.78/1.80	c ---[341855]---> BDD-cost:  379
1.78/1.80	c ---[341854]---> BDD-cost:  379
1.78/1.80	c ---[341853]---> BDD-cost:  379
1.78/1.80	c ---[341852]---> BDD-cost:  379
1.78/1.80	c ---[341851]---> BDD-cost:  379
1.78/1.80	c ---[341850]---> BDD-cost:  379
1.78/1.80	c ---[341849]---> BDD-cost:  379
1.78/1.80	c ---[341848]---> BDD-cost:  379
1.78/1.80	c ---[341847]---> BDD-cost:  379
1.78/1.80	c ---[341846]---> BDD-cost:  379
1.78/1.80	c ---[341845]---> BDD-cost:  379
1.78/1.80	c ---[341844]---> BDD-cost:  379
1.78/1.80	c ---[341843]---> BDD-cost:  379
1.78/1.80	c ---[341842]---> BDD-cost:  379
1.78/1.80	c ---[341841]---> BDD-cost:  379
1.78/1.80	c ---[341840]---> BDD-cost:  379
1.78/1.80	c ---[341839]---> BDD-cost:  379
1.78/1.80	c ---[341838]---> BDD-cost:  379
1.78/1.80	c ---[341837]---> BDD-cost:  379
1.78/1.80	c ---[341836]---> BDD-cost:  379
1.78/1.80	c ---[341835]---> BDD-cost:  379
1.78/1.80	c ---[341834]---> BDD-cost:  379
1.78/1.80	c ---[341833]---> BDD-cost:  379
1.78/1.80	c ---[341832]---> BDD-cost:  379
1.78/1.80	c ---[341831]---> BDD-cost:  379
1.78/1.80	c ---[341830]---> BDD-cost:  379
1.78/1.80	c ---[341829]---> BDD-cost:  379
1.78/1.80	c ---[341828]---> BDD-cost:  379
1.78/1.80	c ---[341827]---> BDD-cost:  379
1.78/1.80	c ---[341826]---> BDD-cost:  379
1.78/1.80	c ---[341825]---> BDD-cost:  379
1.78/1.80	c ---[341824]---> BDD-cost:  379
1.78/1.80	c ---[341823]---> BDD-cost:  379
1.78/1.80	c ---[341822]---> BDD-cost:  379
1.78/1.80	c ---[341821]---> BDD-cost:  379
1.78/1.80	c ---[341820]---> BDD-cost:  379
1.78/1.80	c ---[341819]---> BDD-cost:  379
1.78/1.80	c ---[341818]---> BDD-cost:  379
1.78/1.80	c ---[341817]---> BDD-cost:  379
1.78/1.80	c ---[341816]---> BDD-cost:  379
1.78/1.80	c ---[341815]---> BDD-cost:  379
1.78/1.80	c ---[341814]---> BDD-cost:  379
1.78/1.80	c ---[341813]---> BDD-cost:  379
1.78/1.80	c ---[341812]---> BDD-cost:  379
1.78/1.80	c ---[341811]---> BDD-cost:  379
1.78/1.80	c ---[341810]---> BDD-cost:  379
1.78/1.80	c ---[341809]---> BDD-cost:  379
1.78/1.80	c ---[341808]---> BDD-cost:  379
1.78/1.81	c ---[341807]---> BDD-cost:  379
1.78/1.81	c ---[341806]---> BDD-cost:  379
1.78/1.81	c ---[341805]---> BDD-cost:  379
1.78/1.81	c ---[341804]---> BDD-cost:  379
1.78/1.81	c ---[341803]---> BDD-cost:  379
1.78/1.81	c ---[341802]---> BDD-cost:  379
1.78/1.81	c ---[341801]---> BDD-cost:  379
1.78/1.81	c ---[341800]---> BDD-cost:  379
1.78/1.81	c ---[341799]---> BDD-cost:  379
1.78/1.81	c ---[341798]---> BDD-cost:  379
1.78/1.81	c ---[341797]---> BDD-cost:  379
1.78/1.81	c ---[341796]---> BDD-cost:  379
1.78/1.81	c ---[341795]---> BDD-cost:  379
1.78/1.81	c ---[341794]---> BDD-cost:  379
1.78/1.81	c ---[341793]---> BDD-cost:  379
1.78/1.81	c ---[341792]---> BDD-cost:  379
1.78/1.81	c ---[341791]---> BDD-cost:  379
1.78/1.81	c ---[341790]---> BDD-cost:  379
1.78/1.81	c ---[341789]---> BDD-cost:  379
1.78/1.81	c ---[341788]---> BDD-cost:  379
1.78/1.81	c ---[341787]---> BDD-cost:  379
1.78/1.81	c ---[341786]---> BDD-cost:  379
1.78/1.81	c ---[341785]---> BDD-cost:  379
1.78/1.81	c ---[341784]---> BDD-cost:  379
1.78/1.81	c ---[341783]---> BDD-cost:  379
1.78/1.81	c ---[341782]---> BDD-cost:  379
1.78/1.81	c ---[341781]---> BDD-cost:  379
1.78/1.81	c ---[341780]---> BDD-cost:  379
1.78/1.81	c ---[341779]---> BDD-cost:  379
1.78/1.81	c ---[341778]---> BDD-cost:  379
1.78/1.81	c ---[341777]---> BDD-cost:  379
1.78/1.81	c ---[341776]---> BDD-cost:  379
1.78/1.81	c ---[341775]---> BDD-cost:  379
1.78/1.81	c ---[341774]---> BDD-cost:  379
1.78/1.81	c ---[341773]---> BDD-cost:  379
1.78/1.81	c ---[341772]---> BDD-cost:  379
1.78/1.81	c ---[341771]---> BDD-cost:  379
1.78/1.81	c ---[341770]---> BDD-cost:  379
1.78/1.81	c ---[341769]---> BDD-cost:  379
1.78/1.81	c ---[341768]---> BDD-cost:  379
1.78/1.81	c ---[341767]---> BDD-cost:  379
1.78/1.81	c ---[341766]---> BDD-cost:  379
1.78/1.81	c ---[341765]---> BDD-cost:  379
1.78/1.81	c ---[341764]---> BDD-cost:  379
1.78/1.81	c ---[341763]---> BDD-cost:  379
1.78/1.81	c ---[341762]---> BDD-cost:  379
1.78/1.81	c ---[341761]---> BDD-cost:  379
1.78/1.81	c ---[341760]---> BDD-cost:  379
1.78/1.81	c ---[341759]---> BDD-cost:  379
1.78/1.81	c ---[341758]---> BDD-cost:  379
1.78/1.81	c ---[341757]---> BDD-cost:  379
1.78/1.81	c ---[341756]---> BDD-cost:  379
1.78/1.81	c ---[341755]---> BDD-cost:  379
1.78/1.81	c ---[341754]---> BDD-cost:  379
1.78/1.85	c ---[341753]---> BDD-cost:  379
1.78/1.85	c ---[341752]---> BDD-cost:  379
1.78/1.85	c ---[341751]---> BDD-cost:  379
1.78/1.85	c ---[341750]---> BDD-cost:  379
1.78/1.85	c ---[341749]---> BDD-cost:  379
1.78/1.85	c ---[341748]---> BDD-cost:  379
1.78/1.85	c ---[341747]---> BDD-cost:  379
1.78/1.85	c ---[341746]---> BDD-cost:  379
1.78/1.85	c ---[341745]---> BDD-cost:  379
1.78/1.85	c ---[341744]---> BDD-cost:  379
1.78/1.85	c ---[341743]---> BDD-cost:  379
1.78/1.85	c ---[341742]---> BDD-cost:  379
1.78/1.85	c ---[341741]---> BDD-cost:  379
1.78/1.85	c ---[341740]---> BDD-cost:  379
1.78/1.85	c ---[341739]---> BDD-cost:  379
1.78/1.85	c ---[341738]---> BDD-cost:  379
1.78/1.85	c ---[341737]---> BDD-cost:  379
1.78/1.85	c ---[341736]---> BDD-cost:  379
1.78/1.85	c ---[341735]---> BDD-cost:  379
1.78/1.85	c ---[341734]---> BDD-cost:  379
1.78/1.85	c ---[341733]---> BDD-cost:  379
1.78/1.85	c ---[341732]---> BDD-cost:  379
1.78/1.86	c ---[341731]---> BDD-cost:  379
1.78/1.86	c ---[341730]---> BDD-cost:  379
1.78/1.86	c ---[341729]---> BDD-cost:  379
1.78/1.86	c ---[341728]---> BDD-cost:  379
1.78/1.86	c ---[341727]---> BDD-cost:  379
1.78/1.86	c ---[341726]---> BDD-cost:  379
1.78/1.86	c ---[341725]---> BDD-cost:  379
1.78/1.86	c ---[341724]---> BDD-cost:  379
1.78/1.86	c ---[341723]---> BDD-cost:  379
1.78/1.86	c ---[341722]---> BDD-cost:  379
1.78/1.86	c ---[341721]---> BDD-cost:  379
1.78/1.86	c ---[341720]---> BDD-cost:  379
1.78/1.86	c ---[341719]---> BDD-cost:  379
1.78/1.86	c ---[341718]---> BDD-cost:  379
1.78/1.86	c ---[341717]---> BDD-cost:  379
1.78/1.86	c ---[341716]---> BDD-cost:  379
1.78/1.86	c ---[341715]---> BDD-cost:  379
1.78/1.86	c ---[341714]---> BDD-cost:  379
1.78/1.86	c ---[341713]---> BDD-cost:  379
1.78/1.86	c ---[341712]---> BDD-cost:  379
1.78/1.86	c ---[341711]---> BDD-cost:  379
1.78/1.86	c ---[341710]---> BDD-cost:  379
1.78/1.86	c ---[341709]---> BDD-cost:  379
1.78/1.86	c ---[341708]---> BDD-cost:  379
1.78/1.86	c ---[341707]---> BDD-cost:  379
1.78/1.86	c ---[341706]---> BDD-cost:  379
1.78/1.86	c ---[341705]---> BDD-cost:  379
1.78/1.86	c ---[341704]---> BDD-cost:  379
1.78/1.86	c ---[341703]---> BDD-cost:  379
1.78/1.86	c ---[341702]---> BDD-cost:  379
1.78/1.86	c ---[341701]---> BDD-cost:  379
1.78/1.86	c ---[341700]---> BDD-cost:  379
1.78/1.86	c ---[341699]---> BDD-cost:  379
1.78/1.86	c ---[341698]---> BDD-cost:  379
1.78/1.86	c ---[341697]---> BDD-cost:  379
1.78/1.86	c ---[341696]---> BDD-cost:  379
1.78/1.86	c ---[341695]---> BDD-cost:  379
1.78/1.86	c ---[341694]---> BDD-cost:  379
1.78/1.86	c ---[341693]---> BDD-cost:  379
1.78/1.86	c ---[341692]---> BDD-cost:  379
1.78/1.86	c ---[341691]---> BDD-cost:  379
1.78/1.86	c ---[341690]---> BDD-cost:  379
1.78/1.86	c ---[341689]---> BDD-cost:  379
1.78/1.86	c ---[341688]---> BDD-cost:  379
1.78/1.86	c ---[341687]---> BDD-cost:  379
1.78/1.86	c ---[341686]---> BDD-cost:  379
1.78/1.86	c ---[341685]---> BDD-cost:  379
1.78/1.86	c ---[341684]---> BDD-cost:  379
1.78/1.86	c ---[341683]---> BDD-cost:  379
1.78/1.86	c ---[341682]---> BDD-cost:  379
1.78/1.86	c ---[341681]---> BDD-cost:  379
1.78/1.86	c ---[341680]---> BDD-cost:  379
1.78/1.86	c ---[341679]---> BDD-cost:  379
1.78/1.86	c ---[341678]---> BDD-cost:  379
1.78/1.86	c ---[341677]---> BDD-cost:  379
1.78/1.86	c ---[341676]---> BDD-cost:  379
1.78/1.86	c ---[341675]---> BDD-cost:  379
1.78/1.86	c ---[341674]---> BDD-cost:  379
1.78/1.86	c ---[341673]---> BDD-cost:  379
1.78/1.86	c ---[341672]---> BDD-cost:  379
1.78/1.86	c ---[341671]---> BDD-cost:  379
1.78/1.87	c ---[341670]---> BDD-cost:  379
1.78/1.87	c ---[341669]---> BDD-cost:  379
1.78/1.87	c ---[341668]---> BDD-cost:  379
1.78/1.87	c ---[341667]---> BDD-cost:  379
1.78/1.87	c ---[341666]---> BDD-cost:  379
1.78/1.87	c ---[341665]---> BDD-cost:  379
1.78/1.87	c ---[341664]---> BDD-cost:  379
1.78/1.87	c ---[341663]---> BDD-cost:  379
1.78/1.87	c ---[341662]---> BDD-cost:  379
1.78/1.87	c ---[341661]---> BDD-cost:  379
1.78/1.87	c ---[341660]---> BDD-cost:  379
1.78/1.87	c ---[341659]---> BDD-cost:  379
1.78/1.87	c ---[341658]---> BDD-cost:  379
1.78/1.87	c ---[341657]---> BDD-cost:  379
1.78/1.87	c ---[341656]---> BDD-cost:  379
1.78/1.87	c ---[341655]---> BDD-cost:  379
1.78/1.87	c ---[341654]---> BDD-cost:  379
1.78/1.87	c ---[341653]---> BDD-cost:  379
1.78/1.87	c ---[341652]---> BDD-cost:  379
1.78/1.87	c ---[341651]---> BDD-cost:  379
1.78/1.87	c ---[341650]---> BDD-cost:  379
1.78/1.87	c ---[341649]---> BDD-cost:  379
1.78/1.87	c ---[341648]---> BDD-cost:  379
1.78/1.87	c ---[341647]---> BDD-cost:  379
1.78/1.87	c ---[341646]---> BDD-cost:  379
1.78/1.87	c ---[341645]---> BDD-cost:  379
1.78/1.87	c ---[341644]---> BDD-cost:  379
1.78/1.87	c ---[341643]---> BDD-cost:  379
1.78/1.87	c ---[341642]---> BDD-cost:  379
1.78/1.87	c ---[341641]---> BDD-cost:  379
1.78/1.87	c ---[341640]---> BDD-cost:  379
1.78/1.87	c ---[341639]---> BDD-cost:  379
1.78/1.87	c ---[341638]---> BDD-cost:  379
1.78/1.87	c ---[341637]---> BDD-cost:  379
1.78/1.87	c ---[341636]---> BDD-cost:  379
1.78/1.87	c ---[341635]---> BDD-cost:  379
1.78/1.87	c ---[341634]---> BDD-cost:  379
1.78/1.87	c ---[341633]---> BDD-cost:  379
1.78/1.87	c ---[341632]---> BDD-cost:  379
1.78/1.87	c ---[341631]---> BDD-cost:  379
1.78/1.87	c ---[341630]---> BDD-cost:  379
1.78/1.87	c ---[341629]---> BDD-cost:  379
1.78/1.87	c ---[341628]---> BDD-cost:  379
1.78/1.87	c ---[341627]---> BDD-cost:  379
1.78/1.87	c ---[341626]---> BDD-cost:  379
1.78/1.87	c ---[341625]---> BDD-cost:  379
1.78/1.87	c ---[341624]---> BDD-cost:  379
1.78/1.87	c ---[341623]---> BDD-cost:  379
1.78/1.87	c ---[341622]---> BDD-cost:  379
1.78/1.87	c ---[341621]---> BDD-cost:  379
1.78/1.87	c ---[341620]---> BDD-cost:  379
1.78/1.87	c ---[341619]---> BDD-cost:  379
1.78/1.87	c ---[341618]---> BDD-cost:  379
1.78/1.87	c ---[341617]---> BDD-cost:  379
1.78/1.87	c ---[341616]---> BDD-cost:  379
1.78/1.87	c ---[341615]---> BDD-cost:  379
1.78/1.87	c ---[341614]---> BDD-cost:  379
1.78/1.87	c ---[341613]---> BDD-cost:  379
1.78/1.87	c ---[341612]---> BDD-cost:  379
1.78/1.87	c ---[341611]---> BDD-cost:  379
1.78/1.88	c ---[341610]---> BDD-cost:  379
1.78/1.88	c ---[341609]---> BDD-cost:  379
1.78/1.88	c ---[341608]---> BDD-cost:  379
1.78/1.88	c ---[341607]---> BDD-cost:  379
1.78/1.88	c ---[341606]---> BDD-cost:  379
1.78/1.88	c ---[341605]---> BDD-cost:  379
1.78/1.88	c ---[341604]---> BDD-cost:  379
1.78/1.88	c ---[341603]---> BDD-cost:  379
1.78/1.88	c ---[341602]---> BDD-cost:  379
1.78/1.88	c ---[341601]---> BDD-cost:  379
1.78/1.88	c ---[341600]---> BDD-cost:  379
1.78/1.88	c ---[341599]---> BDD-cost:  379
1.78/1.88	c ---[341598]---> BDD-cost:  379
1.78/1.88	c ---[341597]---> BDD-cost:  379
1.78/1.88	c ---[341596]---> BDD-cost:  379
1.78/1.88	c ---[341595]---> BDD-cost:  379
1.78/1.88	c ---[341594]---> BDD-cost:  379
1.78/1.88	c ---[341593]---> BDD-cost:  379
1.78/1.88	c ---[341592]---> BDD-cost:  379
1.78/1.88	c ---[341591]---> BDD-cost:  379
1.78/1.88	c ---[341590]---> BDD-cost:  379
1.78/1.88	c ---[341589]---> BDD-cost:  379
1.78/1.88	c ---[341588]---> BDD-cost:  379
1.78/1.88	c ---[341587]---> BDD-cost:  379
1.78/1.88	c ---[341586]---> BDD-cost:  379
1.78/1.88	c ---[341585]---> BDD-cost:  379
1.78/1.88	c ---[341584]---> BDD-cost:  379
1.78/1.88	c ---[341583]---> BDD-cost:  379
1.78/1.88	c ---[341582]---> BDD-cost:  379
1.78/1.88	c ---[341581]---> BDD-cost:  379
1.78/1.88	c ---[341580]---> BDD-cost:  379
1.78/1.88	c ---[341579]---> BDD-cost:  379
1.78/1.88	c ---[341578]---> BDD-cost:  379
1.78/1.88	c ---[341577]---> BDD-cost:  379
1.78/1.88	c ---[341576]---> BDD-cost:  379
1.78/1.88	c ---[341575]---> BDD-cost:  379
1.78/1.88	c ---[341574]---> BDD-cost:  379
1.78/1.88	c ---[341573]---> BDD-cost:  379
1.78/1.88	c ---[341572]---> BDD-cost:  379
1.78/1.88	c ---[341571]---> BDD-cost:  379
1.78/1.88	c ---[341570]---> BDD-cost:  379
1.78/1.88	c ---[341569]---> BDD-cost:  379
1.78/1.88	c ---[341568]---> BDD-cost:  379
1.78/1.88	c ---[341567]---> BDD-cost:  379
1.78/1.88	c ---[341566]---> BDD-cost:  379
1.78/1.88	c ---[341565]---> BDD-cost:  379
1.78/1.88	c ---[341564]---> BDD-cost:  379
1.78/1.88	c ---[341563]---> BDD-cost:  379
1.78/1.88	c ---[341562]---> BDD-cost:  379
1.78/1.88	c ---[341561]---> BDD-cost:  379
1.78/1.88	c ---[341560]---> BDD-cost:  379
1.78/1.88	c ---[341559]---> BDD-cost:  379
1.78/1.88	c ---[341558]---> BDD-cost:  379
1.78/1.88	c ---[341557]---> BDD-cost:  379
1.78/1.88	c ---[341556]---> BDD-cost:  379
1.78/1.88	c ---[341555]---> BDD-cost:  379
1.78/1.88	c ---[341554]---> BDD-cost:  379
1.78/1.88	c ---[341553]---> BDD-cost:  379
1.78/1.88	c ---[341552]---> BDD-cost:  379
1.78/1.88	c ---[341551]---> BDD-cost:  379
1.78/1.88	c ---[341550]---> BDD-cost:  379
1.78/1.89	c ---[341549]---> BDD-cost:  379
1.78/1.89	c ---[341548]---> BDD-cost:  379
1.78/1.89	c ---[341547]---> BDD-cost:  379
1.78/1.89	c ---[341546]---> BDD-cost:  379
1.78/1.89	c ---[341545]---> BDD-cost:  379
1.78/1.89	c ---[341544]---> BDD-cost:  379
1.78/1.89	c ---[341543]---> BDD-cost:  379
1.78/1.89	c ---[341542]---> BDD-cost:  379
1.78/1.89	c ---[341541]---> BDD-cost:  379
1.78/1.89	c ---[341540]---> BDD-cost:  379
1.78/1.89	c ---[341539]---> BDD-cost:  379
1.78/1.89	c ---[341538]---> BDD-cost:  379
1.78/1.89	c ---[341537]---> BDD-cost:  379
1.78/1.89	c ---[341536]---> BDD-cost:  379
1.78/1.89	c ---[341535]---> BDD-cost:  379
1.78/1.89	c ---[341534]---> BDD-cost:  379
1.78/1.89	c ---[341533]---> BDD-cost:  379
1.78/1.89	c ---[341532]---> BDD-cost:  379
1.78/1.89	c ---[341531]---> BDD-cost:  379
1.78/1.89	c ---[341530]---> BDD-cost:  379
1.78/1.89	c ---[341529]---> BDD-cost:  379
1.78/1.89	c ---[341528]---> BDD-cost:  379
1.78/1.89	c ---[341527]---> BDD-cost:  379
1.78/1.89	c ---[341526]---> BDD-cost:  379
1.78/1.89	c ---[341525]---> BDD-cost:  379
1.78/1.89	c ---[341524]---> BDD-cost:  379
1.78/1.89	c ---[341523]---> BDD-cost:  379
1.78/1.89	c ---[341522]---> BDD-cost:  379
1.78/1.89	c ---[341521]---> BDD-cost:  379
1.78/1.89	c ---[341520]---> BDD-cost:  379
1.78/1.89	c ---[341519]---> BDD-cost:  379
1.78/1.89	c ---[341518]---> BDD-cost:  379
1.78/1.89	c ---[341517]---> BDD-cost:  379
1.78/1.89	c ---[341516]---> BDD-cost:  379
1.78/1.89	c ---[341515]---> BDD-cost:  379
1.78/1.89	c ---[341514]---> BDD-cost:  379
1.78/1.89	c ---[341513]---> BDD-cost:  379
1.78/1.89	c ---[341512]---> BDD-cost:  379
1.78/1.89	c ---[341511]---> BDD-cost:  379
1.78/1.89	c ---[341510]---> BDD-cost:  379
1.78/1.89	c ---[341509]---> BDD-cost:  379
1.78/1.89	c ---[341508]---> BDD-cost:  379
1.78/1.89	c ---[341507]---> BDD-cost:  379
1.78/1.89	c ---[341506]---> BDD-cost:  379
1.78/1.89	c ---[341505]---> BDD-cost:  379
1.78/1.89	c ---[341504]---> BDD-cost:  379
1.78/1.89	c ---[341503]---> BDD-cost:  379
1.78/1.89	c ---[341502]---> BDD-cost:  379
1.78/1.89	c ---[341501]---> BDD-cost:  379
1.78/1.89	c ---[341500]---> BDD-cost:  379
1.78/1.89	c ---[341499]---> BDD-cost:  379
1.78/1.89	c ---[341498]---> BDD-cost:  379
1.78/1.89	c ---[341497]---> BDD-cost:  379
1.78/1.89	c ---[341496]---> BDD-cost:  379
1.78/1.89	c ---[341495]---> BDD-cost:  379
1.78/1.89	c ---[341494]---> BDD-cost:  379
1.78/1.89	c ---[341493]---> BDD-cost:  379
1.78/1.89	c ---[341492]---> BDD-cost:  379
1.78/1.89	c ---[341491]---> BDD-cost:  379
1.78/1.89	c ---[341490]---> BDD-cost:  379
1.78/1.90	c ---[341489]---> BDD-cost:  379
1.78/1.90	c ---[341488]---> BDD-cost:  379
1.89/1.90	c ---[341487]---> BDD-cost:  379
1.89/1.90	c ---[341486]---> BDD-cost:  379
1.89/1.90	c ---[341485]---> BDD-cost:  379
1.89/1.90	c ---[341484]---> BDD-cost:  379
1.89/1.90	c ---[341483]---> BDD-cost:  379
1.89/1.90	c ---[341482]---> BDD-cost:  379
1.89/1.90	c ---[341481]---> BDD-cost:  379
1.89/1.90	c ---[341480]---> BDD-cost:  379
1.89/1.90	c ---[341479]---> BDD-cost:  379
1.89/1.90	c ---[341478]---> BDD-cost:  379
1.89/1.90	c ---[341477]---> BDD-cost:  379
1.89/1.90	c ---[341476]---> BDD-cost:  379
1.89/1.90	c ---[341475]---> BDD-cost:  379
1.89/1.90	c ---[341474]---> BDD-cost:  379
1.89/1.90	c ---[341473]---> BDD-cost:  379
1.89/1.90	c ---[341472]---> BDD-cost:  379
1.89/1.90	c ---[341471]---> BDD-cost:  379
1.89/1.90	c ---[341470]---> BDD-cost:  379
1.89/1.90	c ---[341469]---> BDD-cost:  379
1.89/1.90	c ---[341468]---> BDD-cost:  379
1.89/1.90	c ---[341467]---> BDD-cost:  379
1.89/1.90	c ---[341466]---> BDD-cost:  379
1.89/1.90	c ---[341465]---> BDD-cost:  379
1.89/1.90	c ---[341464]---> BDD-cost:  379
1.89/1.90	c ---[341463]---> BDD-cost:  379
1.89/1.90	c ---[341462]---> BDD-cost:  379
1.89/1.90	c ---[341461]---> BDD-cost:  379
1.89/1.90	c ---[341460]---> BDD-cost:  379
1.89/1.90	c ---[341459]---> BDD-cost:  379
1.89/1.90	c ---[341458]---> BDD-cost:  379
1.89/1.90	c ---[341457]---> BDD-cost:  379
1.89/1.90	c ---[341456]---> BDD-cost:  379
1.89/1.90	c ---[341455]---> BDD-cost:  379
1.89/1.90	c ---[341454]---> BDD-cost:  379
1.89/1.90	c ---[341453]---> BDD-cost:  379
1.89/1.90	c ---[341452]---> BDD-cost:  379
1.89/1.90	c ---[341451]---> BDD-cost:  379
1.89/1.90	c ---[341450]---> BDD-cost:  379
1.89/1.90	c ---[341449]---> BDD-cost:  379
1.89/1.90	c ---[341448]---> BDD-cost:  379
1.89/1.90	c ---[341447]---> BDD-cost:  379
1.89/1.90	c ---[341446]---> BDD-cost:  379
1.89/1.90	c ---[341445]---> BDD-cost:  379
1.89/1.90	c ---[341444]---> BDD-cost:  379
1.89/1.90	c ---[341443]---> BDD-cost:  379
1.89/1.90	c ---[341442]---> BDD-cost:  379
1.89/1.90	c ---[341441]---> BDD-cost:  379
1.89/1.90	c ---[341440]---> BDD-cost:  379
1.89/1.90	c ---[341439]---> BDD-cost:  379
1.89/1.90	c ---[341438]---> BDD-cost:  379
1.89/1.90	c ---[341437]---> BDD-cost:  379
1.89/1.90	c ---[341436]---> BDD-cost:  379
1.89/1.90	c ---[341435]---> BDD-cost:  379
1.89/1.90	c ---[341434]---> BDD-cost:  379
1.89/1.90	c ---[341433]---> BDD-cost:  379
1.89/1.90	c ---[341432]---> BDD-cost:  379
1.89/1.90	c ---[341431]---> BDD-cost:  379
1.89/1.90	c ---[341430]---> BDD-cost:  379
1.89/1.91	c ---[341429]---> BDD-cost:  379
1.89/1.91	c ---[341428]---> BDD-cost:  379
1.89/1.91	c ---[341427]---> BDD-cost:  379
1.89/1.91	c ---[341426]---> BDD-cost:  379
1.89/1.91	c ---[341425]---> BDD-cost:  379
1.89/1.91	c ---[341424]---> BDD-cost:  379
1.89/1.91	c ---[341423]---> BDD-cost:  379
1.89/1.91	c ---[341422]---> BDD-cost:  379
1.89/1.91	c ---[341421]---> BDD-cost:  379
1.89/1.91	c ---[341420]---> BDD-cost:  379
1.89/1.91	c ---[341419]---> BDD-cost:  379
1.89/1.91	c ---[341418]---> BDD-cost:  379
1.89/1.91	c ---[341417]---> BDD-cost:  379
1.89/1.91	c ---[341416]---> BDD-cost:  379
1.89/1.91	c ---[341415]---> BDD-cost:  379
1.89/1.91	c ---[341414]---> BDD-cost:  379
1.89/1.91	c ---[341413]---> BDD-cost:  379
1.89/1.91	c ---[341412]---> BDD-cost:  379
1.89/1.91	c ---[341411]---> BDD-cost:  379
1.89/1.91	c ---[341410]---> BDD-cost:  379
1.89/1.91	c ---[341409]---> BDD-cost:  379
1.89/1.91	c ---[341408]---> BDD-cost:  379
1.89/1.91	c ---[341407]---> BDD-cost:  379
1.89/1.91	c ---[341406]---> BDD-cost:  379
1.89/1.91	c ---[341405]---> BDD-cost:  379
1.89/1.91	c ---[341404]---> BDD-cost:  379
1.89/1.91	c ---[341403]---> BDD-cost:  379
1.89/1.91	c ---[341402]---> BDD-cost:  379
1.89/1.91	c ---[341401]---> BDD-cost:  379
1.89/1.91	c ---[341400]---> BDD-cost:  379
1.89/1.91	c ---[341399]---> BDD-cost:  379
1.89/1.91	c ---[341398]---> BDD-cost:  379
1.89/1.91	c ---[341397]---> BDD-cost:  379
1.89/1.91	c ---[341396]---> BDD-cost:  379
1.89/1.91	c ---[341395]---> BDD-cost:  379
1.89/1.91	c ---[341394]---> BDD-cost:  379
1.89/1.91	c ---[341393]---> BDD-cost:  379
1.89/1.91	c ---[341392]---> BDD-cost:  379
1.89/1.91	c ---[341391]---> BDD-cost:  379
1.89/1.91	c ---[341390]---> BDD-cost:  379
1.89/1.91	c ---[341389]---> BDD-cost:  379
1.89/1.91	c ---[341388]---> BDD-cost:  379
1.89/1.91	c ---[341387]---> BDD-cost:  379
1.89/1.91	c ---[341386]---> BDD-cost:  379
1.89/1.91	c ---[341385]---> BDD-cost:  379
1.89/1.92	c ---[341384]---> BDD-cost:  379
1.89/1.92	c ---[341383]---> BDD-cost:  379
1.89/1.92	c ---[341382]---> BDD-cost:  379
1.89/1.92	c ---[341381]---> BDD-cost:  379
1.89/1.92	c ---[341380]---> BDD-cost:  379
1.89/1.92	c ---[341379]---> BDD-cost:  379
1.89/1.92	c ---[341378]---> BDD-cost:  379
1.89/1.92	c ---[341377]---> BDD-cost:  379
1.89/1.92	c ---[341376]---> BDD-cost:  379
1.89/1.92	c ---[341375]---> BDD-cost:  379
1.89/1.92	c ---[341374]---> BDD-cost:  379
1.89/1.92	c ---[341373]---> BDD-cost:  379
1.89/1.92	c ---[341372]---> BDD-cost:  379
1.89/1.92	c ---[341371]---> BDD-cost:  379
1.89/1.92	c ---[341370]---> BDD-cost:  379
1.89/1.92	c ---[341369]---> BDD-cost:  379
1.89/1.92	c ---[341368]---> BDD-cost:  379
1.89/1.92	c ---[341367]---> BDD-cost:  379
1.89/1.92	c ---[341366]---> BDD-cost:  379
1.89/1.92	c ---[341365]---> BDD-cost:  379
1.89/1.92	c ---[341364]---> BDD-cost:  379
1.89/1.92	c ---[341363]---> BDD-cost:  379
1.89/1.92	c ---[341362]---> BDD-cost:  379
1.89/1.92	c ---[341361]---> BDD-cost:  379
1.89/1.92	c ---[341360]---> BDD-cost:  379
1.89/1.92	c ---[341359]---> BDD-cost:  379
1.89/1.92	c ---[341358]---> BDD-cost:  379
1.89/1.92	c ---[341357]---> BDD-cost:  379
1.89/1.92	c ---[341356]---> BDD-cost:  379
1.89/1.92	c ---[341355]---> BDD-cost:  379
1.89/1.92	c ---[341354]---> BDD-cost:  379
1.89/1.92	c ---[341353]---> BDD-cost:  379
1.89/1.92	c ---[341352]---> BDD-cost:  379
1.89/1.92	c ---[341351]---> BDD-cost:  379
1.89/1.92	c ---[341350]---> BDD-cost:  379
1.89/1.92	c ---[341349]---> BDD-cost:  379
1.89/1.92	c ---[341348]---> BDD-cost:  379
1.89/1.92	c ---[341347]---> BDD-cost:  379
1.89/1.92	c ---[341346]---> BDD-cost:  379
1.89/1.92	c ---[341345]---> BDD-cost:  379
1.89/1.92	c ---[341344]---> BDD-cost:  379
1.89/1.92	c ---[341343]---> BDD-cost:  379
1.89/1.92	c ---[341342]---> BDD-cost:  379
1.89/1.92	c ---[341341]---> BDD-cost:  379
1.89/1.92	c ---[341340]---> BDD-cost:  379
1.89/1.92	c ---[341339]---> BDD-cost:  379
1.89/1.92	c ---[341338]---> BDD-cost:  379
1.89/1.92	c ---[341337]---> BDD-cost:  379
1.89/1.92	c ---[341336]---> BDD-cost:  379
1.89/1.92	c ---[341335]---> BDD-cost:  379
1.89/1.92	c ---[341334]---> BDD-cost:  379
1.89/1.92	c ---[341333]---> BDD-cost:  379
1.89/1.92	c ---[341332]---> BDD-cost:  379
1.89/1.92	c ---[341331]---> BDD-cost:  379
1.89/1.92	c ---[341330]---> BDD-cost:  379
1.89/1.92	c ---[341329]---> BDD-cost:  379
1.89/1.92	c ---[341328]---> BDD-cost:  379
1.89/1.92	c ---[341327]---> BDD-cost:  379
1.89/1.92	c ---[341326]---> BDD-cost:  379
1.89/1.92	c ---[341325]---> BDD-cost:  379
1.89/1.93	c ---[341324]---> BDD-cost:  379
1.89/1.93	c ---[341323]---> BDD-cost:  379
1.89/1.93	c ---[341322]---> BDD-cost:  379
1.89/1.93	c ---[341321]---> BDD-cost:  379
1.89/1.93	c ---[341320]---> BDD-cost:  379
1.89/1.93	c ---[341319]---> BDD-cost:  379
1.89/1.93	c ---[341318]---> BDD-cost:  379
1.89/1.93	c ---[341317]---> BDD-cost:  379
1.89/1.93	c ---[341316]---> BDD-cost:  379
1.89/1.93	c ---[341315]---> BDD-cost:  379
1.89/1.93	c ---[341314]---> BDD-cost:  379
1.89/1.93	c ---[341313]---> BDD-cost:  379
1.89/1.93	c ---[341312]---> BDD-cost:  379
1.89/1.93	c ---[341311]---> BDD-cost:  379
1.89/1.93	c ---[341310]---> BDD-cost:  379
1.89/1.93	c ---[341309]---> BDD-cost:  379
1.89/1.93	c ---[341308]---> BDD-cost:  379
1.89/1.93	c ---[341307]---> BDD-cost:  379
1.89/1.93	c ---[341306]---> BDD-cost:  379
1.89/1.93	c ---[341305]---> BDD-cost:  379
1.89/1.93	c ---[341304]---> BDD-cost:  379
1.89/1.93	c ---[341303]---> BDD-cost:  379
1.89/1.93	c ---[341302]---> BDD-cost:  379
1.89/1.93	c ---[341301]---> BDD-cost:  379
1.89/1.93	c ---[341300]---> BDD-cost:  379
1.89/1.93	c ---[341299]---> BDD-cost:  379
1.89/1.93	c ---[341298]---> BDD-cost:  379
1.89/1.93	c ---[341297]---> BDD-cost:  379
1.89/1.93	c ---[341296]---> BDD-cost:  379
1.89/1.93	c ---[341295]---> BDD-cost:  379
1.89/1.93	c ---[341294]---> BDD-cost:  379
1.89/1.93	c ---[341293]---> BDD-cost:  379
1.89/1.93	c ---[341292]---> BDD-cost:  379
1.89/1.93	c ---[341291]---> BDD-cost:  379
1.89/1.93	c ---[341290]---> BDD-cost:  379
1.89/1.93	c ---[341289]---> BDD-cost:  379
1.89/1.93	c ---[341288]---> BDD-cost:  379
1.89/1.93	c ---[341287]---> BDD-cost:  379
1.89/1.93	c ---[341286]---> BDD-cost:  379
1.89/1.93	c ---[341285]---> BDD-cost:  379
1.89/1.93	c ---[341284]---> BDD-cost:  379
1.89/1.93	c ---[341283]---> BDD-cost:  379
1.89/1.93	c ---[341282]---> BDD-cost:  379
1.89/1.93	c ---[341281]---> BDD-cost:  379
1.89/1.93	c ---[341280]---> BDD-cost:  379
1.89/1.93	c ---[341279]---> BDD-cost:  379
1.89/1.93	c ---[341278]---> BDD-cost:  379
1.89/1.93	c ---[341277]---> BDD-cost:  379
1.89/1.93	c ---[341276]---> BDD-cost:  379
1.89/1.93	c ---[341275]---> BDD-cost:  379
1.89/1.93	c ---[341274]---> BDD-cost:  379
1.89/1.93	c ---[341273]---> BDD-cost:  379
1.89/1.93	c ---[341272]---> BDD-cost:  379
1.89/1.93	c ---[341271]---> BDD-cost:  379
1.89/1.93	c ---[341270]---> BDD-cost:  379
1.89/1.93	c ---[341269]---> BDD-cost:  379
1.89/1.93	c ---[341268]---> BDD-cost:  379
1.89/1.93	c ---[341267]---> BDD-cost:  379
1.89/1.93	c ---[341266]---> BDD-cost:  379
1.89/1.93	c ---[341265]---> BDD-cost:  379
1.89/1.94	c ---[341264]---> BDD-cost:  379
1.89/1.94	c ---[341263]---> BDD-cost:  379
1.89/1.94	c ---[341262]---> BDD-cost:  379
1.89/1.94	c ---[341261]---> BDD-cost:  379
1.89/1.94	c ---[341260]---> BDD-cost:  379
1.89/1.94	c ---[341259]---> BDD-cost:  379
1.89/1.94	c ---[341258]---> BDD-cost:  379
1.89/1.94	c ---[341257]---> BDD-cost:  379
1.89/1.94	c ---[341256]---> BDD-cost:  379
1.89/1.94	c ---[341255]---> BDD-cost:  379
1.89/1.94	c ---[341254]---> BDD-cost:  379
1.89/1.94	c ---[341253]---> BDD-cost:  379
1.89/1.94	c ---[341252]---> BDD-cost:  379
1.89/1.94	c ---[341251]---> BDD-cost:  379
1.89/1.94	c ---[341250]---> BDD-cost:  379
1.89/1.94	c ---[341249]---> BDD-cost:  379
1.89/1.94	c ---[341248]---> BDD-cost:  379
1.89/1.94	c ---[341247]---> BDD-cost:  379
1.89/1.94	c ---[341246]---> BDD-cost:  379
1.89/1.94	c ---[341245]---> BDD-cost:  379
1.89/1.94	c ---[341244]---> BDD-cost:  379
1.89/1.94	c ---[341243]---> BDD-cost:  379
1.89/1.94	c ---[341242]---> BDD-cost:  379
1.89/1.94	c ---[341241]---> BDD-cost:  379
1.89/1.94	c ---[341240]---> BDD-cost:  379
1.89/1.94	c ---[341239]---> BDD-cost:  379
1.89/1.94	c ---[341238]---> BDD-cost:  379
1.89/1.94	c ---[341237]---> BDD-cost:  379
1.89/1.94	c ---[341236]---> BDD-cost:  379
1.89/1.94	c ---[341235]---> BDD-cost:  379
1.89/1.94	c ---[341234]---> BDD-cost:  379
1.89/1.94	c ---[341233]---> BDD-cost:  379
1.89/1.94	c ---[341232]---> BDD-cost:  379
1.89/1.94	c ---[341231]---> BDD-cost:  379
1.89/1.94	c ---[341230]---> BDD-cost:  379
1.89/1.94	c ---[341229]---> BDD-cost:  379
1.89/1.94	c ---[341228]---> BDD-cost:  379
1.89/1.94	c ---[341227]---> BDD-cost:  379
1.89/1.94	c ---[341226]---> BDD-cost:  379
1.89/1.94	c ---[341225]---> BDD-cost:  379
1.89/1.94	c ---[341224]---> BDD-cost:  379
1.89/1.94	c ---[341223]---> BDD-cost:  379
1.89/1.94	c ---[341222]---> BDD-cost:  379
1.89/1.94	c ---[341221]---> BDD-cost:  379
1.89/1.94	c ---[341220]---> BDD-cost:  379
1.89/1.94	c ---[341219]---> BDD-cost:  379
1.89/1.94	c ---[341218]---> BDD-cost:  379
1.89/1.94	c ---[341217]---> BDD-cost:  379
1.89/1.94	c ---[341216]---> BDD-cost:  379
1.89/1.94	c ---[341215]---> BDD-cost:  379
1.89/1.94	c ---[341214]---> BDD-cost:  379
1.89/1.94	c ---[341213]---> BDD-cost:  379
1.89/1.94	c ---[341212]---> BDD-cost:  379
1.89/1.94	c ---[341211]---> BDD-cost:  379
1.89/1.94	c ---[341210]---> BDD-cost:  379
1.89/1.94	c ---[341209]---> BDD-cost:  379
1.89/1.94	c ---[341208]---> BDD-cost:  379
1.89/1.94	c ---[341207]---> BDD-cost:  379
1.89/1.94	c ---[341206]---> BDD-cost:  379
1.89/1.94	c ---[341205]---> BDD-cost:  379
1.89/1.95	c ---[341204]---> BDD-cost:  379
1.89/1.95	c ---[341203]---> BDD-cost:  379
1.89/1.95	c ---[341202]---> BDD-cost:  379
1.89/1.95	c ---[341201]---> BDD-cost:  379
1.89/1.95	c ---[341200]---> BDD-cost:  379
1.89/1.95	c ---[341199]---> BDD-cost:  379
1.89/1.95	c ---[341198]---> BDD-cost:  379
1.89/1.95	c ---[341197]---> BDD-cost:  379
1.89/1.95	c ---[341196]---> BDD-cost:  379
1.89/1.95	c ---[341195]---> BDD-cost:  379
1.89/1.95	c ---[341194]---> BDD-cost:  379
1.89/1.95	c ---[341193]---> BDD-cost:  379
1.89/1.95	c ---[341192]---> BDD-cost:  379
1.89/1.95	c ---[341191]---> BDD-cost:  379
1.89/1.95	c ---[341190]---> BDD-cost:  379
1.89/1.95	c ---[341189]---> BDD-cost:  379
1.89/1.95	c ---[341188]---> BDD-cost:  379
1.89/1.95	c ---[341187]---> BDD-cost:  379
1.89/1.95	c ---[341186]---> BDD-cost:  379
1.89/1.95	c ---[341185]---> BDD-cost:  379
1.89/1.95	c ---[341184]---> BDD-cost:  379
1.89/1.95	c ---[341183]---> BDD-cost:  379
1.89/1.95	c ---[341182]---> BDD-cost:  379
1.89/1.95	c ---[341181]---> BDD-cost:  379
1.89/1.95	c ---[341180]---> BDD-cost:  379
1.89/1.95	c ---[341179]---> BDD-cost:  379
1.89/1.95	c ---[341178]---> BDD-cost:  379
1.89/1.95	c ---[341177]---> BDD-cost:  379
1.89/1.95	c ---[341176]---> BDD-cost:  379
1.89/1.95	c ---[341175]---> BDD-cost:  379
1.89/1.95	c ---[341174]---> BDD-cost:  379
1.89/1.95	c ---[341173]---> BDD-cost:  379
1.89/1.95	c ---[341172]---> BDD-cost:  379
1.89/1.95	c ---[341171]---> BDD-cost:  379
1.89/1.95	c ---[341170]---> BDD-cost:  379
1.89/1.95	c ---[341169]---> BDD-cost:  379
1.89/1.95	c ---[341168]---> BDD-cost:  379
1.89/1.95	c ---[341167]---> BDD-cost:  379
1.89/1.95	c ---[341166]---> BDD-cost:  379
1.89/1.95	c ---[341165]---> BDD-cost:  379
1.89/1.95	c ---[341164]---> BDD-cost:  379
1.89/1.95	c ---[341163]---> BDD-cost:  379
1.89/1.95	c ---[341162]---> BDD-cost:  379
1.89/1.95	c ---[341161]---> BDD-cost:  379
1.89/1.95	c ---[341160]---> BDD-cost:  379
1.89/1.95	c ---[341159]---> BDD-cost:  379
1.89/1.95	c ---[341158]---> BDD-cost:  379
1.89/1.95	c ---[341157]---> BDD-cost:  379
1.89/1.95	c ---[341156]---> BDD-cost:  379
1.89/1.95	c ---[341155]---> BDD-cost:  379
1.89/1.95	c ---[341154]---> BDD-cost:  379
1.89/1.95	c ---[341153]---> BDD-cost:  379
1.89/1.95	c ---[341152]---> BDD-cost:  379
1.89/1.95	c ---[341151]---> BDD-cost:  379
1.89/1.95	c ---[341150]---> BDD-cost:  379
1.89/1.95	c ---[341149]---> BDD-cost:  379
1.89/1.95	c ---[341148]---> BDD-cost:  379
1.89/1.95	c ---[341147]---> BDD-cost:  379
1.89/1.95	c ---[341146]---> BDD-cost:  379
1.89/1.95	c ---[341145]---> BDD-cost:  379
1.89/1.96	c ---[341144]---> BDD-cost:  379
1.89/1.96	c ---[341143]---> BDD-cost:  379
1.89/1.96	c ---[341142]---> BDD-cost:  379
1.89/1.96	c ---[341141]---> BDD-cost:  379
1.89/1.96	c ---[341140]---> BDD-cost:  379
1.89/1.96	c ---[341139]---> BDD-cost:  379
1.89/1.96	c ---[341138]---> BDD-cost:  379
1.89/1.96	c ---[341137]---> BDD-cost:  379
1.89/1.96	c ---[341136]---> BDD-cost:  379
1.89/1.96	c ---[341135]---> BDD-cost:  379
1.89/1.96	c ---[341134]---> BDD-cost:  379
1.89/1.96	c ---[341133]---> BDD-cost:  379
1.89/1.96	c ---[341132]---> BDD-cost:  379
1.89/1.96	c ---[341131]---> BDD-cost:  379
1.89/1.96	c ---[341130]---> BDD-cost:  379
1.89/1.96	c ---[341129]---> BDD-cost:  379
1.89/1.96	c ---[341128]---> BDD-cost:  379
1.89/1.96	c ---[341127]---> BDD-cost:  379
1.89/1.96	c ---[341126]---> BDD-cost:  379
1.89/1.96	c ---[341125]---> BDD-cost:  379
1.89/1.96	c ---[341124]---> BDD-cost:  379
1.89/1.96	c ---[341123]---> BDD-cost:  379
1.89/1.96	c ---[341122]---> BDD-cost:  379
1.89/1.96	c ---[341121]---> BDD-cost:  379
1.89/1.96	c ---[341120]---> BDD-cost:  379
1.89/1.96	c ---[341119]---> BDD-cost:  379
1.89/1.96	c ---[341118]---> BDD-cost:  379
1.89/1.96	c ---[341117]---> BDD-cost:  379
1.89/1.96	c ---[341116]---> BDD-cost:  379
1.89/1.96	c ---[341115]---> BDD-cost:  379
1.89/1.96	c ---[341114]---> BDD-cost:  379
1.89/1.96	c ---[341113]---> BDD-cost:  379
1.89/1.96	c ---[341112]---> BDD-cost:  379
1.89/1.96	c ---[341111]---> BDD-cost:  379
1.89/1.96	c ---[341110]---> BDD-cost:  379
1.89/1.96	c ---[341109]---> BDD-cost:  379
1.89/1.96	c ---[341108]---> BDD-cost:  379
1.89/1.96	c ---[341107]---> BDD-cost:  379
1.89/1.96	c ---[341106]---> BDD-cost:  379
1.89/1.96	c ---[341105]---> BDD-cost:  379
1.89/1.96	c ---[341104]---> BDD-cost:  379
1.89/1.96	c ---[341103]---> BDD-cost:  379
1.89/1.96	c ---[341102]---> BDD-cost:  379
1.89/1.96	c ---[341101]---> BDD-cost:  379
1.89/1.96	c ---[341100]---> BDD-cost:  379
1.89/1.96	c ---[341099]---> BDD-cost:  379
1.89/1.96	c ---[341098]---> BDD-cost:  379
1.89/1.96	c ---[341097]---> BDD-cost:  379
1.89/1.96	c ---[341096]---> BDD-cost:  379
1.89/1.96	c ---[341095]---> BDD-cost:  379
1.89/1.96	c ---[341094]---> BDD-cost:  379
1.89/1.96	c ---[341093]---> BDD-cost:  379
1.89/1.96	c ---[341092]---> BDD-cost:  379
1.89/1.96	c ---[341091]---> BDD-cost:  379
1.89/1.96	c ---[341090]---> BDD-cost:  379
1.89/1.96	c ---[341089]---> BDD-cost:  379
1.89/1.96	c ---[341088]---> BDD-cost:  379
1.89/1.96	c ---[341087]---> BDD-cost:  379
1.89/1.96	c ---[341086]---> BDD-cost:  379
1.89/1.96	c ---[341085]---> BDD-cost:  379
1.89/1.97	c ---[341084]---> BDD-cost:  379
1.89/1.97	c ---[341083]---> BDD-cost:  379
1.89/1.97	c ---[341082]---> BDD-cost:  379
1.89/1.97	c ---[341081]---> BDD-cost:  379
1.89/1.97	c ---[341080]---> BDD-cost:  379
1.89/1.97	c ---[341079]---> BDD-cost:  379
1.89/1.97	c ---[341078]---> BDD-cost:  379
1.89/1.97	c ---[341077]---> BDD-cost:  379
1.89/1.97	c ---[341076]---> BDD-cost:  379
1.89/1.97	c ---[341075]---> BDD-cost:  379
1.89/1.97	c ---[341074]---> BDD-cost:  379
1.89/1.97	c ---[341073]---> BDD-cost:  379
1.89/1.97	c ---[341072]---> BDD-cost:  379
1.89/1.97	c ---[341071]---> BDD-cost:  379
1.89/1.97	c ---[341070]---> BDD-cost:  379
1.89/1.97	c ---[341069]---> BDD-cost:  379
1.89/1.97	c ---[341068]---> BDD-cost:  379
1.89/1.97	c ---[341067]---> BDD-cost:  379
1.89/1.97	c ---[341066]---> BDD-cost:  379
1.89/1.97	c ---[341065]---> BDD-cost:  379
1.89/1.97	c ---[341064]---> BDD-cost:  379
1.89/1.97	c ---[341063]---> BDD-cost:  379
1.89/1.97	c ---[341062]---> BDD-cost:  379
1.89/1.97	c ---[341061]---> BDD-cost:  379
1.89/1.97	c ---[341060]---> BDD-cost:  379
1.89/1.97	c ---[341059]---> BDD-cost:  379
1.89/1.97	c ---[341058]---> BDD-cost:  379
1.89/1.97	c ---[341057]---> BDD-cost:  379
1.89/1.97	c ---[341056]---> BDD-cost:  379
1.89/1.97	c ---[341055]---> BDD-cost:  379
1.89/1.97	c ---[341054]---> BDD-cost:  379
1.89/1.97	c ---[341053]---> BDD-cost:  379
1.89/1.97	c ---[341052]---> BDD-cost:  379
1.89/1.97	c ---[341051]---> BDD-cost:  379
1.89/1.97	c ---[341050]---> BDD-cost:  379
1.89/1.97	c ---[341049]---> BDD-cost:  379
1.89/1.97	c ---[341048]---> BDD-cost:  379
1.89/1.97	c ---[341047]---> BDD-cost:  379
1.89/1.97	c ---[341046]---> BDD-cost:  379
1.89/1.97	c ---[341045]---> BDD-cost:  379
1.89/1.97	c ---[341044]---> BDD-cost:  379
1.89/1.97	c ---[341043]---> BDD-cost:  379
1.89/1.97	c ---[341042]---> BDD-cost:  379
1.89/1.97	c ---[341041]---> BDD-cost:  379
1.89/1.97	c ---[341040]---> BDD-cost:  379
1.89/1.97	c ---[341039]---> BDD-cost:  379
1.89/1.97	c ---[341038]---> BDD-cost:  379
1.89/1.97	c ---[341037]---> BDD-cost:  379
1.89/1.97	c ---[341036]---> BDD-cost:  379
1.89/1.97	c ---[341035]---> BDD-cost:  379
1.89/1.97	c ---[341034]---> BDD-cost:  379
1.89/1.97	c ---[341033]---> BDD-cost:  379
1.89/1.97	c ---[341032]---> BDD-cost:  379
1.89/1.97	c ---[341031]---> BDD-cost:  379
1.89/1.97	c ---[341030]---> BDD-cost:  379
1.89/1.97	c ---[341029]---> BDD-cost:  379
1.89/1.97	c ---[341028]---> BDD-cost:  379
1.89/1.97	c ---[341027]---> BDD-cost:  379
1.89/1.97	c ---[341026]---> BDD-cost:  379
1.89/1.98	c ---[341025]---> BDD-cost:  379
1.89/1.98	c ---[341024]---> BDD-cost:  379
1.89/1.98	c ---[341023]---> BDD-cost:  379
1.89/1.98	c ---[341022]---> BDD-cost:  379
1.89/1.98	c ---[341021]---> BDD-cost:  379
1.89/1.98	c ---[341020]---> BDD-cost:  379
1.89/1.98	c ---[341019]---> BDD-cost:  379
1.89/1.98	c ---[341018]---> BDD-cost:  379
1.89/1.98	c ---[341017]---> BDD-cost:  379
1.89/1.98	c ---[341016]---> BDD-cost:  379
1.89/1.98	c ---[341015]---> BDD-cost:  379
1.89/1.98	c ---[341014]---> BDD-cost:  379
1.89/1.98	c ---[341013]---> BDD-cost:  379
1.89/1.98	c ---[341012]---> BDD-cost:  379
1.89/1.98	c ---[341011]---> BDD-cost:  379
1.89/1.98	c ---[341010]---> BDD-cost:  379
1.89/1.98	c ---[341009]---> BDD-cost:  379
1.89/1.98	c ---[341008]---> BDD-cost:  379
1.89/1.98	c ---[341007]---> BDD-cost:  379
1.89/1.98	c ---[341006]---> BDD-cost:  379
1.89/1.98	c ---[341005]---> BDD-cost:  379
1.89/1.98	c ---[341004]---> BDD-cost:  379
1.89/1.98	c ---[341003]---> BDD-cost:  379
1.89/1.98	c ---[341002]---> BDD-cost:  379
1.89/1.98	c ---[341001]---> BDD-cost:  379
1.89/1.98	c ---[341000]---> BDD-cost:  379
1.89/1.98	c ---[340999]---> BDD-cost:  379
1.89/1.98	c ---[340998]---> BDD-cost:  379
1.89/1.98	c ---[340997]---> BDD-cost:  379
1.89/1.98	c ---[340996]---> BDD-cost:  379
1.89/1.98	c ---[340995]---> BDD-cost:  379
1.89/1.98	c ---[340994]---> BDD-cost:  379
1.89/1.98	c ---[340993]---> BDD-cost:  379
1.89/1.98	c ---[340992]---> BDD-cost:  379
1.89/1.98	c ---[340991]---> BDD-cost:  379
1.89/1.98	c ---[340990]---> BDD-cost:  379
1.89/1.98	c ---[340989]---> BDD-cost:  379
1.89/1.98	c ---[340988]---> BDD-cost:  379
1.89/1.98	c ---[340987]---> BDD-cost:  379
1.89/1.98	c ---[340986]---> BDD-cost:  379
1.89/1.98	c ---[340985]---> BDD-cost:  379
1.89/1.98	c ---[340984]---> BDD-cost:  379
1.89/1.98	c ---[340983]---> BDD-cost:  379
1.89/1.98	c ---[340982]---> BDD-cost:  379
1.89/1.98	c ---[340981]---> BDD-cost:  379
1.89/1.98	c ---[340980]---> BDD-cost:  379
1.89/1.98	c ---[340979]---> BDD-cost:  379
1.89/1.98	c ---[340978]---> BDD-cost:  379
1.89/1.98	c ---[340977]---> BDD-cost:  379
1.89/1.98	c ---[340976]---> BDD-cost:  379
1.89/1.98	c ---[340975]---> BDD-cost:  379
1.89/1.98	c ---[340974]---> BDD-cost:  379
1.89/1.98	c ---[340973]---> BDD-cost:  379
1.89/1.98	c ---[340972]---> BDD-cost:  379
1.89/1.98	c ---[340971]---> BDD-cost:  379
1.89/1.98	c ---[340970]---> BDD-cost:  379
1.89/1.98	c ---[340969]---> BDD-cost:  379
1.89/1.98	c ---[340968]---> BDD-cost:  379
1.89/1.98	c ---[340967]---> BDD-cost:  379
1.89/1.99	c ---[340966]---> BDD-cost:  379
1.89/1.99	c ---[340965]---> BDD-cost:  379
1.89/1.99	c ---[340964]---> BDD-cost:  379
1.89/1.99	c ---[340963]---> BDD-cost:  379
1.89/1.99	c ---[340962]---> BDD-cost:  379
1.89/1.99	c ---[340961]---> BDD-cost:  379
1.89/1.99	c ---[340960]---> BDD-cost:  379
1.89/1.99	c ---[340959]---> BDD-cost:  379
1.89/1.99	c ---[340958]---> BDD-cost:  379
1.89/1.99	c ---[340957]---> BDD-cost:  379
1.89/1.99	c ---[340956]---> BDD-cost:  379
1.89/1.99	c ---[340955]---> BDD-cost:  379
1.89/1.99	c ---[340954]---> BDD-cost:  379
1.89/1.99	c ---[340953]---> BDD-cost:  379
1.89/1.99	c ---[340952]---> BDD-cost:  379
1.89/1.99	c ---[340951]---> BDD-cost:  379
1.89/1.99	c ---[340950]---> BDD-cost:  379
1.89/1.99	c ---[340949]---> BDD-cost:  379
1.89/1.99	c ---[340948]---> BDD-cost:  379
1.89/1.99	c ---[340947]---> BDD-cost:  379
1.89/1.99	c ---[340946]---> BDD-cost:  379
1.89/1.99	c ---[340945]---> BDD-cost:  379
1.89/1.99	c ---[340944]---> BDD-cost:  379
1.89/1.99	c ---[340943]---> BDD-cost:  379
1.89/1.99	c ---[340942]---> BDD-cost:  379
1.89/1.99	c ---[340941]---> BDD-cost:  379
1.89/1.99	c ---[340940]---> BDD-cost:  379
1.89/1.99	c ---[340939]---> BDD-cost:  379
1.89/1.99	c ---[340938]---> BDD-cost:  379
1.89/1.99	c ---[340937]---> BDD-cost:  379
1.89/1.99	c ---[340936]---> BDD-cost:  379
1.89/1.99	c ---[340935]---> BDD-cost:  379
1.89/1.99	c ---[340934]---> BDD-cost:  379
1.89/1.99	c ---[340933]---> BDD-cost:  379
1.89/1.99	c ---[340932]---> BDD-cost:  379
1.89/1.99	c ---[340931]---> BDD-cost:  379
1.89/1.99	c ---[340930]---> BDD-cost:  379
1.89/1.99	c ---[340929]---> BDD-cost:  379
1.89/1.99	c ---[340928]---> BDD-cost:  379
1.89/1.99	c ---[340927]---> BDD-cost:  379
1.89/1.99	c ---[340926]---> BDD-cost:  379
1.89/1.99	c ---[340925]---> BDD-cost:  379
1.89/1.99	c ---[340924]---> BDD-cost:  379
1.89/1.99	c ---[340923]---> BDD-cost:  379
1.89/1.99	c ---[340922]---> BDD-cost:  379
1.89/1.99	c ---[340921]---> BDD-cost:  379
1.89/1.99	c ---[340920]---> BDD-cost:  379
1.89/1.99	c ---[340919]---> BDD-cost:  379
1.89/1.99	c ---[340918]---> BDD-cost:  379
1.89/1.99	c ---[340917]---> BDD-cost:  379
1.89/1.99	c ---[340916]---> BDD-cost:  379
1.89/1.99	c ---[340915]---> BDD-cost:  379
1.89/1.99	c ---[340914]---> BDD-cost:  379
1.89/1.99	c ---[340913]---> BDD-cost:  379
1.89/1.99	c ---[340912]---> BDD-cost:  379
1.89/1.99	c ---[340911]---> BDD-cost:  379
1.89/1.99	c ---[340910]---> BDD-cost:  379
1.89/1.99	c ---[340909]---> BDD-cost:  379
1.89/1.99	c ---[340908]---> BDD-cost:  379
1.89/2.00	c ---[340907]---> BDD-cost:  379
1.89/2.00	c ---[340906]---> BDD-cost:  379
1.99/2.00	c ---[340905]---> BDD-cost:  379
1.99/2.00	c ---[340904]---> BDD-cost:  379
1.99/2.00	c ---[340903]---> BDD-cost:  379
1.99/2.00	c ---[340902]---> BDD-cost:  379
1.99/2.00	c ---[340901]---> BDD-cost:  379
1.99/2.00	c ---[340900]---> BDD-cost:  379
1.99/2.00	c ---[340899]---> BDD-cost:  379
1.99/2.00	c ---[340898]---> BDD-cost:  379
1.99/2.00	c ---[340897]---> BDD-cost:  379
1.99/2.00	c ---[340896]---> BDD-cost:  379
1.99/2.00	c ---[340895]---> BDD-cost:  379
1.99/2.00	c ---[340894]---> BDD-cost:  379
1.99/2.00	c ---[340893]---> BDD-cost:  379
1.99/2.00	c ---[340892]---> BDD-cost:  379
1.99/2.00	c ---[340891]---> BDD-cost:  379
1.99/2.00	c ---[340890]---> BDD-cost:  379
1.99/2.00	c ---[340889]---> BDD-cost:  379
1.99/2.00	c ---[340888]---> BDD-cost:  379
1.99/2.00	c ---[340887]---> BDD-cost:  379
1.99/2.00	c ---[340886]---> BDD-cost:  379
1.99/2.00	c ---[340885]---> BDD-cost:  379
1.99/2.00	c ---[340884]---> BDD-cost:  379
1.99/2.00	c ---[340883]---> BDD-cost:  379
1.99/2.00	c ---[340882]---> BDD-cost:  379
1.99/2.00	c ---[340881]---> BDD-cost:  379
1.99/2.00	c ---[340880]---> BDD-cost:  379
1.99/2.00	c ---[340879]---> BDD-cost:  379
1.99/2.00	c ---[340878]---> BDD-cost:  379
1.99/2.00	c ---[340877]---> BDD-cost:  379
1.99/2.00	c ---[340876]---> BDD-cost:  379
1.99/2.00	c ---[340875]---> BDD-cost:  379
1.99/2.00	c ---[340874]---> BDD-cost:  379
1.99/2.00	c ---[340873]---> BDD-cost:  379
1.99/2.00	c ---[340872]---> BDD-cost:  379
1.99/2.00	c ---[340871]---> BDD-cost:  379
1.99/2.00	c ---[340870]---> BDD-cost:  379
1.99/2.00	c ---[340869]---> BDD-cost:  379
1.99/2.00	c ---[340868]---> BDD-cost:  379
1.99/2.00	c ---[340867]---> BDD-cost:  379
1.99/2.00	c ---[340866]---> BDD-cost:  379
1.99/2.00	c ---[340865]---> BDD-cost:  379
1.99/2.00	c ---[340864]---> BDD-cost:  379
1.99/2.08	c ---[340863]---> BDD-cost:  379
1.99/2.08	c ---[340862]---> BDD-cost:  379
1.99/2.08	c ---[340861]---> BDD-cost:  379
1.99/2.08	c ---[340860]---> BDD-cost:  379
1.99/2.08	c ---[340859]---> BDD-cost:  379
1.99/2.08	c ---[340858]---> BDD-cost:  379
1.99/2.08	c ---[340857]---> BDD-cost:  379
1.99/2.08	c ---[340856]---> BDD-cost:  379
1.99/2.08	c ---[340855]---> BDD-cost:  379
1.99/2.09	c ---[340854]---> BDD-cost:  379
1.99/2.09	c ---[340853]---> BDD-cost:  379
1.99/2.09	c ---[340852]---> BDD-cost:  379
1.99/2.09	c ---[340851]---> BDD-cost:  379
1.99/2.09	c ---[340850]---> BDD-cost:  379
1.99/2.09	c ---[340849]---> BDD-cost:  379
1.99/2.09	c ---[340848]---> BDD-cost:  379
1.99/2.09	c ---[340847]---> BDD-cost:  379
1.99/2.09	c ---[340846]---> BDD-cost:  379
1.99/2.09	c ---[340845]---> BDD-cost:  379
1.99/2.09	c ---[340844]---> BDD-cost:  379
1.99/2.09	c ---[340843]---> BDD-cost:  379
1.99/2.09	c ---[340842]---> BDD-cost:  379
1.99/2.09	c ---[340841]---> BDD-cost:  379
1.99/2.09	c ---[340840]---> BDD-cost:  379
1.99/2.09	c ---[340839]---> BDD-cost:  379
1.99/2.09	c ---[340838]---> BDD-cost:  379
1.99/2.09	c ---[340837]---> BDD-cost:  379
1.99/2.09	c ---[340836]---> BDD-cost:  379
1.99/2.09	c ---[340835]---> BDD-cost:  379
1.99/2.09	c ---[340834]---> BDD-cost:  379
1.99/2.09	c ---[340833]---> BDD-cost:  379
1.99/2.09	c ---[340832]---> BDD-cost:  379
1.99/2.09	c ---[340831]---> BDD-cost:  379
1.99/2.09	c ---[340830]---> BDD-cost:  379
1.99/2.09	c ---[340829]---> BDD-cost:  379
1.99/2.09	c ---[340828]---> BDD-cost:  379
1.99/2.09	c ---[340827]---> BDD-cost:  379
1.99/2.09	c ---[340826]---> BDD-cost:  379
1.99/2.09	c ---[340825]---> BDD-cost:  379
1.99/2.09	c ---[340824]---> BDD-cost:  379
1.99/2.09	c ---[340823]---> BDD-cost:  379
1.99/2.09	c ---[340822]---> BDD-cost:  379
1.99/2.09	c ---[340821]---> BDD-cost:  379
1.99/2.09	c ---[340820]---> BDD-cost:  379
1.99/2.09	c ---[340819]---> BDD-cost:  379
1.99/2.09	c ---[340818]---> BDD-cost:  379
1.99/2.09	c ---[340817]---> BDD-cost:  379
1.99/2.09	c ---[340816]---> BDD-cost:  379
1.99/2.09	c ---[340815]---> BDD-cost:  379
1.99/2.09	c ---[340814]---> BDD-cost:  379
1.99/2.09	c ---[340813]---> BDD-cost:  379
1.99/2.09	c ---[340812]---> BDD-cost:  379
1.99/2.09	c ---[340811]---> BDD-cost:  379
1.99/2.09	c ---[340810]---> BDD-cost:  379
1.99/2.09	c ---[340809]---> BDD-cost:  379
1.99/2.09	c ---[340808]---> BDD-cost:  379
1.99/2.09	c ---[340807]---> BDD-cost:  379
1.99/2.09	c ---[340806]---> BDD-cost:  379
1.99/2.09	c ---[340805]---> BDD-cost:  379
1.99/2.09	c ---[340804]---> BDD-cost:  379
1.99/2.09	c ---[340803]---> BDD-cost:  379
1.99/2.09	c ---[340802]---> BDD-cost:  379
1.99/2.09	c ---[340801]---> BDD-cost:  379
1.99/2.09	c ---[340800]---> BDD-cost:  379
1.99/2.09	c ---[340799]---> BDD-cost:  379
1.99/2.09	c ---[340798]---> BDD-cost:  379
1.99/2.09	c ---[340797]---> BDD-cost:  379
1.99/2.10	c ---[340796]---> BDD-cost:  379
1.99/2.10	c ---[340795]---> BDD-cost:  379
1.99/2.10	c ---[340794]---> BDD-cost:  379
1.99/2.10	c ---[340793]---> BDD-cost:  379
1.99/2.10	c ---[340792]---> BDD-cost:  379
1.99/2.10	c ---[340791]---> BDD-cost:  379
1.99/2.10	c ---[340790]---> BDD-cost:  379
1.99/2.10	c ---[340789]---> BDD-cost:  379
1.99/2.10	c ---[340788]---> BDD-cost:  379
1.99/2.10	c ---[340787]---> BDD-cost:  379
1.99/2.10	c ---[340786]---> BDD-cost:  379
1.99/2.10	c ---[340785]---> BDD-cost:  379
1.99/2.10	c ---[340784]---> BDD-cost:  379
1.99/2.10	c ---[340783]---> BDD-cost:  379
1.99/2.10	c ---[340782]---> BDD-cost:  379
1.99/2.10	c ---[340781]---> BDD-cost:  379
1.99/2.10	c ---[340780]---> BDD-cost:  379
1.99/2.10	c ---[340779]---> BDD-cost:  379
1.99/2.10	c ---[340778]---> BDD-cost:  379
1.99/2.10	c ---[340777]---> BDD-cost:  379
1.99/2.10	c ---[340776]---> BDD-cost:  379
1.99/2.10	c ---[340775]---> BDD-cost:  379
1.99/2.10	c ---[340774]---> BDD-cost:  379
1.99/2.10	c ---[340773]---> BDD-cost:  379
1.99/2.10	c ---[340772]---> BDD-cost:  379
1.99/2.10	c ---[340771]---> BDD-cost:  379
1.99/2.10	c ---[340770]---> BDD-cost:  379
1.99/2.10	c ---[340769]---> BDD-cost:  379
1.99/2.10	c ---[340768]---> BDD-cost:  379
2.09/2.10	c ---[340767]---> BDD-cost:  379
2.09/2.10	c ---[340766]---> BDD-cost:  379
2.09/2.10	c ---[340765]---> BDD-cost:  379
2.09/2.10	c ---[340764]---> BDD-cost:  379
2.09/2.10	c ---[340763]---> BDD-cost:  379
2.09/2.10	c ---[340762]---> BDD-cost:  379
2.09/2.10	c ---[340761]---> BDD-cost:  379
2.09/2.10	c ---[340760]---> BDD-cost:  379
2.09/2.10	c ---[340759]---> BDD-cost:  379
2.09/2.10	c ---[340758]---> BDD-cost:  379
2.09/2.10	c ---[340757]---> BDD-cost:  379
2.09/2.10	c ---[340756]---> BDD-cost:  379
2.09/2.10	c ---[340755]---> BDD-cost:  379
2.09/2.10	c ---[340754]---> BDD-cost:  379
2.09/2.10	c ---[340753]---> BDD-cost:  379
2.09/2.10	c ---[340752]---> BDD-cost:  379
2.09/2.10	c ---[340751]---> BDD-cost:  379
2.09/2.10	c ---[340750]---> BDD-cost:  379
2.09/2.10	c ---[340749]---> BDD-cost:  379
2.09/2.10	c ---[340748]---> BDD-cost:  379
2.09/2.10	c ---[340747]---> BDD-cost:  379
2.09/2.11	c ---[340746]---> BDD-cost:  379
2.09/2.11	c ---[340745]---> BDD-cost:  379
2.09/2.11	c ---[340744]---> BDD-cost:  379
2.09/2.11	c ---[340743]---> BDD-cost:  379
2.09/2.11	c ---[340742]---> BDD-cost:  379
2.09/2.11	c ---[340741]---> BDD-cost:  379
2.09/2.11	c ---[340740]---> BDD-cost:  379
2.09/2.11	c ---[340739]---> BDD-cost:  379
2.09/2.11	c ---[340738]---> BDD-cost:  379
2.09/2.11	c ---[340737]---> BDD-cost:  379
2.09/2.11	c ---[340736]---> BDD-cost:  379
2.09/2.11	c ---[340735]---> BDD-cost:  379
2.09/2.11	c ---[340734]---> BDD-cost:  379
2.09/2.11	c ---[340733]---> BDD-cost:  379
2.09/2.11	c ---[340732]---> BDD-cost:  379
2.09/2.11	c ---[340731]---> BDD-cost:  379
2.09/2.11	c ---[340730]---> BDD-cost:  379
2.09/2.11	c ---[340729]---> BDD-cost:  379
2.09/2.11	c ---[340728]---> BDD-cost:  379
2.09/2.11	c ---[340727]---> BDD-cost:  379
2.09/2.11	c ---[340726]---> BDD-cost:  379
2.09/2.11	c ---[340725]---> BDD-cost:  379
2.09/2.11	c ---[340724]---> BDD-cost:  379
2.09/2.11	c ---[340723]---> BDD-cost:  379
2.09/2.11	c ---[340722]---> BDD-cost:  379
2.09/2.11	c ---[340721]---> BDD-cost:  379
2.09/2.11	c ---[340720]---> BDD-cost:  379
2.09/2.11	c ---[340719]---> BDD-cost:  379
2.09/2.11	c ---[340718]---> BDD-cost:  379
2.09/2.11	c ---[340717]---> BDD-cost:  379
2.09/2.11	c ---[340716]---> BDD-cost:  379
2.09/2.11	c ---[340715]---> BDD-cost:  379
2.09/2.11	c ---[340714]---> BDD-cost:  379
2.09/2.11	c ---[340713]---> BDD-cost:  379
2.09/2.11	c ---[340712]---> BDD-cost:  379
2.09/2.11	c ---[340711]---> BDD-cost:  379
2.09/2.11	c ---[340710]---> BDD-cost:  379
2.09/2.11	c ---[340709]---> BDD-cost:  379
2.09/2.11	c ---[340708]---> BDD-cost:  379
2.09/2.11	c ---[340707]---> BDD-cost:  379
2.09/2.11	c ---[340706]---> BDD-cost:  379
2.09/2.11	c ---[340705]---> BDD-cost:  379
2.09/2.11	c ---[340704]---> BDD-cost:  379
2.09/2.11	c ---[340703]---> BDD-cost:  379
2.09/2.11	c ---[340702]---> BDD-cost:  379
2.09/2.11	c ---[340701]---> BDD-cost:  379
2.09/2.11	c ---[340700]---> BDD-cost:  379
2.09/2.11	c ---[340699]---> BDD-cost:  379
2.09/2.11	c ---[340698]---> BDD-cost:  379
2.09/2.11	c ---[340697]---> BDD-cost:  379
2.09/2.11	c ---[340696]---> BDD-cost:  379
2.09/2.11	c ---[340695]---> BDD-cost:  379
2.09/2.11	c ---[340694]---> BDD-cost:  379
2.09/2.11	c ---[340693]---> BDD-cost:  379
2.09/2.11	c ---[340692]---> BDD-cost:  379
2.09/2.11	c ---[340691]---> BDD-cost:  379
2.09/2.11	c ---[340690]---> BDD-cost:  379
2.09/2.11	c ---[340689]---> BDD-cost:  379
2.09/2.11	c ---[340688]---> BDD-cost:  379
2.09/2.11	c ---[340687]---> BDD-cost:  379
2.09/2.12	c ---[340686]---> BDD-cost:  379
2.09/2.12	c ---[340685]---> BDD-cost:  379
2.09/2.12	c ---[340684]---> BDD-cost:  379
2.09/2.12	c ---[340683]---> BDD-cost:  379
2.09/2.12	c ---[340682]---> BDD-cost:  379
2.09/2.12	c ---[340681]---> BDD-cost:  379
2.09/2.12	c ---[340680]---> BDD-cost:  379
2.09/2.12	c ---[340679]---> BDD-cost:  379
2.09/2.12	c ---[340678]---> BDD-cost:  379
2.09/2.12	c ---[340677]---> BDD-cost:  379
2.09/2.12	c ---[340676]---> BDD-cost:  379
2.09/2.12	c ---[340675]---> BDD-cost:  379
2.09/2.12	c ---[340674]---> BDD-cost:  379
2.09/2.12	c ---[340673]---> BDD-cost:  379
2.09/2.12	c ---[340672]---> BDD-cost:  379
2.09/2.12	c ---[340671]---> BDD-cost:  379
2.09/2.12	c ---[340670]---> BDD-cost:  379
2.09/2.12	c ---[340669]---> BDD-cost:  379
2.09/2.12	c ---[340668]---> BDD-cost:  379
2.09/2.12	c ---[340667]---> BDD-cost:  379
2.09/2.12	c ---[340666]---> BDD-cost:  379
2.09/2.12	c ---[340665]---> BDD-cost:  379
2.09/2.12	c ---[340664]---> BDD-cost:  379
2.09/2.12	c ---[340663]---> BDD-cost:  379
2.09/2.12	c ---[340662]---> BDD-cost:  379
2.09/2.12	c ---[340661]---> BDD-cost:  379
2.09/2.12	c ---[340660]---> BDD-cost:  379
2.09/2.12	c ---[340659]---> BDD-cost:  379
2.09/2.12	c ---[340658]---> BDD-cost:  379
2.09/2.12	c ---[340657]---> BDD-cost:  379
2.09/2.12	c ---[340656]---> BDD-cost:  379
2.09/2.12	c ---[340655]---> BDD-cost:  379
2.09/2.12	c ---[340654]---> BDD-cost:  379
2.09/2.12	c ---[340653]---> BDD-cost:  379
2.09/2.12	c ---[340652]---> BDD-cost:  379
2.09/2.12	c ---[340651]---> BDD-cost:  379
2.09/2.12	c ---[340650]---> BDD-cost:  379
2.09/2.12	c ---[340649]---> BDD-cost:  379
2.09/2.12	c ---[340648]---> BDD-cost:  379
2.09/2.12	c ---[340647]---> BDD-cost:  379
2.09/2.12	c ---[340646]---> BDD-cost:  379
2.09/2.12	c ---[340645]---> BDD-cost:  379
2.09/2.12	c ---[340644]---> BDD-cost:  379
2.09/2.12	c ---[340643]---> BDD-cost:  379
2.09/2.12	c ---[340642]---> BDD-cost:  379
2.09/2.12	c ---[340641]---> BDD-cost:  379
2.09/2.12	c ---[340640]---> BDD-cost:  379
2.09/2.12	c ---[340639]---> BDD-cost:  379
2.09/2.12	c ---[340638]---> BDD-cost:  379
2.09/2.12	c ---[340637]---> BDD-cost:  379
2.09/2.12	c ---[340636]---> BDD-cost:  379
2.09/2.12	c ---[340635]---> BDD-cost:  379
2.09/2.12	c ---[340634]---> BDD-cost:  379
2.09/2.12	c ---[340633]---> BDD-cost:  379
2.09/2.12	c ---[340632]---> BDD-cost:  379
2.09/2.12	c ---[340631]---> BDD-cost:  379
2.09/2.12	c ---[340630]---> BDD-cost:  379
2.09/2.12	c ---[340629]---> BDD-cost:  379
2.09/2.12	c ---[340628]---> BDD-cost:  379
2.09/2.12	c ---[340627]---> BDD-cost:  379
2.09/2.12	c ---[340626]---> BDD-cost:  379
2.09/2.13	c ---[340625]---> BDD-cost:  379
2.09/2.13	c ---[340624]---> BDD-cost:  379
2.09/2.13	c ---[340623]---> BDD-cost:  379
2.09/2.13	c ---[340622]---> BDD-cost:  379
2.09/2.13	c ---[340621]---> BDD-cost:  379
2.09/2.13	c ---[340620]---> BDD-cost:  379
2.09/2.13	c ---[340619]---> BDD-cost:  379
2.09/2.13	c ---[340618]---> BDD-cost:  379
2.09/2.13	c ---[340617]---> BDD-cost:  379
2.09/2.13	c ---[340616]---> BDD-cost:  379
2.09/2.13	c ---[340615]---> BDD-cost:  379
2.09/2.13	c ---[340614]---> BDD-cost:  379
2.09/2.13	c ---[340613]---> BDD-cost:  379
2.09/2.13	c ---[340612]---> BDD-cost:  379
2.09/2.13	c ---[340611]---> BDD-cost:  379
2.09/2.13	c ---[340610]---> BDD-cost:  379
2.09/2.13	c ---[340609]---> BDD-cost:  379
2.09/2.13	c ---[340608]---> BDD-cost:  379
2.09/2.13	c ---[340607]---> BDD-cost:  379
2.09/2.13	c ---[340606]---> BDD-cost:  379
2.09/2.13	c ---[340605]---> BDD-cost:  379
2.09/2.13	c ---[340604]---> BDD-cost:  379
2.09/2.13	c ---[340603]---> BDD-cost:  379
2.09/2.13	c ---[340602]---> BDD-cost:  379
2.09/2.13	c ---[340601]---> BDD-cost:  379
2.09/2.13	c ---[340600]---> BDD-cost:  379
2.09/2.13	c ---[340599]---> BDD-cost:  379
2.09/2.13	c ---[340598]---> BDD-cost:  379
2.09/2.13	c ---[340597]---> BDD-cost:  379
2.09/2.13	c ---[340596]---> BDD-cost:  379
2.09/2.13	c ---[340595]---> BDD-cost:  379
2.09/2.13	c ---[340594]---> BDD-cost:  379
2.09/2.13	c ---[340593]---> BDD-cost:  379
2.09/2.13	c ---[340592]---> BDD-cost:  379
2.09/2.13	c ---[340591]---> BDD-cost:  379
2.09/2.13	c ---[340590]---> BDD-cost:  379
2.09/2.13	c ---[340589]---> BDD-cost:  379
2.09/2.13	c ---[340588]---> BDD-cost:  379
2.09/2.13	c ---[340587]---> BDD-cost:  379
2.09/2.13	c ---[340586]---> BDD-cost:  379
2.09/2.13	c ---[340585]---> BDD-cost:  379
2.09/2.13	c ---[340584]---> BDD-cost:  379
2.09/2.13	c ---[340583]---> BDD-cost:  379
2.09/2.13	c ---[340582]---> BDD-cost:  379
2.09/2.13	c ---[340581]---> BDD-cost:  379
2.09/2.13	c ---[340580]---> BDD-cost:  379
2.09/2.13	c ---[340579]---> BDD-cost:  379
2.09/2.13	c ---[340578]---> BDD-cost:  379
2.09/2.13	c ---[340577]---> BDD-cost:  379
2.09/2.13	c ---[340576]---> BDD-cost:  379
2.09/2.13	c ---[340575]---> BDD-cost:  379
2.09/2.13	c ---[340574]---> BDD-cost:  379
2.09/2.13	c ---[340573]---> BDD-cost:  379
2.09/2.13	c ---[340572]---> BDD-cost:  379
2.09/2.13	c ---[340571]---> BDD-cost:  379
2.09/2.13	c ---[340570]---> BDD-cost:  379
2.09/2.13	c ---[340569]---> BDD-cost:  379
2.09/2.13	c ---[340568]---> BDD-cost:  379
2.09/2.13	c ---[340567]---> BDD-cost:  379
2.09/2.13	c ---[340566]---> BDD-cost:  379
2.09/2.14	c ---[340565]---> BDD-cost:  379
2.09/2.14	c ---[340564]---> BDD-cost:  379
2.09/2.14	c ---[340563]---> BDD-cost:  379
2.09/2.14	c ---[340562]---> BDD-cost:  379
2.09/2.14	c ---[340561]---> BDD-cost:  379
2.09/2.14	c ---[340560]---> BDD-cost:  379
2.09/2.14	c ---[340559]---> BDD-cost:  379
2.09/2.14	c ---[340558]---> BDD-cost:  379
2.09/2.14	c ---[340557]---> BDD-cost:  379
2.09/2.14	c ---[340556]---> BDD-cost:  379
2.09/2.14	c ---[340555]---> BDD-cost:  379
2.09/2.14	c ---[340554]---> BDD-cost:  379
2.09/2.14	c ---[   0]---> HOME/minisat+_script: line 9: 32201 Segmentation fault      (core dumped) $XDIR/minisat+_64-bit_static -try "$@"

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3723216-1338581623/watcher-3723216-1338581623 -o /tmp/evaluation-result-3723216-1338581623/solver-3723216-1338581623 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723216-1338581623.opb 

running on 4 cores: 0,2,4,6

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.45 2.16 2.04 3/176 32197
/proc/meminfo: memFree=26315052/32873624 swapFree=7112/7112
[pid=32197] ppid=32195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32197/stat : 32197 (minisat+_script) S 32195 32197 29349 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 324287852 9367552 277 33554432000 4194304 5064252 140736528733232 140736528732144 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32197/statm: 2287 277 236 213 0 72 0

[startup+0.00754911 s]
/proc/loadavg: 2.45 2.16 2.04 3/176 32197
/proc/meminfo: memFree=26315052/32873624 swapFree=7112/7112
[pid=32197] ppid=32195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32197/stat : 32197 (minisat+_script) S 32195 32197 29349 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 324287852 9367552 277 33554432000 4194304 5064252 140736528733232 140736528732144 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32197/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100142 s]
/proc/loadavg: 2.45 2.16 2.04 3/176 32197
/proc/meminfo: memFree=26315052/32873624 swapFree=7112/7112
[pid=32197] ppid=32195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32197/stat : 32197 (minisat+_script) S 32195 32197 29349 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 324287852 9367552 277 33554432000 4194304 5064252 140736528733232 140736528732144 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32197/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300164 s]
/proc/loadavg: 2.45 2.16 2.04 3/176 32197
/proc/meminfo: memFree=26315052/32873624 swapFree=7112/7112
[pid=32197] ppid=32195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32197/stat : 32197 (minisat+_script) S 32195 32197 29349 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 324287852 9367552 277 33554432000 4194304 5064252 140736528733232 140736528732144 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32197/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700161 s]
/proc/loadavg: 2.45 2.16 2.04 3/176 32197
/proc/meminfo: memFree=26315052/32873624 swapFree=7112/7112
[pid=32197] ppid=32195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32197/stat : 32197 (minisat+_script) S 32195 32197 29349 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 324287852 9367552 277 33554432000 4194304 5064252 140736528733232 140736528732144 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32197/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5002 s]
/proc/loadavg: 2.45 2.16 2.04 3/178 32202
/proc/meminfo: memFree=25992288/32873624 swapFree=7112/7112
[pid=32197] ppid=32195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32197/stat : 32197 (minisat+_script) S 32195 32197 29349 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 324287852 9367552 277 33554432000 4194304 5064252 140736528733232 140736528732144 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32197/statm: 2287 277 236 213 0 72 0
[pid=32201] ppid=32197 vsize=406560 CPUtime=1.49 cores=0,2,4,6
/proc/32201/stat : 32201 (minisat+_64-bit) R 32197 32197 29349 0 -1 4202496 96060 0 0 0 127 22 0 0 20 0 1 0 324287852 416317440 91290 33554432000 4194304 5276501 140734292414016 140734292412616 4745056 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/32201/statm: 101640 91290 83 265 0 101372 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 415708

[startup+3.10027 s]
/proc/loadavg: 2.45 2.16 2.04 3/178 32202
/proc/meminfo: memFree=25873744/32873624 swapFree=7112/7112
[pid=32197] ppid=32195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32197/stat : 32197 (minisat+_script) S 32195 32197 29349 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 324287852 9367552 277 33554432000 4194304 5064252 140736528733232 140736528732144 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32197/statm: 2287 277 236 213 0 72 0
[pid=32201] ppid=32197 vsize=494328 CPUtime=2.29 cores=0,2,4,6
/proc/32201/stat : 32201 (minisat+_64-bit) S 32197 32197 29349 0 -1 4204032 108690 0 0 0 185 44 0 0 20 0 1 0 324287852 506191872 113118 33554432000 4194304 5276501 140734292414016 140734292412920 4281776 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32201/statm: 123582 113118 86 265 0 123314 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 503476
heavy processes:
  %CPU=122 pid=32203 uid=0 cmd=

[startup+6.3002 s]
/proc/loadavg: 2.57 2.19 2.05 2/179 32203
/proc/meminfo: memFree=24983536/32873624 swapFree=7112/7112
[pid=32197] ppid=32195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32197/stat : 32197 (minisat+_script) S 32195 32197 29349 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 324287852 9367552 277 33554432000 4194304 5064252 140736528733232 140736528732144 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32197/statm: 2287 277 236 213 0 72 0
[pid=32201] ppid=32197 vsize=494328 CPUtime=2.38 cores=0,2,4,6
/proc/32201/stat : 32201 (minisat+_64-bit) S 32197 32197 29349 0 -1 4204032 108691 0 0 0 185 53 0 0 20 0 1 0 324287852 506191872 113119 33554432000 4194304 5276501 140734292414016 140734292412920 4281776 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32201/statm: 123582 113119 87 265 0 123314 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 503476
heavy processes:
  %CPU=29 pid=32203 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 32201 11 506 18446744073709551615 

[startup+12.7002 s]
/proc/loadavg: 2.69 2.22 2.06 2/179 32203
/proc/meminfo: memFree=24983192/32873624 swapFree=7112/7112
[pid=32197] ppid=32195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32197/stat : 32197 (minisat+_script) S 32195 32197 29349 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 324287852 9367552 277 33554432000 4194304 5064252 140736528733232 140736528732144 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32197/statm: 2287 277 236 213 0 72 0
[pid=32201] ppid=32197 vsize=494328 CPUtime=2.38 cores=0,2,4,6
/proc/32201/stat : 32201 (minisat+_64-bit) S 32197 32197 29349 0 -1 4204032 108691 0 0 0 185 53 0 0 20 0 1 0 324287852 506191872 113119 33554432000 4194304 5276501 140734292414016 140734292412920 4281776 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32201/statm: 123582 113119 87 265 0 123314 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 503476
heavy processes:
  %CPU=14 pid=32203 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 32201 11 506 18446744073709551615 

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

[startup+13.6002 s]
/proc/loadavg: 2.69 2.22 2.06 2/179 32203
/proc/meminfo: memFree=24983936/32873624 swapFree=7112/7112
[pid=32197] ppid=32195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32197/stat : 32197 (minisat+_script) S 32195 32197 29349 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 324287852 9367552 277 33554432000 4194304 5064252 140736528733232 140736528732144 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32197/statm: 2287 277 236 213 0 72 0
[pid=32201] ppid=32197 vsize=494328 CPUtime=2.38 cores=0,2,4,6
/proc/32201/stat : 32201 (minisat+_64-bit) S 32197 32197 29349 0 -1 4204032 108691 0 0 0 185 53 0 0 20 0 1 0 324287852 506191872 113119 33554432000 4194304 5276501 140734292414016 140734292412920 4281776 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32201/statm: 123582 113119 87 265 0 123314 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 503476

[startup+15.2061 s]
/proc/loadavg: 2.79 2.25 2.07 2/179 32203
/proc/meminfo: memFree=24984308/32873624 swapFree=7112/7112
[pid=32197] ppid=32195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32197/stat : 32197 (minisat+_script) S 32195 32197 29349 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 324287852 9367552 277 33554432000 4194304 5064252 140736528733232 140736528732144 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32197/statm: 2287 277 236 213 0 72 0
[pid=32201] ppid=32197 vsize=494328 CPUtime=2.38 cores=0,2,4,6
/proc/32201/stat : 32201 (minisat+_64-bit) S 32197 32197 29349 0 -1 4204032 108691 0 0 0 185 53 0 0 20 0 1 0 324287852 506191872 113119 33554432000 4194304 5276501 140734292414016 140734292412920 4281776 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32201/statm: 123582 113119 87 265 0 123314 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 503476

[startup+16.8002 s]
/proc/loadavg: 2.79 2.25 2.07 3/179 32203
/proc/meminfo: memFree=24984680/32873624 swapFree=7112/7112
[pid=32197] ppid=32195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32197/stat : 32197 (minisat+_script) S 32195 32197 29349 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 324287852 9367552 277 33554432000 4194304 5064252 140736528733232 140736528732144 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32197/statm: 2287 277 236 213 0 72 0
[pid=32201] ppid=32197 vsize=494328 CPUtime=2.38 cores=0,2,4,6
/proc/32201/stat : 32201 (minisat+_64-bit) S 32197 32197 29349 0 -1 4204032 108691 0 0 0 185 53 0 0 20 0 1 0 324287852 506191872 113119 33554432000 4194304 5276501 140734292414016 140734292412920 4281776 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32201/statm: 123582 113119 87 265 0 123314 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 503476

[startup+17.6002 s]
/proc/loadavg: 2.79 2.25 2.07 3/179 32203
/proc/meminfo: memFree=24986044/32873624 swapFree=7112/7112
[pid=32197] ppid=32195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32197/stat : 32197 (minisat+_script) S 32195 32197 29349 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 324287852 9367552 277 33554432000 4194304 5064252 140736528733232 140736528732144 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32197/statm: 2287 277 236 213 0 72 0
[pid=32201] ppid=32197 vsize=494328 CPUtime=2.38 cores=0,2,4,6
/proc/32201/stat : 32201 (minisat+_64-bit) S 32197 32197 29349 0 -1 4204032 108691 0 0 0 185 53 0 0 20 0 1 0 324287852 506191872 113119 33554432000 4194304 5276501 140734292414016 140734292412920 4281776 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32201/statm: 123582 113119 87 265 0 123314 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 503476

[startup+17.8002 s]
/proc/loadavg: 2.79 2.25 2.07 3/179 32203
/proc/meminfo: memFree=24986044/32873624 swapFree=7112/7112
[pid=32197] ppid=32195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32197/stat : 32197 (minisat+_script) S 32195 32197 29349 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 324287852 9367552 277 33554432000 4194304 5064252 140736528733232 140736528732144 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32197/statm: 2287 277 236 213 0 72 0
[pid=32201] ppid=32197 vsize=494328 CPUtime=2.38 cores=0,2,4,6
/proc/32201/stat : 32201 (minisat+_64-bit) S 32197 32197 29349 0 -1 4204032 108691 0 0 0 185 53 0 0 20 0 1 0 324287852 506191872 113119 33554432000 4194304 5276501 140734292414016 140734292412920 4281776 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32201/statm: 123582 113119 87 265 0 123314 0
Current children cumulated CPU time (s) 2.38
Current children cumulated vsize (KiB) 503476

Child status: 139
Real time (s): 17.83
CPU time (s): 2.42263
CPU user time (s): 1.85572
CPU system time (s): 0.566913
CPU usage (%): 13.5874
Max. virtual memory (cumulated for all children) (KiB): 503476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.85572
system time used= 0.566913
maximum resident set size= 452476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109641
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= 122223
involuntary context switches= 7

runsolver used 0.12998 second user time and 0.313952 second system time

The end

Launcher Data

Begin job on node121 at 2012-06-01 22:13:44
IDJOB=3723216
IDBENCH=92155
IDSOLVER=2307
FILE ID=node121/3723216-1338581623
RUNJOBID= node121-1338568931-31067
PBS_JOBID= 14635892
Free space on /tmp= 71260 MiB

SOLVER NAME= minisatp 1.0-2-g022594c
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_unif_20null20mast_rapportOE2.0_TMAX180_K192_cod1.opb
COMMAND LINE= minisat+_script BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723216-1338581623/watcher-3723216-1338581623 -o /tmp/evaluation-result-3723216-1338581623/solver-3723216-1338581623 -C 1800 -W 1900 -M 15500  minisat+_script HOME/instance-3723216-1338581623.opb

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

MD5SUM BENCH= 2a10ffb4379dcfb9c244e555ac5887ed
RANDOM SEED=1387810779

node121.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		: 2667.042
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	: 5334.08
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		: 2667.042
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	: 5331.91
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		: 2667.042
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	: 5331.92
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		: 2667.042
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	: 5331.91
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		: 2667.042
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	: 5331.91
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		: 2667.042
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	: 5331.91
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		: 2667.042
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	: 5438.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		: 2667.042
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873624 kB
MemFree:        26315432 kB
Buffers:          584352 kB
Cached:          4091812 kB
SwapCached:            0 kB
Active:          2621784 kB
Inactive:        3058932 kB
Active(anon):     992552 kB
Inactive(anon):    10776 kB
Active(file):    1629232 kB
Inactive(file):  3048156 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             34516 kB
Writeback:            16 kB
AnonPages:       1069112 kB
Mapped:            14648 kB
Shmem:               200 kB
Slab:             734004 kB
SReclaimable:     177128 kB
SUnreclaim:       556876 kB
KernelStack:        1456 kB
PageTables:         5980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545668 kB
Committed_AS:    1133756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    430080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70840 MiB
End job on node121 at 2012-06-01 22:14:02