Trace number 3722349

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
PB07: minisat+ 1.14Signal 35.4096 48.2491

General information on the benchmark

Name/OPT-BIGINT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null20mast_rapportOE1.0_TMAX300_K192_cod1.opb
MD5SUM7c99e09291491c4dda5a729a7be64bc4
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-46120
Best CPU time to get the best result obtained on this benchmark1800.45
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 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 70624160
Number of bits of the sum of numbers in the objective function 27
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 70624160
Number of bits of the biggest sum of numbers27
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...
13.69/13.78	c Converting 400980 PB-constraints to clauses...
13.79/13.87	c   -- Unit propagations: (none)
13.79/13.89	c   -- Detecting intervals from adjacent constraints: ##################################################################################################################################################################################################
13.89/13.92	c   -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
14.30/14.38	c ---[400978]---> BDD-cost:    5
14.30/14.38	c ---[400976]---> BDD-cost:    7
14.30/14.38	c ---[342719]---> BDD-cost:  602
14.38/14.40	c ---[342717]---> BDD-cost:  607
14.38/14.43	c ---[342715]---> BDD-cost:  607
14.38/14.45	c ---[342713]---> BDD-cost:  607
14.38/14.47	c ---[342711]---> BDD-cost:  607
14.38/14.49	c ---[342709]---> BDD-cost:  607
14.48/14.51	c ---[342707]---> BDD-cost:  607
14.48/14.53	c ---[342705]---> BDD-cost:  607
14.48/14.56	c ---[342703]---> BDD-cost:  607
14.48/14.58	c ---[342701]---> BDD-cost:  607
14.58/14.60	c ---[342699]---> BDD-cost:  607
14.58/14.62	c ---[342697]---> BDD-cost:  607
14.58/14.64	c ---[342695]---> BDD-cost:  607
14.58/14.67	c ---[342693]---> BDD-cost:  607
14.58/14.69	c ---[342691]---> BDD-cost:  607
14.68/14.71	c ---[342689]---> BDD-cost:  607
14.68/14.73	c ---[342687]---> BDD-cost:  607
14.68/14.75	c ---[342685]---> BDD-cost:  607
14.68/14.77	c ---[342683]---> BDD-cost:  607
14.78/14.80	c ---[342681]---> BDD-cost:  607
14.78/14.82	c ---[342679]---> BDD-cost:  607
14.78/14.84	c ---[342677]---> BDD-cost:  607
14.78/14.86	c ---[342675]---> BDD-cost:  607
14.78/14.88	c ---[342673]---> BDD-cost:  607
14.88/14.91	c ---[342671]---> BDD-cost:  607
14.88/14.93	c ---[342669]---> BDD-cost:  607
14.88/14.95	c ---[342667]---> BDD-cost:  607
14.88/14.97	c ---[342665]---> BDD-cost:  607
14.88/14.99	c ---[342663]---> BDD-cost:  607
14.98/15.01	c ---[342661]---> BDD-cost:  607
14.98/15.04	c ---[342659]---> BDD-cost:  607
14.98/15.06	c ---[342657]---> BDD-cost:  607
14.98/15.08	c ---[342655]---> BDD-cost:  607
15.08/15.10	c ---[342653]---> BDD-cost:  607
15.08/15.12	c ---[342651]---> BDD-cost:  607
15.08/15.15	c ---[342649]---> BDD-cost:  607
15.08/15.17	c ---[342647]---> BDD-cost:  607
15.08/15.19	c ---[342645]---> BDD-cost:  607
15.18/15.21	c ---[342643]---> BDD-cost:  607
15.18/15.23	c ---[342641]---> BDD-cost:  607
15.18/15.25	c ---[342639]---> BDD-cost:  607
15.18/15.28	c ---[342637]---> BDD-cost:  607
15.18/15.30	c ---[342635]---> BDD-cost:  607
15.29/15.32	c ---[342633]---> BDD-cost:  607
15.29/15.34	c ---[342631]---> BDD-cost:  607
15.29/15.36	c ---[342629]---> BDD-cost:  607
15.29/15.39	c ---[342627]---> BDD-cost:  607
15.39/15.45	c ---[342625]---> BDD-cost:  607
15.39/15.45	c ---[342623]---> BDD-cost:  607
15.39/15.45	c ---[342621]---> BDD-cost:  607
15.39/15.47	c ---[342619]---> BDD-cost:  607
15.39/15.49	c ---[342617]---> BDD-cost:  607
15.48/15.52	c ---[342615]---> BDD-cost:  607
15.48/15.54	c ---[342613]---> BDD-cost:  607
15.48/15.56	c ---[342611]---> BDD-cost:  607
15.48/15.58	c ---[342609]---> BDD-cost:  607
15.58/15.60	c ---[342607]---> BDD-cost:  607
15.58/15.62	c ---[342605]---> BDD-cost:  607
15.58/15.65	c ---[342603]---> BDD-cost:  607
15.58/15.67	c ---[342601]---> BDD-cost:  607
15.58/15.69	c ---[342599]---> BDD-cost:  607
15.68/15.71	c ---[342597]---> BDD-cost:  607
15.68/15.73	c ---[342595]---> BDD-cost:  607
15.68/15.76	c ---[342593]---> BDD-cost:  607
15.68/15.78	c ---[342591]---> BDD-cost:  607
15.78/15.80	c ---[342589]---> BDD-cost:  607
15.78/15.82	c ---[342587]---> BDD-cost:  607
15.78/15.84	c ---[342585]---> BDD-cost:  607
15.78/15.86	c ---[342583]---> BDD-cost:  607
15.78/15.89	c ---[342581]---> BDD-cost:  607
15.88/15.91	c ---[342579]---> BDD-cost:  607
15.88/15.93	c ---[342577]---> BDD-cost:  607
15.88/15.95	c ---[342575]---> BDD-cost:  607
15.88/15.98	c ---[342573]---> BDD-cost:  607
15.98/16.00	c ---[342571]---> BDD-cost:  607
15.98/16.02	c ---[342569]---> BDD-cost:  607
15.98/16.04	c ---[342567]---> BDD-cost:  607
15.98/16.06	c ---[342565]---> BDD-cost:  607
15.98/16.08	c ---[342563]---> BDD-cost:  607
16.08/16.11	c ---[342561]---> BDD-cost:  607
16.08/16.13	c ---[342559]---> BDD-cost:  607
16.08/16.15	c ---[342557]---> BDD-cost:  607
16.08/16.17	c ---[342555]---> BDD-cost:  607
16.08/16.19	c ---[342553]---> BDD-cost:  607
16.18/16.22	c ---[342551]---> BDD-cost:  607
16.18/16.24	c ---[342549]---> BDD-cost:  607
16.18/16.26	c ---[342547]---> BDD-cost:  607
16.18/16.28	c ---[342545]---> BDD-cost:  607
16.28/16.30	c ---[342543]---> BDD-cost:  607
16.28/16.32	c ---[342541]---> BDD-cost:  607
16.28/16.35	c ---[342539]---> BDD-cost:  607
16.28/16.37	c ---[342537]---> BDD-cost:  607
16.28/16.39	c ---[342535]---> BDD-cost:  607
16.39/16.41	c ---[342533]---> BDD-cost:  607
16.39/16.43	c ---[342531]---> BDD-cost:  607
16.39/16.45	c ---[342529]---> BDD-cost:  607
16.39/16.48	c ---[342527]---> BDD-cost:  607
16.39/16.50	c ---[342525]---> BDD-cost:  607
16.49/16.52	c ---[342523]---> BDD-cost:  607
16.49/16.54	c ---[342521]---> BDD-cost:  607
16.49/16.56	c ---[342519]---> BDD-cost:  607
16.49/16.59	c ---[342517]---> BDD-cost:  607
16.58/16.61	c ---[342515]---> BDD-cost:  607
16.58/16.63	c ---[342513]---> BDD-cost:  607
16.58/16.65	c ---[342511]---> BDD-cost:  607
16.58/16.67	c ---[342509]---> BDD-cost:  607
16.58/16.69	c ---[342507]---> BDD-cost:  607
16.68/16.72	c ---[342505]---> BDD-cost:  607
16.68/16.74	c ---[342503]---> BDD-cost:  607
16.68/16.76	c ---[342501]---> BDD-cost:  607
16.68/16.78	c ---[342499]---> BDD-cost:  607
16.78/16.80	c ---[342497]---> BDD-cost:  607
16.78/16.83	c ---[342495]---> BDD-cost:  607
16.78/16.85	c ---[342493]---> BDD-cost:  607
16.78/16.87	c ---[342491]---> BDD-cost:  607
16.78/16.89	c ---[342489]---> BDD-cost:  607
16.88/16.91	c ---[342487]---> BDD-cost:  607
16.88/16.93	c ---[342485]---> BDD-cost:  607
16.88/16.96	c ---[342483]---> BDD-cost:  607
16.88/16.98	c ---[342481]---> BDD-cost:  607
16.98/17.00	c ---[342479]---> BDD-cost:  607
16.98/17.02	c ---[342477]---> BDD-cost:  607
16.98/17.04	c ---[342475]---> BDD-cost:  607
16.98/17.07	c ---[342473]---> BDD-cost:  607
16.98/17.09	c ---[342471]---> BDD-cost:  607
17.08/17.11	c ---[342469]---> BDD-cost:  607
17.08/17.13	c ---[342467]---> BDD-cost:  607
17.08/17.15	c ---[342465]---> BDD-cost:  607
17.08/17.17	c ---[342463]---> BDD-cost:  607
17.18/17.20	c ---[342461]---> BDD-cost:  607
17.18/17.22	c ---[342459]---> BDD-cost:  607
17.18/17.24	c ---[342457]---> BDD-cost:  607
17.18/17.26	c ---[342455]---> BDD-cost:  607
17.18/17.28	c ---[342453]---> BDD-cost:  607
17.28/17.31	c ---[342451]---> BDD-cost:  607
17.28/17.33	c ---[342449]---> BDD-cost:  607
17.28/17.35	c ---[342447]---> BDD-cost:  607
17.28/17.37	c ---[342445]---> BDD-cost:  607
17.28/17.39	c ---[342443]---> BDD-cost:  607
17.38/17.42	c ---[342441]---> BDD-cost:  607
17.38/17.44	c ---[342439]---> BDD-cost:  607
17.38/17.46	c ---[342437]---> BDD-cost:  607
17.38/17.48	c ---[342435]---> BDD-cost:  607
17.49/17.51	c ---[342433]---> BDD-cost:  607
17.49/17.53	c ---[342431]---> BDD-cost:  607
17.49/17.55	c ---[342429]---> BDD-cost:  607
17.49/17.57	c ---[342427]---> BDD-cost:  607
17.49/17.59	c ---[342425]---> BDD-cost:  607
17.59/17.62	c ---[342423]---> BDD-cost:  607
17.59/17.64	c ---[342421]---> BDD-cost:  607
17.59/17.66	c ---[342419]---> BDD-cost:  607
17.59/17.68	c ---[342417]---> BDD-cost:  607
17.68/17.70	c ---[342415]---> BDD-cost:  607
17.68/17.72	c ---[342413]---> BDD-cost:  607
17.68/17.75	c ---[342411]---> BDD-cost:  607
17.68/17.77	c ---[342409]---> BDD-cost:  607
17.68/17.79	c ---[342407]---> BDD-cost:  607
17.78/17.81	c ---[342405]---> BDD-cost:  607
17.78/17.83	c ---[342403]---> BDD-cost:  607
17.78/17.85	c ---[342401]---> BDD-cost:  607
17.78/17.88	c ---[342399]---> BDD-cost:  607
17.88/17.90	c ---[342397]---> BDD-cost:  607
17.88/17.92	c ---[342395]---> BDD-cost:  607
17.88/17.94	c ---[342393]---> BDD-cost:  607
17.88/17.96	c ---[342391]---> BDD-cost:  607
17.88/17.99	c ---[342389]---> BDD-cost:  607
17.98/18.01	c ---[342387]---> BDD-cost:  607
17.98/18.03	c ---[342385]---> BDD-cost:  607
17.98/18.05	c ---[342383]---> BDD-cost:  607
17.98/18.07	c ---[342381]---> BDD-cost:  607
17.98/18.09	c ---[342379]---> BDD-cost:  607
18.08/18.12	c ---[342377]---> BDD-cost:  607
18.08/18.14	c ---[342375]---> BDD-cost:  607
18.08/18.16	c ---[342373]---> BDD-cost:  607
18.08/18.18	c ---[342371]---> BDD-cost:  607
18.18/18.20	c ---[342369]---> BDD-cost:  607
18.18/18.23	c ---[342367]---> BDD-cost:  607
18.18/18.25	c ---[342365]---> BDD-cost:  607
18.18/18.27	c ---[342363]---> BDD-cost:  607
18.18/18.29	c ---[342361]---> BDD-cost:  607
18.28/18.31	c ---[342359]---> BDD-cost:  607
18.28/18.33	c ---[342357]---> BDD-cost:  607
18.28/18.36	c ---[342355]---> BDD-cost:  607
18.28/18.38	c ---[342353]---> BDD-cost:  607
18.38/18.40	c ---[342351]---> BDD-cost:  607
18.38/18.42	c ---[342349]---> BDD-cost:  607
18.38/18.44	c ---[342347]---> BDD-cost:  607
18.38/18.47	c ---[342345]---> BDD-cost:  607
18.38/18.49	c ---[342343]---> BDD-cost:  607
18.48/18.51	c ---[342341]---> BDD-cost:  607
18.48/18.53	c ---[342339]---> BDD-cost:  607
18.48/18.55	c ---[342337]---> BDD-cost:  600
18.48/18.57	c ---[342336]---> BDD-cost:  379
18.48/18.58	c ---[342335]---> BDD-cost:  379
18.48/18.59	c ---[342334]---> BDD-cost:  379
18.59/18.60	c ---[342333]---> BDD-cost:  379
18.59/18.61	c ---[342332]---> BDD-cost:  379
18.59/18.62	c ---[342331]---> BDD-cost:  379
18.59/18.63	c ---[342330]---> BDD-cost:  379
18.59/18.64	c ---[342329]---> BDD-cost:  379
18.59/18.65	c ---[342328]---> BDD-cost:  379
18.59/18.65	c ---[342327]---> BDD-cost:  379
18.59/18.66	c ---[342326]---> BDD-cost:  379
18.59/18.67	c ---[342325]---> BDD-cost:  379
18.59/18.68	c ---[342324]---> BDD-cost:  379
18.59/18.69	c ---[342323]---> BDD-cost:  379
18.59/18.70	c ---[342322]---> BDD-cost:  379
18.69/18.71	c ---[342321]---> BDD-cost:  379
18.69/18.72	c ---[342320]---> BDD-cost:  379
18.69/18.73	c ---[342319]---> BDD-cost:  379
18.69/18.73	c ---[342318]---> BDD-cost:  379
18.69/18.74	c ---[342317]---> BDD-cost:  379
18.69/18.75	c ---[342316]---> BDD-cost:  379
18.69/18.76	c ---[342315]---> BDD-cost:  379
18.69/18.77	c ---[342314]---> BDD-cost:  379
18.69/18.78	c ---[342313]---> BDD-cost:  379
18.69/18.79	c ---[342312]---> BDD-cost:  379
18.78/18.80	c ---[342311]---> BDD-cost:  379
18.78/18.81	c ---[342310]---> BDD-cost:  379
18.78/18.81	c ---[342309]---> BDD-cost:  379
18.78/18.82	c ---[342308]---> BDD-cost:  379
18.78/18.83	c ---[342307]---> BDD-cost:  379
18.78/18.84	c ---[342306]---> BDD-cost:  379
18.78/18.85	c ---[342305]---> BDD-cost:  379
18.78/18.86	c ---[342304]---> BDD-cost:  379
18.78/18.87	c ---[342303]---> BDD-cost:  379
18.78/18.88	c ---[342302]---> BDD-cost:  379
18.78/18.89	c ---[342301]---> BDD-cost:  379
18.78/18.89	c ---[342300]---> BDD-cost:  379
18.88/18.90	c ---[342299]---> BDD-cost:  379
18.88/18.91	c ---[342298]---> BDD-cost:  379
18.88/18.92	c ---[342297]---> BDD-cost:  379
18.88/18.93	c ---[342296]---> BDD-cost:  379
18.88/18.94	c ---[342295]---> BDD-cost:  379
18.88/18.95	c ---[342294]---> BDD-cost:  379
18.88/18.96	c ---[342293]---> BDD-cost:  379
18.88/18.97	c ---[342292]---> BDD-cost:  379
18.88/18.97	c ---[342291]---> BDD-cost:  379
18.88/18.98	c ---[342290]---> BDD-cost:  379
18.88/18.99	c ---[342289]---> BDD-cost:  379
18.98/19.00	c ---[342288]---> BDD-cost:  379
18.98/19.01	c ---[342287]---> BDD-cost:  379
18.98/19.02	c ---[342286]---> BDD-cost:  379
18.98/19.03	c ---[342285]---> BDD-cost:  379
18.98/19.04	c ---[342284]---> BDD-cost:  379
18.98/19.05	c ---[342283]---> BDD-cost:  379
18.98/19.05	c ---[342282]---> BDD-cost:  379
18.98/19.06	c ---[342281]---> BDD-cost:  379
18.98/19.07	c ---[342280]---> BDD-cost:  379
18.98/19.08	c ---[342279]---> BDD-cost:  379
18.98/19.09	c ---[342278]---> BDD-cost:  379
19.08/19.10	c ---[342277]---> BDD-cost:  379
19.08/19.11	c ---[342276]---> BDD-cost:  379
19.08/19.12	c ---[342275]---> BDD-cost:  379
19.08/19.13	c ---[342274]---> BDD-cost:  379
19.08/19.13	c ---[342273]---> BDD-cost:  379
19.08/19.14	c ---[342272]---> BDD-cost:  379
19.08/19.15	c ---[342271]---> BDD-cost:  379
19.08/19.16	c ---[342270]---> BDD-cost:  379
19.08/19.17	c ---[342269]---> BDD-cost:  379
19.08/19.18	c ---[342268]---> BDD-cost:  379
19.08/19.19	c ---[342267]---> BDD-cost:  379
19.18/19.20	c ---[342266]---> BDD-cost:  379
19.18/19.21	c ---[342265]---> BDD-cost:  379
19.18/19.21	c ---[342264]---> BDD-cost:  379
19.18/19.22	c ---[342263]---> BDD-cost:  379
19.18/19.23	c ---[342262]---> BDD-cost:  379
19.18/19.24	c ---[342261]---> BDD-cost:  379
19.18/19.25	c ---[342260]---> BDD-cost:  379
19.18/19.26	c ---[342259]---> BDD-cost:  379
19.18/19.27	c ---[342258]---> BDD-cost:  379
19.18/19.28	c ---[342257]---> BDD-cost:  379
19.18/19.29	c ---[342256]---> BDD-cost:  379
19.18/19.29	c ---[342255]---> BDD-cost:  379
19.28/19.30	c ---[342254]---> BDD-cost:  379
19.28/19.31	c ---[342253]---> BDD-cost:  379
19.28/19.32	c ---[342252]---> BDD-cost:  379
19.28/19.33	c ---[342251]---> BDD-cost:  379
19.28/19.34	c ---[342250]---> BDD-cost:  379
19.28/19.35	c ---[342249]---> BDD-cost:  379
19.28/19.36	c ---[342248]---> BDD-cost:  379
19.28/19.37	c ---[342247]---> BDD-cost:  379
19.28/19.37	c ---[342246]---> BDD-cost:  379
19.28/19.38	c ---[342245]---> BDD-cost:  379
19.28/19.39	c ---[342244]---> BDD-cost:  379
19.38/19.40	c ---[342243]---> BDD-cost:  379
19.38/19.41	c ---[342242]---> BDD-cost:  379
19.38/19.42	c ---[342241]---> BDD-cost:  379
19.38/19.43	c ---[342240]---> BDD-cost:  379
19.38/19.44	c ---[342239]---> BDD-cost:  379
19.38/19.45	c ---[342238]---> BDD-cost:  379
19.38/19.45	c ---[342237]---> BDD-cost:  379
19.38/19.46	c ---[342236]---> BDD-cost:  379
19.38/19.47	c ---[342235]---> BDD-cost:  379
19.38/19.48	c ---[342234]---> BDD-cost:  379
19.38/19.49	c ---[342233]---> BDD-cost:  379
19.48/19.50	c ---[342232]---> BDD-cost:  379
19.48/19.51	c ---[342231]---> BDD-cost:  379
19.48/19.52	c ---[342230]---> BDD-cost:  379
19.48/19.53	c ---[342229]---> BDD-cost:  379
19.48/19.53	c ---[342228]---> BDD-cost:  379
19.48/19.54	c ---[342227]---> BDD-cost:  379
19.48/19.55	c ---[342226]---> BDD-cost:  379
19.48/19.56	c ---[342225]---> BDD-cost:  379
19.48/19.57	c ---[342224]---> BDD-cost:  379
19.48/19.58	c ---[342223]---> BDD-cost:  379
19.48/19.59	c ---[342222]---> BDD-cost:  379
19.58/19.60	c ---[342221]---> BDD-cost:  379
19.58/19.61	c ---[342220]---> BDD-cost:  379
19.58/19.61	c ---[342219]---> BDD-cost:  379
19.58/19.62	c ---[342218]---> BDD-cost:  379
19.58/19.63	c ---[342217]---> BDD-cost:  379
19.58/19.64	c ---[342216]---> BDD-cost:  379
19.58/19.65	c ---[342215]---> BDD-cost:  379
19.58/19.66	c ---[342214]---> BDD-cost:  379
19.58/19.67	c ---[342213]---> BDD-cost:  379
19.58/19.68	c ---[342212]---> BDD-cost:  379
19.58/19.68	c ---[342211]---> BDD-cost:  379
19.58/19.69	c ---[342210]---> BDD-cost:  379
19.69/19.70	c ---[342209]---> BDD-cost:  379
19.69/19.71	c ---[342208]---> BDD-cost:  379
19.69/19.72	c ---[342207]---> BDD-cost:  379
19.69/19.73	c ---[342206]---> BDD-cost:  379
19.69/19.74	c ---[342205]---> BDD-cost:  379
19.69/19.75	c ---[342204]---> BDD-cost:  379
19.69/19.76	c ---[342203]---> BDD-cost:  379
19.69/19.76	c ---[342202]---> BDD-cost:  379
19.69/19.77	c ---[342201]---> BDD-cost:  379
19.69/19.78	c ---[342200]---> BDD-cost:  379
19.69/19.79	c ---[342199]---> BDD-cost:  379
19.79/19.81	c ---[342198]---> BDD-cost:  379
19.79/19.82	c ---[342197]---> BDD-cost:  379
19.79/19.83	c ---[342196]---> BDD-cost:  379
19.79/19.84	c ---[342195]---> BDD-cost:  379
19.79/19.85	c ---[342194]---> BDD-cost:  379
19.79/19.86	c ---[342193]---> BDD-cost:  379
19.79/19.86	c ---[342192]---> BDD-cost:  379
19.79/19.87	c ---[342191]---> BDD-cost:  379
19.79/19.88	c ---[342190]---> BDD-cost:  379
19.79/19.89	c ---[342189]---> BDD-cost:  379
19.88/19.90	c ---[342188]---> BDD-cost:  379
19.88/19.91	c ---[342187]---> BDD-cost:  379
19.88/19.92	c ---[342186]---> BDD-cost:  379
19.88/19.93	c ---[342185]---> BDD-cost:  379
19.88/19.94	c ---[342184]---> BDD-cost:  379
19.88/19.94	c ---[342183]---> BDD-cost:  379
19.88/19.95	c ---[342182]---> BDD-cost:  379
19.88/19.96	c ---[342181]---> BDD-cost:  379
19.88/19.97	c ---[342180]---> BDD-cost:  379
19.88/19.98	c ---[342179]---> BDD-cost:  379
19.88/19.99	c ---[342178]---> BDD-cost:  379
19.98/20.00	c ---[342177]---> BDD-cost:  379
19.98/20.01	c ---[342176]---> BDD-cost:  379
19.98/20.02	c ---[342175]---> BDD-cost:  379
19.98/20.02	c ---[342174]---> BDD-cost:  379
19.98/20.03	c ---[342173]---> BDD-cost:  379
19.98/20.04	c ---[342172]---> BDD-cost:  379
19.98/20.05	c ---[342171]---> BDD-cost:  379
19.98/20.06	c ---[342170]---> BDD-cost:  379
19.98/20.07	c ---[342169]---> BDD-cost:  379
19.98/20.08	c ---[342168]---> BDD-cost:  379
19.98/20.09	c ---[342167]---> BDD-cost:  379
20.08/20.10	c ---[342166]---> BDD-cost:  379
20.08/20.10	c ---[342165]---> BDD-cost:  379
20.08/20.11	c ---[342164]---> BDD-cost:  379
20.08/20.12	c ---[342163]---> BDD-cost:  379
20.08/20.13	c ---[342162]---> BDD-cost:  379
20.08/20.14	c ---[342161]---> BDD-cost:  379
20.08/20.15	c ---[342160]---> BDD-cost:  379
20.08/20.16	c ---[342159]---> BDD-cost:  379
20.08/20.17	c ---[342158]---> BDD-cost:  379
20.08/20.18	c ---[342157]---> BDD-cost:  379
20.08/20.18	c ---[342156]---> BDD-cost:  379
20.08/20.19	c ---[342155]---> BDD-cost:  379
20.18/20.20	c ---[342154]---> BDD-cost:  379
20.18/20.21	c ---[342153]---> BDD-cost:  379
20.18/20.22	c ---[342152]---> BDD-cost:  379
20.18/20.23	c ---[342151]---> BDD-cost:  379
20.18/20.24	c ---[342150]---> BDD-cost:  379
20.18/20.25	c ---[342149]---> BDD-cost:  379
20.18/20.26	c ---[342148]---> BDD-cost:  379
20.18/20.26	c ---[342147]---> BDD-cost:  379
20.18/20.27	c ---[342146]---> BDD-cost:  379
20.18/20.28	c ---[342145]---> BDD-cost:  379
20.18/20.29	c ---[342144]---> BDD-cost:  379
20.28/20.30	c ---[342143]---> BDD-cost:  379
20.28/20.31	c ---[342142]---> BDD-cost:  379
20.28/20.32	c ---[342141]---> BDD-cost:  379
20.28/20.33	c ---[342140]---> BDD-cost:  379
20.28/20.34	c ---[342139]---> BDD-cost:  379
20.28/20.34	c ---[342138]---> BDD-cost:  379
20.28/20.35	c ---[342137]---> BDD-cost:  379
20.28/20.36	c ---[342136]---> BDD-cost:  379
20.28/20.37	c ---[342135]---> BDD-cost:  379
20.28/20.38	c ---[342134]---> BDD-cost:  379
20.28/20.39	c ---[342133]---> BDD-cost:  379
20.38/20.40	c ---[342132]---> BDD-cost:  379
20.38/20.41	c ---[342131]---> BDD-cost:  379
20.38/20.42	c ---[342130]---> BDD-cost:  379
20.38/20.42	c ---[342129]---> BDD-cost:  379
20.38/20.43	c ---[342128]---> BDD-cost:  379
20.38/20.44	c ---[342127]---> BDD-cost:  379
20.38/20.45	c ---[342126]---> BDD-cost:  379
20.38/20.46	c ---[342125]---> BDD-cost:  379
20.38/20.47	c ---[342124]---> BDD-cost:  379
20.38/20.48	c ---[342123]---> BDD-cost:  379
20.38/20.49	c ---[342122]---> BDD-cost:  379
20.48/20.50	c ---[342121]---> BDD-cost:  379
20.48/20.50	c ---[342120]---> BDD-cost:  379
20.48/20.51	c ---[342119]---> BDD-cost:  379
20.48/20.52	c ---[342118]---> BDD-cost:  379
20.48/20.53	c ---[342117]---> BDD-cost:  379
20.48/20.54	c ---[342116]---> BDD-cost:  379
20.48/20.55	c ---[342115]---> BDD-cost:  379
20.48/20.56	c ---[342114]---> BDD-cost:  379
20.48/20.57	c ---[342113]---> BDD-cost:  379
20.48/20.58	c ---[342112]---> BDD-cost:  379
20.48/20.58	c ---[342111]---> BDD-cost:  379
20.48/20.59	c ---[342110]---> BDD-cost:  379
20.58/20.60	c ---[342109]---> BDD-cost:  379
20.58/20.61	c ---[342108]---> BDD-cost:  379
20.58/20.62	c ---[342107]---> BDD-cost:  379
20.58/20.63	c ---[342106]---> BDD-cost:  379
20.58/20.64	c ---[342105]---> BDD-cost:  379
20.58/20.65	c ---[342104]---> BDD-cost:  379
20.58/20.66	c ---[342103]---> BDD-cost:  379
20.58/20.67	c ---[342102]---> BDD-cost:  379
20.58/20.67	c ---[342101]---> BDD-cost:  379
20.58/20.68	c ---[342100]---> BDD-cost:  379
20.58/20.69	c ---[342099]---> BDD-cost:  379
20.68/20.70	c ---[342098]---> BDD-cost:  379
20.68/20.71	c ---[342097]---> BDD-cost:  379
20.68/20.72	c ---[342096]---> BDD-cost:  379
20.68/20.73	c ---[342095]---> BDD-cost:  379
20.68/20.74	c ---[342094]---> BDD-cost:  379
20.68/20.75	c ---[342093]---> BDD-cost:  379
20.68/20.75	c ---[342092]---> BDD-cost:  379
20.68/20.76	c ---[342091]---> BDD-cost:  379
20.68/20.77	c ---[342090]---> BDD-cost:  379
20.68/20.78	c ---[342089]---> BDD-cost:  379
20.68/20.79	c ---[342088]---> BDD-cost:  379
20.68/20.80	c ---[342087]---> BDD-cost:  379
20.79/20.81	c ---[342086]---> BDD-cost:  379
20.79/20.82	c ---[342085]---> BDD-cost:  379
20.79/20.83	c ---[342084]---> BDD-cost:  379
20.79/20.83	c ---[342083]---> BDD-cost:  379
20.79/20.84	c ---[342082]---> BDD-cost:  379
20.79/20.85	c ---[342081]---> BDD-cost:  379
20.79/20.86	c ---[342080]---> BDD-cost:  379
20.79/20.87	c ---[342079]---> BDD-cost:  379
20.79/20.88	c ---[342078]---> BDD-cost:  379
20.79/20.89	c ---[342077]---> BDD-cost:  379
20.79/20.90	c ---[342076]---> BDD-cost:  379
20.89/20.91	c ---[342075]---> BDD-cost:  379
20.89/20.91	c ---[342074]---> BDD-cost:  379
20.89/20.92	c ---[342073]---> BDD-cost:  379
20.89/20.93	c ---[342072]---> BDD-cost:  379
20.89/20.94	c ---[342071]---> BDD-cost:  379
20.89/20.95	c ---[342070]---> BDD-cost:  379
20.89/20.96	c ---[342069]---> BDD-cost:  379
20.89/20.97	c ---[342068]---> BDD-cost:  379
20.89/20.98	c ---[342067]---> BDD-cost:  379
20.89/20.99	c ---[342066]---> BDD-cost:  379
20.89/20.99	c ---[342065]---> BDD-cost:  379
20.98/21.00	c ---[342064]---> BDD-cost:  379
20.98/21.01	c ---[342063]---> BDD-cost:  379
20.98/21.02	c ---[342062]---> BDD-cost:  379
20.98/21.03	c ---[342061]---> BDD-cost:  379
20.98/21.04	c ---[342060]---> BDD-cost:  379
20.98/21.05	c ---[342059]---> BDD-cost:  379
20.98/21.06	c ---[342058]---> BDD-cost:  379
20.98/21.07	c ---[342057]---> BDD-cost:  379
20.98/21.07	c ---[342056]---> BDD-cost:  379
20.98/21.08	c ---[342055]---> BDD-cost:  379
20.98/21.09	c ---[342054]---> BDD-cost:  379
21.08/21.10	c ---[342053]---> BDD-cost:  379
21.08/21.11	c ---[342052]---> BDD-cost:  379
21.08/21.12	c ---[342051]---> BDD-cost:  379
21.08/21.13	c ---[342050]---> BDD-cost:  379
21.08/21.14	c ---[342049]---> BDD-cost:  379
21.08/21.15	c ---[342048]---> BDD-cost:  379
21.08/21.15	c ---[342047]---> BDD-cost:  379
21.08/21.16	c ---[342046]---> BDD-cost:  379
21.08/21.17	c ---[342045]---> BDD-cost:  379
21.08/21.18	c ---[342044]---> BDD-cost:  379
21.08/21.19	c ---[342043]---> BDD-cost:  379
21.18/21.20	c ---[342042]---> BDD-cost:  379
21.18/21.21	c ---[342041]---> BDD-cost:  379
21.18/21.22	c ---[342040]---> BDD-cost:  379
21.18/21.23	c ---[342039]---> BDD-cost:  379
21.18/21.23	c ---[342038]---> BDD-cost:  379
21.18/21.24	c ---[342037]---> BDD-cost:  379
21.18/21.25	c ---[342036]---> BDD-cost:  379
21.18/21.26	c ---[342035]---> BDD-cost:  379
21.18/21.27	c ---[342034]---> BDD-cost:  379
21.18/21.28	c ---[342033]---> BDD-cost:  379
21.18/21.29	c ---[342032]---> BDD-cost:  379
21.28/21.30	c ---[342031]---> BDD-cost:  379
21.28/21.31	c ---[342030]---> BDD-cost:  379
21.28/21.32	c ---[342029]---> BDD-cost:  379
21.28/21.32	c ---[342028]---> BDD-cost:  379
21.28/21.33	c ---[342027]---> BDD-cost:  379
21.28/21.34	c ---[342026]---> BDD-cost:  379
21.28/21.35	c ---[342025]---> BDD-cost:  379
21.28/21.36	c ---[342024]---> BDD-cost:  379
21.28/21.37	c ---[342023]---> BDD-cost:  379
21.28/21.38	c ---[342022]---> BDD-cost:  379
21.28/21.39	c ---[342021]---> BDD-cost:  379
21.38/21.40	c ---[342020]---> BDD-cost:  379
21.38/21.40	c ---[342019]---> BDD-cost:  379
21.38/21.41	c ---[342018]---> BDD-cost:  379
21.38/21.42	c ---[342017]---> BDD-cost:  379
21.38/21.43	c ---[342016]---> BDD-cost:  379
21.38/21.44	c ---[342015]---> BDD-cost:  379
21.38/21.45	c ---[342014]---> BDD-cost:  379
21.38/21.46	c ---[342013]---> BDD-cost:  379
21.38/21.47	c ---[342012]---> BDD-cost:  379
21.38/21.48	c ---[342011]---> BDD-cost:  379
21.38/21.48	c ---[342010]---> BDD-cost:  379
21.38/21.49	c ---[342009]---> BDD-cost:  379
21.48/21.50	c ---[342008]---> BDD-cost:  379
21.48/21.51	c ---[342007]---> BDD-cost:  379
21.48/21.52	c ---[342006]---> BDD-cost:  379
21.48/21.53	c ---[342005]---> BDD-cost:  379
21.48/21.54	c ---[342004]---> BDD-cost:  379
21.48/21.55	c ---[342003]---> BDD-cost:  379
21.48/21.56	c ---[342002]---> BDD-cost:  379
21.48/21.56	c ---[342001]---> BDD-cost:  379
21.48/21.57	c ---[342000]---> BDD-cost:  379
21.48/21.58	c ---[341999]---> BDD-cost:  379
21.48/21.59	c ---[341998]---> BDD-cost:  379
21.58/21.60	c ---[341997]---> BDD-cost:  379
21.58/21.61	c ---[341996]---> BDD-cost:  379
21.58/21.62	c ---[341995]---> BDD-cost:  379
21.58/21.63	c ---[341994]---> BDD-cost:  379
21.58/21.64	c ---[341993]---> BDD-cost:  379
21.58/21.64	c ---[341992]---> BDD-cost:  379
21.58/21.65	c ---[341991]---> BDD-cost:  379
21.58/21.66	c ---[341990]---> BDD-cost:  379
21.58/21.67	c ---[341989]---> BDD-cost:  379
21.58/21.68	c ---[341988]---> BDD-cost:  379
21.58/21.69	c ---[341987]---> BDD-cost:  379
21.68/21.70	c ---[341986]---> BDD-cost:  379
21.68/21.71	c ---[341985]---> BDD-cost:  379
21.68/21.72	c ---[341984]---> BDD-cost:  379
21.68/21.73	c ---[341983]---> BDD-cost:  379
21.68/21.73	c ---[341982]---> BDD-cost:  379
21.68/21.74	c ---[341981]---> BDD-cost:  379
21.68/21.75	c ---[341980]---> BDD-cost:  379
21.68/21.76	c ---[341979]---> BDD-cost:  379
21.68/21.77	c ---[341978]---> BDD-cost:  379
21.68/21.78	c ---[341977]---> BDD-cost:  379
21.68/21.79	c ---[341976]---> BDD-cost:  379
21.78/21.80	c ---[341975]---> BDD-cost:  379
21.78/21.81	c ---[341974]---> BDD-cost:  379
21.78/21.81	c ---[341973]---> BDD-cost:  379
21.78/21.82	c ---[341972]---> BDD-cost:  379
21.78/21.83	c ---[341971]---> BDD-cost:  379
21.78/21.84	c ---[341970]---> BDD-cost:  379
21.78/21.85	c ---[341969]---> BDD-cost:  379
21.78/21.86	c ---[341968]---> BDD-cost:  379
21.78/21.87	c ---[341967]---> BDD-cost:  379
21.78/21.88	c ---[341966]---> BDD-cost:  379
21.78/21.89	c ---[341965]---> BDD-cost:  379
21.78/21.89	c ---[341964]---> BDD-cost:  379
21.89/21.90	c ---[341963]---> BDD-cost:  379
21.89/21.91	c ---[341962]---> BDD-cost:  379
21.89/21.92	c ---[341961]---> BDD-cost:  379
21.89/21.93	c ---[341960]---> BDD-cost:  379
21.89/21.94	c ---[341959]---> BDD-cost:  379
21.89/21.95	c ---[341958]---> BDD-cost:  379
21.89/21.96	c ---[341957]---> BDD-cost:  379
21.89/21.97	c ---[341956]---> BDD-cost:  379
21.89/21.97	c ---[341955]---> BDD-cost:  379
21.89/21.98	c ---[341954]---> BDD-cost:  379
21.89/21.99	c ---[341953]---> BDD-cost:  379
21.99/22.00	c ---[341952]---> BDD-cost:  379
21.99/22.01	c ---[341951]---> BDD-cost:  379
21.99/22.02	c ---[341950]---> BDD-cost:  379
21.99/22.03	c ---[341949]---> BDD-cost:  379
21.99/22.04	c ---[341948]---> BDD-cost:  379
21.99/22.05	c ---[341947]---> BDD-cost:  379
21.99/22.05	c ---[341946]---> BDD-cost:  379
21.99/22.06	c ---[341945]---> BDD-cost:  379
21.99/22.07	c ---[341944]---> BDD-cost:  379
21.99/22.08	c ---[341943]---> BDD-cost:  379
21.99/22.09	c ---[341942]---> BDD-cost:  379
22.08/22.10	c ---[341941]---> BDD-cost:  379
22.08/22.11	c ---[341940]---> BDD-cost:  379
22.08/22.12	c ---[341939]---> BDD-cost:  379
22.08/22.13	c ---[341938]---> BDD-cost:  379
22.08/22.14	c ---[341937]---> BDD-cost:  379
22.08/22.14	c ---[341936]---> BDD-cost:  379
22.08/22.15	c ---[341935]---> BDD-cost:  379
22.08/22.16	c ---[341934]---> BDD-cost:  379
22.08/22.17	c ---[341933]---> BDD-cost:  379
22.08/22.18	c ---[341932]---> BDD-cost:  379
22.08/22.19	c ---[341931]---> BDD-cost:  379
22.18/22.20	c ---[341930]---> BDD-cost:  379
22.18/22.21	c ---[341929]---> BDD-cost:  379
22.18/22.22	c ---[341928]---> BDD-cost:  379
22.18/22.22	c ---[341927]---> BDD-cost:  379
22.18/22.23	c ---[341926]---> BDD-cost:  379
22.18/22.24	c ---[341925]---> BDD-cost:  379
22.18/22.25	c ---[341924]---> BDD-cost:  379
22.18/22.26	c ---[341923]---> BDD-cost:  379
22.18/22.27	c ---[341922]---> BDD-cost:  379
22.18/22.28	c ---[341921]---> BDD-cost:  379
22.18/22.29	c ---[341920]---> BDD-cost:  379
22.28/22.30	c ---[341919]---> BDD-cost:  379
22.28/22.30	c ---[341918]---> BDD-cost:  379
22.28/22.31	c ---[341917]---> BDD-cost:  379
22.28/22.32	c ---[341916]---> BDD-cost:  379
22.28/22.33	c ---[341915]---> BDD-cost:  379
22.28/22.34	c ---[341914]---> BDD-cost:  379
22.28/22.35	c ---[341913]---> BDD-cost:  379
22.28/22.36	c ---[341912]---> BDD-cost:  379
22.28/22.37	c ---[341911]---> BDD-cost:  379
22.28/22.38	c ---[341910]---> BDD-cost:  379
22.28/22.38	c ---[341909]---> BDD-cost:  379
22.28/22.39	c ---[341908]---> BDD-cost:  379
22.38/22.40	c ---[341907]---> BDD-cost:  379
22.38/22.41	c ---[341906]---> BDD-cost:  379
22.38/22.42	c ---[341905]---> BDD-cost:  379
22.38/22.43	c ---[341904]---> BDD-cost:  379
22.38/22.44	c ---[341903]---> BDD-cost:  379
22.38/22.45	c ---[341902]---> BDD-cost:  379
22.38/22.46	c ---[341901]---> BDD-cost:  379
22.38/22.46	c ---[341900]---> BDD-cost:  379
22.38/22.47	c ---[341899]---> BDD-cost:  379
22.38/22.48	c ---[341898]---> BDD-cost:  379
22.38/22.49	c ---[341897]---> BDD-cost:  379
22.48/22.50	c ---[341896]---> BDD-cost:  379
22.48/22.51	c ---[341895]---> BDD-cost:  379
22.48/22.52	c ---[341894]---> BDD-cost:  379
22.48/22.53	c ---[341893]---> BDD-cost:  379
22.48/22.54	c ---[341892]---> BDD-cost:  379
22.48/22.55	c ---[341891]---> BDD-cost:  379
22.48/22.55	c ---[341890]---> BDD-cost:  379
22.48/22.56	c ---[341889]---> BDD-cost:  379
22.48/22.57	c ---[341888]---> BDD-cost:  379
22.48/22.58	c ---[341887]---> BDD-cost:  379
22.48/22.59	c ---[341886]---> BDD-cost:  379
22.59/22.60	c ---[341885]---> BDD-cost:  379
22.59/22.61	c ---[341884]---> BDD-cost:  379
22.59/22.62	c ---[341883]---> BDD-cost:  379
22.59/22.63	c ---[341882]---> BDD-cost:  379
22.59/22.63	c ---[341881]---> BDD-cost:  379
22.59/22.64	c ---[341880]---> BDD-cost:  379
22.59/22.65	c ---[341879]---> BDD-cost:  379
22.59/22.66	c ---[341878]---> BDD-cost:  379
22.59/22.67	c ---[341877]---> BDD-cost:  379
22.59/22.68	c ---[341876]---> BDD-cost:  379
22.59/22.69	c ---[341875]---> BDD-cost:  379
22.69/22.70	c ---[341874]---> BDD-cost:  379
22.69/22.71	c ---[341873]---> BDD-cost:  379
22.69/22.71	c ---[341872]---> BDD-cost:  379
22.69/22.72	c ---[341871]---> BDD-cost:  379
22.69/22.73	c ---[341870]---> BDD-cost:  379
22.69/22.74	c ---[341869]---> BDD-cost:  379
22.69/22.75	c ---[341868]---> BDD-cost:  379
22.69/22.76	c ---[341867]---> BDD-cost:  379
22.69/22.77	c ---[341866]---> BDD-cost:  379
22.69/22.78	c ---[341865]---> BDD-cost:  379
22.69/22.79	c ---[341864]---> BDD-cost:  379
22.69/22.80	c ---[341863]---> BDD-cost:  379
22.79/22.80	c ---[341862]---> BDD-cost:  379
22.79/22.81	c ---[341861]---> BDD-cost:  379
22.79/22.82	c ---[341860]---> BDD-cost:  379
22.79/22.83	c ---[341859]---> BDD-cost:  379
22.79/22.84	c ---[341858]---> BDD-cost:  379
22.79/22.85	c ---[341857]---> BDD-cost:  379
22.79/22.86	c ---[341856]---> BDD-cost:  379
22.79/22.87	c ---[341855]---> BDD-cost:  379
22.79/22.88	c ---[341854]---> BDD-cost:  379
22.79/22.88	c ---[341853]---> BDD-cost:  379
22.79/22.89	c ---[341852]---> BDD-cost:  379
22.89/22.90	c ---[341851]---> BDD-cost:  379
22.89/22.91	c ---[341850]---> BDD-cost:  379
22.89/22.92	c ---[341849]---> BDD-cost:  379
22.89/22.93	c ---[341848]---> BDD-cost:  379
22.89/22.94	c ---[341847]---> BDD-cost:  379
22.89/22.95	c ---[341846]---> BDD-cost:  379
22.89/22.96	c ---[341845]---> BDD-cost:  379
22.89/22.96	c ---[341844]---> BDD-cost:  379
22.89/22.97	c ---[341843]---> BDD-cost:  379
22.89/22.98	c ---[341842]---> BDD-cost:  379
22.89/22.99	c ---[341841]---> BDD-cost:  379
22.89/23.00	c ---[341840]---> BDD-cost:  379
23.00/23.01	c ---[341839]---> BDD-cost:  379
23.00/23.02	c ---[341838]---> BDD-cost:  379
23.00/23.03	c ---[341837]---> BDD-cost:  379
23.00/23.04	c ---[341836]---> BDD-cost:  379
23.00/23.04	c ---[341835]---> BDD-cost:  379
23.00/23.05	c ---[341834]---> BDD-cost:  379
23.00/23.06	c ---[341833]---> BDD-cost:  379
23.00/23.07	c ---[341832]---> BDD-cost:  379
23.00/23.08	c ---[341831]---> BDD-cost:  379
23.00/23.09	c ---[341830]---> BDD-cost:  379
23.00/23.10	c ---[341829]---> BDD-cost:  379
23.10/23.11	c ---[341828]---> BDD-cost:  379
23.10/23.12	c ---[341827]---> BDD-cost:  379
23.10/23.12	c ---[341826]---> BDD-cost:  379
23.10/23.13	c ---[341825]---> BDD-cost:  379
23.10/23.14	c ---[341824]---> BDD-cost:  379
23.10/23.15	c ---[341823]---> BDD-cost:  379
23.10/23.16	c ---[341822]---> BDD-cost:  379
23.10/23.17	c ---[341821]---> BDD-cost:  379
23.10/23.18	c ---[341820]---> BDD-cost:  379
23.10/23.19	c ---[341819]---> BDD-cost:  379
23.19/23.20	c ---[341818]---> BDD-cost:  379
23.19/23.21	c ---[341817]---> BDD-cost:  379
23.19/23.21	c ---[341816]---> BDD-cost:  379
23.19/23.22	c ---[341815]---> BDD-cost:  379
23.19/23.23	c ---[341814]---> BDD-cost:  379
23.19/23.24	c ---[341813]---> BDD-cost:  379
23.19/23.25	c ---[341812]---> BDD-cost:  379
23.19/23.26	c ---[341811]---> BDD-cost:  379
23.19/23.27	c ---[341810]---> BDD-cost:  379
23.19/23.28	c ---[341809]---> BDD-cost:  379
23.19/23.29	c ---[341808]---> BDD-cost:  379
23.19/23.29	c ---[341807]---> BDD-cost:  379
23.29/23.30	c ---[341806]---> BDD-cost:  379
23.29/23.31	c ---[341805]---> BDD-cost:  379
23.29/23.32	c ---[341804]---> BDD-cost:  379
23.29/23.33	c ---[341803]---> BDD-cost:  379
23.29/23.34	c ---[341802]---> BDD-cost:  379
23.29/23.35	c ---[341801]---> BDD-cost:  379
23.29/23.36	c ---[341800]---> BDD-cost:  379
23.29/23.37	c ---[341799]---> BDD-cost:  379
23.29/23.37	c ---[341798]---> BDD-cost:  379
23.29/23.38	c ---[341797]---> BDD-cost:  379
23.29/23.39	c ---[341796]---> BDD-cost:  379
23.39/23.40	c ---[341795]---> BDD-cost:  379
23.39/23.41	c ---[341794]---> BDD-cost:  379
23.39/23.42	c ---[341793]---> BDD-cost:  379
23.39/23.43	c ---[341792]---> BDD-cost:  379
23.39/23.44	c ---[341791]---> BDD-cost:  379
23.39/23.45	c ---[341790]---> BDD-cost:  379
23.39/23.45	c ---[341789]---> BDD-cost:  379
23.39/23.46	c ---[341788]---> BDD-cost:  379
23.39/23.47	c ---[341787]---> BDD-cost:  379
23.39/23.48	c ---[341786]---> BDD-cost:  379
23.39/23.49	c ---[341785]---> BDD-cost:  379
23.49/23.50	c ---[341784]---> BDD-cost:  379
23.49/23.51	c ---[341783]---> BDD-cost:  379
23.49/23.52	c ---[341782]---> BDD-cost:  379
23.49/23.53	c ---[341781]---> BDD-cost:  379
23.49/23.53	c ---[341780]---> BDD-cost:  379
23.49/23.54	c ---[341779]---> BDD-cost:  379
23.49/23.55	c ---[341778]---> BDD-cost:  379
23.49/23.56	c ---[341777]---> BDD-cost:  379
23.49/23.57	c ---[341776]---> BDD-cost:  379
23.49/23.58	c ---[341775]---> BDD-cost:  379
23.49/23.59	c ---[341774]---> BDD-cost:  379
23.59/23.60	c ---[341773]---> BDD-cost:  379
23.59/23.61	c ---[341772]---> BDD-cost:  379
23.59/23.62	c ---[341771]---> BDD-cost:  379
23.59/23.62	c ---[341770]---> BDD-cost:  379
23.59/23.63	c ---[341769]---> BDD-cost:  379
23.59/23.64	c ---[341768]---> BDD-cost:  379
23.59/23.65	c ---[341767]---> BDD-cost:  379
23.59/23.66	c ---[341766]---> BDD-cost:  379
23.59/23.67	c ---[341765]---> BDD-cost:  379
23.59/23.68	c ---[341764]---> BDD-cost:  379
23.59/23.69	c ---[341763]---> BDD-cost:  379
23.69/23.70	c ---[341762]---> BDD-cost:  379
23.69/23.70	c ---[341761]---> BDD-cost:  379
23.69/23.71	c ---[341760]---> BDD-cost:  379
23.69/23.72	c ---[341759]---> BDD-cost:  379
23.69/23.73	c ---[341758]---> BDD-cost:  379
23.69/23.74	c ---[341757]---> BDD-cost:  379
23.69/23.75	c ---[341756]---> BDD-cost:  379
23.69/23.76	c ---[341755]---> BDD-cost:  379
23.69/23.77	c ---[341754]---> BDD-cost:  379
23.79/23.80	c ---[341753]---> BDD-cost:  379
23.79/23.81	c ---[341752]---> BDD-cost:  379
23.79/23.82	c ---[341751]---> BDD-cost:  379
23.79/23.83	c ---[341750]---> BDD-cost:  379
23.79/23.84	c ---[341749]---> BDD-cost:  379
23.79/23.85	c ---[341748]---> BDD-cost:  379
23.79/23.86	c ---[341747]---> BDD-cost:  379
23.79/23.87	c ---[341746]---> BDD-cost:  379
23.79/23.88	c ---[341745]---> BDD-cost:  379
23.79/23.88	c ---[341744]---> BDD-cost:  379
23.79/23.89	c ---[341743]---> BDD-cost:  379
23.89/23.90	c ---[341742]---> BDD-cost:  379
23.89/23.91	c ---[341741]---> BDD-cost:  379
23.89/23.92	c ---[341740]---> BDD-cost:  379
23.89/23.93	c ---[341739]---> BDD-cost:  379
23.89/23.94	c ---[341738]---> BDD-cost:  379
23.89/23.95	c ---[341737]---> BDD-cost:  379
23.89/23.96	c ---[341736]---> BDD-cost:  379
23.89/23.96	c ---[341735]---> BDD-cost:  379
23.89/23.97	c ---[341734]---> BDD-cost:  379
23.89/23.98	c ---[341733]---> BDD-cost:  379
23.89/23.99	c ---[341732]---> BDD-cost:  379
23.99/24.00	c ---[341731]---> BDD-cost:  379
23.99/24.01	c ---[341730]---> BDD-cost:  379
23.99/24.02	c ---[341729]---> BDD-cost:  379
23.99/24.03	c ---[341728]---> BDD-cost:  379
23.99/24.04	c ---[341727]---> BDD-cost:  379
23.99/24.04	c ---[341726]---> BDD-cost:  379
23.99/24.05	c ---[341725]---> BDD-cost:  379
23.99/24.06	c ---[341724]---> BDD-cost:  379
23.99/24.07	c ---[341723]---> BDD-cost:  379
23.99/24.08	c ---[341722]---> BDD-cost:  379
23.99/24.09	c ---[341721]---> BDD-cost:  379
23.99/24.10	c ---[341720]---> BDD-cost:  379
24.10/24.11	c ---[341719]---> BDD-cost:  379
24.10/24.12	c ---[341718]---> BDD-cost:  379
24.10/24.12	c ---[341717]---> BDD-cost:  379
24.10/24.13	c ---[341716]---> BDD-cost:  379
24.10/24.14	c ---[341715]---> BDD-cost:  379
24.10/24.15	c ---[341714]---> BDD-cost:  379
24.10/24.16	c ---[341713]---> BDD-cost:  379
24.10/24.17	c ---[341712]---> BDD-cost:  379
24.10/24.18	c ---[341711]---> BDD-cost:  379
24.10/24.19	c ---[341710]---> BDD-cost:  379
24.10/24.20	c ---[341709]---> BDD-cost:  379
24.20/24.20	c ---[341708]---> BDD-cost:  379
24.20/24.21	c ---[341707]---> BDD-cost:  379
24.20/24.22	c ---[341706]---> BDD-cost:  379
24.20/24.23	c ---[341705]---> BDD-cost:  379
24.20/24.24	c ---[341704]---> BDD-cost:  379
24.20/24.25	c ---[341703]---> BDD-cost:  379
24.20/24.26	c ---[341702]---> BDD-cost:  379
24.20/24.27	c ---[341701]---> BDD-cost:  379
24.20/24.28	c ---[341700]---> BDD-cost:  379
24.20/24.29	c ---[341699]---> BDD-cost:  379
24.20/24.29	c ---[341698]---> BDD-cost:  379
24.29/24.30	c ---[341697]---> BDD-cost:  379
24.29/24.31	c ---[341696]---> BDD-cost:  379
24.29/24.32	c ---[341695]---> BDD-cost:  379
24.29/24.33	c ---[341694]---> BDD-cost:  379
24.29/24.34	c ---[341693]---> BDD-cost:  379
24.29/24.35	c ---[341692]---> BDD-cost:  379
24.29/24.36	c ---[341691]---> BDD-cost:  379
24.29/24.37	c ---[341690]---> BDD-cost:  379
24.29/24.37	c ---[341689]---> BDD-cost:  379
24.29/24.38	c ---[341688]---> BDD-cost:  379
24.29/24.39	c ---[341687]---> BDD-cost:  379
24.39/24.40	c ---[341686]---> BDD-cost:  379
24.39/24.41	c ---[341685]---> BDD-cost:  379
24.39/24.42	c ---[341684]---> BDD-cost:  379
24.39/24.43	c ---[341683]---> BDD-cost:  379
24.39/24.44	c ---[341682]---> BDD-cost:  379
24.39/24.45	c ---[341681]---> BDD-cost:  379
24.39/24.45	c ---[341680]---> BDD-cost:  379
24.39/24.46	c ---[341679]---> BDD-cost:  379
24.39/24.47	c ---[341678]---> BDD-cost:  379
24.39/24.48	c ---[341677]---> BDD-cost:  379
24.39/24.49	c ---[341676]---> BDD-cost:  379
24.49/24.50	c ---[341675]---> BDD-cost:  379
24.49/24.51	c ---[341674]---> BDD-cost:  379
24.49/24.52	c ---[341673]---> BDD-cost:  379
24.49/24.53	c ---[341672]---> BDD-cost:  379
24.49/24.53	c ---[341671]---> BDD-cost:  379
24.49/24.54	c ---[341670]---> BDD-cost:  379
24.49/24.55	c ---[341669]---> BDD-cost:  379
24.49/24.56	c ---[341668]---> BDD-cost:  379
24.49/24.57	c ---[341667]---> BDD-cost:  379
24.49/24.58	c ---[341666]---> BDD-cost:  379
24.49/24.59	c ---[341665]---> BDD-cost:  379
24.59/24.60	c ---[341664]---> BDD-cost:  379
24.59/24.61	c ---[341663]---> BDD-cost:  379
24.59/24.61	c ---[341662]---> BDD-cost:  379
24.59/24.62	c ---[341661]---> BDD-cost:  379
24.59/24.63	c ---[341660]---> BDD-cost:  379
24.59/24.64	c ---[341659]---> BDD-cost:  379
24.59/24.65	c ---[341658]---> BDD-cost:  379
24.59/24.66	c ---[341657]---> BDD-cost:  379
24.59/24.67	c ---[341656]---> BDD-cost:  379
24.59/24.68	c ---[341655]---> BDD-cost:  379
24.59/24.69	c ---[341654]---> BDD-cost:  379
24.69/24.70	c ---[341653]---> BDD-cost:  379
24.69/24.70	c ---[341652]---> BDD-cost:  379
24.69/24.71	c ---[341651]---> BDD-cost:  379
24.69/24.72	c ---[341650]---> BDD-cost:  379
24.69/24.73	c ---[341649]---> BDD-cost:  379
24.69/24.74	c ---[341648]---> BDD-cost:  379
24.69/24.75	c ---[341647]---> BDD-cost:  379
24.69/24.76	c ---[341646]---> BDD-cost:  379
24.69/24.77	c ---[341645]---> BDD-cost:  379
24.69/24.78	c ---[341644]---> BDD-cost:  379
24.69/24.78	c ---[341643]---> BDD-cost:  379
24.69/24.79	c ---[341642]---> BDD-cost:  379
24.79/24.80	c ---[341641]---> BDD-cost:  379
24.79/24.81	c ---[341640]---> BDD-cost:  379
24.79/24.82	c ---[341639]---> BDD-cost:  379
24.79/24.83	c ---[341638]---> BDD-cost:  379
24.79/24.84	c ---[341637]---> BDD-cost:  379
24.79/24.85	c ---[341636]---> BDD-cost:  379
24.79/24.86	c ---[341635]---> BDD-cost:  379
24.79/24.86	c ---[341634]---> BDD-cost:  379
24.79/24.87	c ---[341633]---> BDD-cost:  379
24.79/24.88	c ---[341632]---> BDD-cost:  379
24.79/24.89	c ---[341631]---> BDD-cost:  379
24.89/24.90	c ---[341630]---> BDD-cost:  379
24.89/24.91	c ---[341629]---> BDD-cost:  379
24.89/24.92	c ---[341628]---> BDD-cost:  379
24.89/24.93	c ---[341627]---> BDD-cost:  379
24.89/24.94	c ---[341626]---> BDD-cost:  379
24.89/24.95	c ---[341625]---> BDD-cost:  379
24.89/24.95	c ---[341624]---> BDD-cost:  379
24.89/24.96	c ---[341623]---> BDD-cost:  379
24.89/24.97	c ---[341622]---> BDD-cost:  379
24.89/24.98	c ---[341621]---> BDD-cost:  379
24.89/24.99	c ---[341620]---> BDD-cost:  379
24.99/25.00	c ---[341619]---> BDD-cost:  379
24.99/25.01	c ---[341618]---> BDD-cost:  379
24.99/25.02	c ---[341617]---> BDD-cost:  379
24.99/25.03	c ---[341616]---> BDD-cost:  379
24.99/25.03	c ---[341615]---> BDD-cost:  379
24.99/25.04	c ---[341614]---> BDD-cost:  379
24.99/25.05	c ---[341613]---> BDD-cost:  379
24.99/25.06	c ---[341612]---> BDD-cost:  379
24.99/25.07	c ---[341611]---> BDD-cost:  379
24.99/25.08	c ---[341610]---> BDD-cost:  379
24.99/25.09	c ---[341609]---> BDD-cost:  379
25.09/25.10	c ---[341608]---> BDD-cost:  379
25.09/25.11	c ---[341607]---> BDD-cost:  379
25.09/25.11	c ---[341606]---> BDD-cost:  379
25.09/25.12	c ---[341605]---> BDD-cost:  379
25.09/25.13	c ---[341604]---> BDD-cost:  379
25.09/25.14	c ---[341603]---> BDD-cost:  379
25.09/25.15	c ---[341602]---> BDD-cost:  379
25.09/25.16	c ---[341601]---> BDD-cost:  379
25.09/25.17	c ---[341600]---> BDD-cost:  379
25.09/25.18	c ---[341599]---> BDD-cost:  379
25.09/25.19	c ---[341598]---> BDD-cost:  379
25.09/25.20	c ---[341597]---> BDD-cost:  379
25.20/25.20	c ---[341596]---> BDD-cost:  379
25.20/25.21	c ---[341595]---> BDD-cost:  379
25.20/25.22	c ---[341594]---> BDD-cost:  379
25.20/25.23	c ---[341593]---> BDD-cost:  379
25.20/25.24	c ---[341592]---> BDD-cost:  379
25.20/25.25	c ---[341591]---> BDD-cost:  379
25.20/25.26	c ---[341590]---> BDD-cost:  379
25.20/25.27	c ---[341589]---> BDD-cost:  379
25.20/25.28	c ---[341588]---> BDD-cost:  379
25.20/25.28	c ---[341587]---> BDD-cost:  379
25.20/25.29	c ---[341586]---> BDD-cost:  379
25.30/25.30	c ---[341585]---> BDD-cost:  379
25.30/25.31	c ---[341584]---> BDD-cost:  379
25.30/25.32	c ---[341583]---> BDD-cost:  379
25.30/25.33	c ---[341582]---> BDD-cost:  379
25.30/25.34	c ---[341581]---> BDD-cost:  379
25.30/25.35	c ---[341580]---> BDD-cost:  379
25.30/25.36	c ---[341579]---> BDD-cost:  379
25.30/25.37	c ---[341578]---> BDD-cost:  379
25.30/25.37	c ---[341577]---> BDD-cost:  379
25.30/25.38	c ---[341576]---> BDD-cost:  379
25.30/25.39	c ---[341575]---> BDD-cost:  379
25.39/25.40	c ---[341574]---> BDD-cost:  379
25.39/25.41	c ---[341573]---> BDD-cost:  379
25.39/25.42	c ---[341572]---> BDD-cost:  379
25.39/25.43	c ---[341571]---> BDD-cost:  379
25.39/25.44	c ---[341570]---> BDD-cost:  379
25.39/25.45	c ---[341569]---> BDD-cost:  379
25.39/25.45	c ---[341568]---> BDD-cost:  379
25.39/25.46	c ---[341567]---> BDD-cost:  379
25.39/25.47	c ---[341566]---> BDD-cost:  379
25.39/25.48	c ---[341565]---> BDD-cost:  379
25.39/25.49	c ---[341564]---> BDD-cost:  379
25.49/25.50	c ---[341563]---> BDD-cost:  379
25.49/25.51	c ---[341562]---> BDD-cost:  379
25.49/25.52	c ---[341561]---> BDD-cost:  379
25.49/25.53	c ---[341560]---> BDD-cost:  379
25.49/25.53	c ---[341559]---> BDD-cost:  379
25.49/25.54	c ---[341558]---> BDD-cost:  379
25.49/25.55	c ---[341557]---> BDD-cost:  379
25.49/25.56	c ---[341556]---> BDD-cost:  379
25.49/25.57	c ---[341555]---> BDD-cost:  379
25.49/25.58	c ---[341554]---> BDD-cost:  379
25.49/25.59	c ---[341553]---> BDD-cost:  379
25.59/25.60	c ---[341552]---> BDD-cost:  379
25.59/25.61	c ---[341551]---> BDD-cost:  379
25.59/25.62	c ---[341550]---> BDD-cost:  379
25.59/25.62	c ---[341549]---> BDD-cost:  379
25.59/25.63	c ---[341548]---> BDD-cost:  379
25.59/25.64	c ---[341547]---> BDD-cost:  379
25.59/25.65	c ---[341546]---> BDD-cost:  379
25.59/25.66	c ---[341545]---> BDD-cost:  379
25.59/25.67	c ---[341544]---> BDD-cost:  379
25.59/25.68	c ---[341543]---> BDD-cost:  379
25.59/25.69	c ---[341542]---> BDD-cost:  379
25.59/25.70	c ---[341541]---> BDD-cost:  379
25.69/25.70	c ---[341540]---> BDD-cost:  379
25.69/25.71	c ---[341539]---> BDD-cost:  379
25.69/25.72	c ---[341538]---> BDD-cost:  379
25.69/25.73	c ---[341537]---> BDD-cost:  379
25.69/25.74	c ---[341536]---> BDD-cost:  379
25.69/25.75	c ---[341535]---> BDD-cost:  379
25.69/25.76	c ---[341534]---> BDD-cost:  379
25.69/25.77	c ---[341533]---> BDD-cost:  379
25.69/25.78	c ---[341532]---> BDD-cost:  379
25.69/25.78	c ---[341531]---> BDD-cost:  379
25.69/25.79	c ---[341530]---> BDD-cost:  379
25.79/25.80	c ---[341529]---> BDD-cost:  379
25.79/25.81	c ---[341528]---> BDD-cost:  379
25.79/25.82	c ---[341527]---> BDD-cost:  379
25.79/25.83	c ---[341526]---> BDD-cost:  379
25.79/25.84	c ---[341525]---> BDD-cost:  379
25.79/25.85	c ---[341524]---> BDD-cost:  379
25.79/25.86	c ---[341523]---> BDD-cost:  379
25.79/25.86	c ---[341522]---> BDD-cost:  379
25.79/25.87	c ---[341521]---> BDD-cost:  379
25.79/25.88	c ---[341520]---> BDD-cost:  379
25.79/25.89	c ---[341519]---> BDD-cost:  379
25.89/25.90	c ---[341518]---> BDD-cost:  379
25.89/25.91	c ---[341517]---> BDD-cost:  379
25.89/25.92	c ---[341516]---> BDD-cost:  379
25.89/25.93	c ---[341515]---> BDD-cost:  379
25.89/25.94	c ---[341514]---> BDD-cost:  379
25.89/25.95	c ---[341513]---> BDD-cost:  379
25.89/25.95	c ---[341512]---> BDD-cost:  379
25.89/25.96	c ---[341511]---> BDD-cost:  379
25.89/25.97	c ---[341510]---> BDD-cost:  379
25.89/25.98	c ---[341509]---> BDD-cost:  379
25.89/25.99	c ---[341508]---> BDD-cost:  379
25.99/26.00	c ---[341507]---> BDD-cost:  379
25.99/26.01	c ---[341506]---> BDD-cost:  379
25.99/26.02	c ---[341505]---> BDD-cost:  379
25.99/26.03	c ---[341504]---> BDD-cost:  379
25.99/26.03	c ---[341503]---> BDD-cost:  379
25.99/26.04	c ---[341502]---> BDD-cost:  379
25.99/26.05	c ---[341501]---> BDD-cost:  379
25.99/26.06	c ---[341500]---> BDD-cost:  379
25.99/26.07	c ---[341499]---> BDD-cost:  379
25.99/26.08	c ---[341498]---> BDD-cost:  379
25.99/26.09	c ---[341497]---> BDD-cost:  379
26.09/26.10	c ---[341496]---> BDD-cost:  379
26.09/26.11	c ---[341495]---> BDD-cost:  379
26.09/26.12	c ---[341494]---> BDD-cost:  379
26.09/26.12	c ---[341493]---> BDD-cost:  379
26.09/26.13	c ---[341492]---> BDD-cost:  379
26.09/26.14	c ---[341491]---> BDD-cost:  379
26.09/26.15	c ---[341490]---> BDD-cost:  379
26.09/26.16	c ---[341489]---> BDD-cost:  379
26.09/26.17	c ---[341488]---> BDD-cost:  379
26.09/26.18	c ---[341487]---> BDD-cost:  379
26.09/26.19	c ---[341486]---> BDD-cost:  379
26.19/26.20	c ---[341485]---> BDD-cost:  379
26.19/26.20	c ---[341484]---> BDD-cost:  379
26.19/26.21	c ---[341483]---> BDD-cost:  379
26.19/26.22	c ---[341482]---> BDD-cost:  379
26.19/26.23	c ---[341481]---> BDD-cost:  379
26.19/26.24	c ---[341480]---> BDD-cost:  379
26.19/26.25	c ---[341479]---> BDD-cost:  379
26.19/26.26	c ---[341478]---> BDD-cost:  379
26.19/26.27	c ---[341477]---> BDD-cost:  379
26.19/26.28	c ---[341476]---> BDD-cost:  379
26.19/26.28	c ---[341475]---> BDD-cost:  379
26.19/26.29	c ---[341474]---> BDD-cost:  379
26.30/26.30	c ---[341473]---> BDD-cost:  379
26.30/26.31	c ---[341472]---> BDD-cost:  379
26.30/26.32	c ---[341471]---> BDD-cost:  379
26.30/26.33	c ---[341470]---> BDD-cost:  379
26.30/26.34	c ---[341469]---> BDD-cost:  379
26.30/26.35	c ---[341468]---> BDD-cost:  379
26.30/26.36	c ---[341467]---> BDD-cost:  379
26.30/26.37	c ---[341466]---> BDD-cost:  379
26.30/26.37	c ---[341465]---> BDD-cost:  379
26.30/26.38	c ---[341464]---> BDD-cost:  379
26.30/26.39	c ---[341463]---> BDD-cost:  379
26.30/26.40	c ---[341462]---> BDD-cost:  379
26.40/26.41	c ---[341461]---> BDD-cost:  379
26.40/26.42	c ---[341460]---> BDD-cost:  379
26.40/26.43	c ---[341459]---> BDD-cost:  379
26.40/26.44	c ---[341458]---> BDD-cost:  379
26.40/26.45	c ---[341457]---> BDD-cost:  379
26.40/26.45	c ---[341456]---> BDD-cost:  379
26.40/26.46	c ---[341455]---> BDD-cost:  379
26.40/26.47	c ---[341454]---> BDD-cost:  379
26.40/26.48	c ---[341453]---> BDD-cost:  379
26.40/26.49	c ---[341452]---> BDD-cost:  379
26.49/26.50	c ---[341451]---> BDD-cost:  379
26.49/26.51	c ---[341450]---> BDD-cost:  379
26.49/26.52	c ---[341449]---> BDD-cost:  379
26.49/26.53	c ---[341448]---> BDD-cost:  379
26.49/26.53	c ---[341447]---> BDD-cost:  379
26.49/26.54	c ---[341446]---> BDD-cost:  379
26.49/26.55	c ---[341445]---> BDD-cost:  379
26.49/26.56	c ---[341444]---> BDD-cost:  379
26.49/26.57	c ---[341443]---> BDD-cost:  379
26.49/26.58	c ---[341442]---> BDD-cost:  379
26.49/26.59	c ---[341441]---> BDD-cost:  379
26.59/26.60	c ---[341440]---> BDD-cost:  379
26.59/26.61	c ---[341439]---> BDD-cost:  379
26.59/26.62	c ---[341438]---> BDD-cost:  379
26.59/26.62	c ---[341437]---> BDD-cost:  379
26.59/26.63	c ---[341436]---> BDD-cost:  379
26.59/26.64	c ---[341435]---> BDD-cost:  379
26.59/26.65	c ---[341434]---> BDD-cost:  379
26.59/26.66	c ---[341433]---> BDD-cost:  379
26.59/26.67	c ---[341432]---> BDD-cost:  379
26.59/26.68	c ---[341431]---> BDD-cost:  379
26.59/26.69	c ---[341430]---> BDD-cost:  379
26.69/26.70	c ---[341429]---> BDD-cost:  379
26.69/26.70	c ---[341428]---> BDD-cost:  379
26.69/26.71	c ---[341427]---> BDD-cost:  379
26.69/26.72	c ---[341426]---> BDD-cost:  379
26.69/26.73	c ---[341425]---> BDD-cost:  379
26.69/26.74	c ---[341424]---> BDD-cost:  379
26.69/26.75	c ---[341423]---> BDD-cost:  379
26.69/26.76	c ---[341422]---> BDD-cost:  379
26.69/26.77	c ---[341421]---> BDD-cost:  379
26.69/26.78	c ---[341420]---> BDD-cost:  379
26.69/26.78	c ---[341419]---> BDD-cost:  379
26.69/26.79	c ---[341418]---> BDD-cost:  379
26.79/26.80	c ---[341417]---> BDD-cost:  379
26.79/26.81	c ---[341416]---> BDD-cost:  379
26.79/26.82	c ---[341415]---> BDD-cost:  379
26.79/26.83	c ---[341414]---> BDD-cost:  379
26.79/26.84	c ---[341413]---> BDD-cost:  379
26.79/26.85	c ---[341412]---> BDD-cost:  379
26.79/26.86	c ---[341411]---> BDD-cost:  379
26.79/26.87	c ---[341410]---> BDD-cost:  379
26.79/26.87	c ---[341409]---> BDD-cost:  379
26.79/26.88	c ---[341408]---> BDD-cost:  379
26.79/26.89	c ---[341407]---> BDD-cost:  379
26.89/26.90	c ---[341406]---> BDD-cost:  379
26.89/26.91	c ---[341405]---> BDD-cost:  379
26.89/26.92	c ---[341404]---> BDD-cost:  379
26.89/26.93	c ---[341403]---> BDD-cost:  379
26.89/26.94	c ---[341402]---> BDD-cost:  379
26.89/26.95	c ---[341401]---> BDD-cost:  379
26.89/26.95	c ---[341400]---> BDD-cost:  379
26.89/26.96	c ---[341399]---> BDD-cost:  379
26.89/26.97	c ---[341398]---> BDD-cost:  379
26.89/26.98	c ---[341397]---> BDD-cost:  379
26.89/26.99	c ---[341396]---> BDD-cost:  379
26.99/27.00	c ---[341395]---> BDD-cost:  379
26.99/27.01	c ---[341394]---> BDD-cost:  379
26.99/27.02	c ---[341393]---> BDD-cost:  379
26.99/27.03	c ---[341392]---> BDD-cost:  379
26.99/27.03	c ---[341391]---> BDD-cost:  379
26.99/27.04	c ---[341390]---> BDD-cost:  379
26.99/27.05	c ---[341389]---> BDD-cost:  379
26.99/27.06	c ---[341388]---> BDD-cost:  379
26.99/27.07	c ---[341387]---> BDD-cost:  379
26.99/27.08	c ---[341386]---> BDD-cost:  379
26.99/27.09	c ---[341385]---> BDD-cost:  379
27.09/27.10	c ---[341384]---> BDD-cost:  379
27.09/27.11	c ---[341383]---> BDD-cost:  379
27.09/27.12	c ---[341382]---> BDD-cost:  379
27.09/27.12	c ---[341381]---> BDD-cost:  379
27.09/27.13	c ---[341380]---> BDD-cost:  379
27.09/27.14	c ---[341379]---> BDD-cost:  379
27.09/27.15	c ---[341378]---> BDD-cost:  379
27.09/27.16	c ---[341377]---> BDD-cost:  379
27.09/27.17	c ---[341376]---> BDD-cost:  379
27.09/27.18	c ---[341375]---> BDD-cost:  379
27.09/27.19	c ---[341374]---> BDD-cost:  379
27.19/27.20	c ---[341373]---> BDD-cost:  379
27.19/27.20	c ---[341372]---> BDD-cost:  379
27.19/27.21	c ---[341371]---> BDD-cost:  379
27.19/27.22	c ---[341370]---> BDD-cost:  379
27.19/27.23	c ---[341369]---> BDD-cost:  379
27.19/27.24	c ---[341368]---> BDD-cost:  379
27.19/27.25	c ---[341367]---> BDD-cost:  379
27.19/27.26	c ---[341366]---> BDD-cost:  379
27.19/27.27	c ---[341365]---> BDD-cost:  379
27.19/27.28	c ---[341364]---> BDD-cost:  379
27.19/27.28	c ---[341363]---> BDD-cost:  379
27.19/27.29	c ---[341362]---> BDD-cost:  379
27.29/27.30	c ---[341361]---> BDD-cost:  379
27.29/27.31	c ---[341360]---> BDD-cost:  379
27.29/27.32	c ---[341359]---> BDD-cost:  379
27.29/27.33	c ---[341358]---> BDD-cost:  379
27.29/27.34	c ---[341357]---> BDD-cost:  379
27.29/27.35	c ---[341356]---> BDD-cost:  379
27.29/27.36	c ---[341355]---> BDD-cost:  379
27.29/27.37	c ---[341354]---> BDD-cost:  379
27.29/27.37	c ---[341353]---> BDD-cost:  379
27.29/27.38	c ---[341352]---> BDD-cost:  379
27.29/27.39	c ---[341351]---> BDD-cost:  379
27.29/27.40	c ---[341350]---> BDD-cost:  379
27.39/27.41	c ---[341349]---> BDD-cost:  379
27.39/27.42	c ---[341348]---> BDD-cost:  379
27.39/27.43	c ---[341347]---> BDD-cost:  379
27.39/27.44	c ---[341346]---> BDD-cost:  379
27.39/27.45	c ---[341345]---> BDD-cost:  379
27.39/27.45	c ---[341344]---> BDD-cost:  379
27.39/27.46	c ---[341343]---> BDD-cost:  379
27.39/27.47	c ---[341342]---> BDD-cost:  379
27.39/27.48	c ---[341341]---> BDD-cost:  379
27.39/27.49	c ---[341340]---> BDD-cost:  379
27.39/27.50	c ---[341339]---> BDD-cost:  379
27.49/27.51	c ---[341338]---> BDD-cost:  379
27.49/27.52	c ---[341337]---> BDD-cost:  379
27.49/27.53	c ---[341336]---> BDD-cost:  379
27.49/27.53	c ---[341335]---> BDD-cost:  379
27.49/27.54	c ---[341334]---> BDD-cost:  379
27.49/27.55	c ---[341333]---> BDD-cost:  379
27.49/27.56	c ---[341332]---> BDD-cost:  379
27.49/27.57	c ---[341331]---> BDD-cost:  379
27.49/27.58	c ---[341330]---> BDD-cost:  379
27.49/27.59	c ---[341329]---> BDD-cost:  379
27.59/27.60	c ---[341328]---> BDD-cost:  379
27.59/27.61	c ---[341327]---> BDD-cost:  379
27.59/27.62	c ---[341326]---> BDD-cost:  379
27.59/27.62	c ---[341325]---> BDD-cost:  379
27.59/27.63	c ---[341324]---> BDD-cost:  379
27.59/27.64	c ---[341323]---> BDD-cost:  379
27.59/27.65	c ---[341322]---> BDD-cost:  379
27.59/27.66	c ---[341321]---> BDD-cost:  379
27.59/27.67	c ---[341320]---> BDD-cost:  379
27.59/27.68	c ---[341319]---> BDD-cost:  379
27.59/27.69	c ---[341318]---> BDD-cost:  379
27.69/27.70	c ---[341317]---> BDD-cost:  379
27.69/27.70	c ---[341316]---> BDD-cost:  379
27.69/27.71	c ---[341315]---> BDD-cost:  379
27.69/27.72	c ---[341314]---> BDD-cost:  379
27.69/27.73	c ---[341313]---> BDD-cost:  379
27.69/27.74	c ---[341312]---> BDD-cost:  379
27.69/27.75	c ---[341311]---> BDD-cost:  379
27.69/27.76	c ---[341310]---> BDD-cost:  379
27.69/27.77	c ---[341309]---> BDD-cost:  379
27.69/27.78	c ---[341308]---> BDD-cost:  379
27.69/27.79	c ---[341307]---> BDD-cost:  379
27.69/27.79	c ---[341306]---> BDD-cost:  379
27.79/27.80	c ---[341305]---> BDD-cost:  379
27.79/27.81	c ---[341304]---> BDD-cost:  379
27.79/27.82	c ---[341303]---> BDD-cost:  379
27.79/27.83	c ---[341302]---> BDD-cost:  379
27.79/27.84	c ---[341301]---> BDD-cost:  379
27.79/27.85	c ---[341300]---> BDD-cost:  379
27.79/27.86	c ---[341299]---> BDD-cost:  379
27.79/27.87	c ---[341298]---> BDD-cost:  379
27.79/27.87	c ---[341297]---> BDD-cost:  379
27.79/27.88	c ---[341296]---> BDD-cost:  379
27.79/27.89	c ---[341295]---> BDD-cost:  379
27.89/27.90	c ---[341294]---> BDD-cost:  379
27.89/27.91	c ---[341293]---> BDD-cost:  379
27.89/27.92	c ---[341292]---> BDD-cost:  379
27.89/27.93	c ---[341291]---> BDD-cost:  379
27.89/27.94	c ---[341290]---> BDD-cost:  379
27.89/27.95	c ---[341289]---> BDD-cost:  379
27.89/27.96	c ---[341288]---> BDD-cost:  379
27.89/27.96	c ---[341287]---> BDD-cost:  379
27.89/27.97	c ---[341286]---> BDD-cost:  379
27.89/27.98	c ---[341285]---> BDD-cost:  379
27.89/27.99	c ---[341284]---> BDD-cost:  379
27.99/28.00	c ---[341283]---> BDD-cost:  379
27.99/28.01	c ---[341282]---> BDD-cost:  379
27.99/28.02	c ---[341281]---> BDD-cost:  379
27.99/28.03	c ---[341280]---> BDD-cost:  379
27.99/28.04	c ---[341279]---> BDD-cost:  379
27.99/28.04	c ---[341278]---> BDD-cost:  379
27.99/28.05	c ---[341277]---> BDD-cost:  379
27.99/28.06	c ---[341276]---> BDD-cost:  379
27.99/28.07	c ---[341275]---> BDD-cost:  379
27.99/28.08	c ---[341274]---> BDD-cost:  379
27.99/28.09	c ---[341273]---> BDD-cost:  379
28.09/28.10	c ---[341272]---> BDD-cost:  379
28.09/28.11	c ---[341271]---> BDD-cost:  379
28.09/28.12	c ---[341270]---> BDD-cost:  379
28.09/28.12	c ---[341269]---> BDD-cost:  379
28.09/28.13	c ---[341268]---> BDD-cost:  379
28.09/28.14	c ---[341267]---> BDD-cost:  379
28.09/28.15	c ---[341266]---> BDD-cost:  379
28.09/28.16	c ---[341265]---> BDD-cost:  379
28.09/28.17	c ---[341264]---> BDD-cost:  379
28.09/28.18	c ---[341263]---> BDD-cost:  379
28.09/28.19	c ---[341262]---> BDD-cost:  379
28.19/28.20	c ---[341261]---> BDD-cost:  379
28.19/28.20	c ---[341260]---> BDD-cost:  379
28.19/28.21	c ---[341259]---> BDD-cost:  379
28.19/28.22	c ---[341258]---> BDD-cost:  379
28.19/28.23	c ---[341257]---> BDD-cost:  379
28.19/28.24	c ---[341256]---> BDD-cost:  379
28.19/28.25	c ---[341255]---> BDD-cost:  379
28.19/28.26	c ---[341254]---> BDD-cost:  379
28.19/28.27	c ---[341253]---> BDD-cost:  379
28.19/28.28	c ---[341252]---> BDD-cost:  379
28.19/28.28	c ---[341251]---> BDD-cost:  379
28.19/28.29	c ---[341250]---> BDD-cost:  379
28.29/28.30	c ---[341249]---> BDD-cost:  379
28.29/28.31	c ---[341248]---> BDD-cost:  379
28.29/28.32	c ---[341247]---> BDD-cost:  379
28.29/28.33	c ---[341246]---> BDD-cost:  379
28.29/28.34	c ---[341245]---> BDD-cost:  379
28.29/28.35	c ---[341244]---> BDD-cost:  379
28.29/28.36	c ---[341243]---> BDD-cost:  379
28.29/28.37	c ---[341242]---> BDD-cost:  379
28.29/28.37	c ---[341241]---> BDD-cost:  379
28.29/28.38	c ---[341240]---> BDD-cost:  379
28.29/28.39	c ---[341239]---> BDD-cost:  379
28.39/28.40	c ---[341238]---> BDD-cost:  379
28.39/28.41	c ---[341237]---> BDD-cost:  379
28.39/28.42	c ---[341236]---> BDD-cost:  379
28.39/28.43	c ---[341235]---> BDD-cost:  379
28.39/28.44	c ---[341234]---> BDD-cost:  379
28.39/28.45	c ---[341233]---> BDD-cost:  379
28.39/28.45	c ---[341232]---> BDD-cost:  379
28.39/28.46	c ---[341231]---> BDD-cost:  379
28.39/28.47	c ---[341230]---> BDD-cost:  379
28.39/28.48	c ---[341229]---> BDD-cost:  379
28.39/28.49	c ---[341228]---> BDD-cost:  379
28.39/28.50	c ---[341227]---> BDD-cost:  379
28.49/28.51	c ---[341226]---> BDD-cost:  379
28.49/28.52	c ---[341225]---> BDD-cost:  379
28.49/28.53	c ---[341224]---> BDD-cost:  379
28.49/28.53	c ---[341223]---> BDD-cost:  379
28.49/28.54	c ---[341222]---> BDD-cost:  379
28.49/28.55	c ---[341221]---> BDD-cost:  379
28.49/28.56	c ---[341220]---> BDD-cost:  379
28.49/28.57	c ---[341219]---> BDD-cost:  379
28.49/28.58	c ---[341218]---> BDD-cost:  379
28.49/28.59	c ---[341217]---> BDD-cost:  379
28.49/28.60	c ---[341216]---> BDD-cost:  379
28.59/28.61	c ---[341215]---> BDD-cost:  379
28.59/28.62	c ---[341214]---> BDD-cost:  379
28.59/28.62	c ---[341213]---> BDD-cost:  379
28.59/28.63	c ---[341212]---> BDD-cost:  379
28.59/28.64	c ---[341211]---> BDD-cost:  379
28.59/28.65	c ---[341210]---> BDD-cost:  379
28.59/28.66	c ---[341209]---> BDD-cost:  379
28.59/28.67	c ---[341208]---> BDD-cost:  379
28.59/28.68	c ---[341207]---> BDD-cost:  379
28.59/28.69	c ---[341206]---> BDD-cost:  379
28.68/28.70	c ---[341205]---> BDD-cost:  379
28.68/28.70	c ---[341204]---> BDD-cost:  379
28.68/28.71	c ---[341203]---> BDD-cost:  379
28.68/28.72	c ---[341202]---> BDD-cost:  379
28.68/28.73	c ---[341201]---> BDD-cost:  379
28.68/28.74	c ---[341200]---> BDD-cost:  379
28.68/28.75	c ---[341199]---> BDD-cost:  379
28.68/28.76	c ---[341198]---> BDD-cost:  379
28.68/28.77	c ---[341197]---> BDD-cost:  379
28.68/28.78	c ---[341196]---> BDD-cost:  379
28.68/28.78	c ---[341195]---> BDD-cost:  379
28.68/28.79	c ---[341194]---> BDD-cost:  379
28.78/28.80	c ---[341193]---> BDD-cost:  379
28.78/28.81	c ---[341192]---> BDD-cost:  379
28.78/28.82	c ---[341191]---> BDD-cost:  379
28.78/28.83	c ---[341190]---> BDD-cost:  379
28.78/28.84	c ---[341189]---> BDD-cost:  379
28.78/28.85	c ---[341188]---> BDD-cost:  379
28.78/28.86	c ---[341187]---> BDD-cost:  379
28.78/28.87	c ---[341186]---> BDD-cost:  379
28.78/28.87	c ---[341185]---> BDD-cost:  379
28.78/28.88	c ---[341184]---> BDD-cost:  379
28.78/28.89	c ---[341183]---> BDD-cost:  379
28.88/28.90	c ---[341182]---> BDD-cost:  379
28.88/28.91	c ---[341181]---> BDD-cost:  379
28.88/28.92	c ---[341180]---> BDD-cost:  379
28.88/28.93	c ---[341179]---> BDD-cost:  379
28.88/28.94	c ---[341178]---> BDD-cost:  379
28.88/28.95	c ---[341177]---> BDD-cost:  379
28.88/28.95	c ---[341176]---> BDD-cost:  379
28.88/28.96	c ---[341175]---> BDD-cost:  379
28.88/28.97	c ---[341174]---> BDD-cost:  379
28.88/28.98	c ---[341173]---> BDD-cost:  379
28.88/28.99	c ---[341172]---> BDD-cost:  379
28.98/29.00	c ---[341171]---> BDD-cost:  379
28.98/29.01	c ---[341170]---> BDD-cost:  379
28.98/29.02	c ---[341169]---> BDD-cost:  379
28.98/29.03	c ---[341168]---> BDD-cost:  379
28.98/29.03	c ---[341167]---> BDD-cost:  379
28.98/29.04	c ---[341166]---> BDD-cost:  379
28.98/29.05	c ---[341165]---> BDD-cost:  379
28.98/29.06	c ---[341164]---> BDD-cost:  379
28.98/29.07	c ---[341163]---> BDD-cost:  379
28.98/29.08	c ---[341162]---> BDD-cost:  379
28.98/29.09	c ---[341161]---> BDD-cost:  379
29.08/29.10	c ---[341160]---> BDD-cost:  379
29.08/29.11	c ---[341159]---> BDD-cost:  379
29.08/29.12	c ---[341158]---> BDD-cost:  379
29.08/29.12	c ---[341157]---> BDD-cost:  379
29.08/29.13	c ---[341156]---> BDD-cost:  379
29.08/29.14	c ---[341155]---> BDD-cost:  379
29.08/29.15	c ---[341154]---> BDD-cost:  379
29.08/29.16	c ---[341153]---> BDD-cost:  379
29.08/29.17	c ---[341152]---> BDD-cost:  379
29.08/29.18	c ---[341151]---> BDD-cost:  379
29.08/29.19	c ---[341150]---> BDD-cost:  379
29.18/29.20	c ---[341149]---> BDD-cost:  379
29.18/29.20	c ---[341148]---> BDD-cost:  379
29.18/29.21	c ---[341147]---> BDD-cost:  379
29.18/29.22	c ---[341146]---> BDD-cost:  379
29.18/29.23	c ---[341145]---> BDD-cost:  379
29.18/29.24	c ---[341144]---> BDD-cost:  379
29.18/29.25	c ---[341143]---> BDD-cost:  379
29.18/29.26	c ---[341142]---> BDD-cost:  379
29.18/29.27	c ---[341141]---> BDD-cost:  379
29.18/29.28	c ---[341140]---> BDD-cost:  379
29.18/29.29	c ---[341139]---> BDD-cost:  379
29.18/29.29	c ---[341138]---> BDD-cost:  379
29.28/29.30	c ---[341137]---> BDD-cost:  379
29.28/29.31	c ---[341136]---> BDD-cost:  379
29.28/29.32	c ---[341135]---> BDD-cost:  379
29.28/29.33	c ---[341134]---> BDD-cost:  379
29.28/29.34	c ---[341133]---> BDD-cost:  379
29.28/29.35	c ---[341132]---> BDD-cost:  379
29.28/29.36	c ---[341131]---> BDD-cost:  379
29.28/29.37	c ---[341130]---> BDD-cost:  379
29.28/29.37	c ---[341129]---> BDD-cost:  379
29.28/29.38	c ---[341128]---> BDD-cost:  379
29.28/29.39	c ---[341127]---> BDD-cost:  379
29.38/29.40	c ---[341126]---> BDD-cost:  379
29.38/29.41	c ---[341125]---> BDD-cost:  379
29.38/29.42	c ---[341124]---> BDD-cost:  379
29.38/29.43	c ---[341123]---> BDD-cost:  379
29.38/29.44	c ---[341122]---> BDD-cost:  379
29.38/29.45	c ---[341121]---> BDD-cost:  379
29.38/29.45	c ---[341120]---> BDD-cost:  379
29.38/29.46	c ---[341119]---> BDD-cost:  379
29.38/29.47	c ---[341118]---> BDD-cost:  379
29.38/29.48	c ---[341117]---> BDD-cost:  379
29.38/29.49	c ---[341116]---> BDD-cost:  379
29.48/29.50	c ---[341115]---> BDD-cost:  379
29.48/29.51	c ---[341114]---> BDD-cost:  379
29.48/29.52	c ---[341113]---> BDD-cost:  379
29.48/29.53	c ---[341112]---> BDD-cost:  379
29.48/29.54	c ---[341111]---> BDD-cost:  379
29.48/29.54	c ---[341110]---> BDD-cost:  379
29.48/29.55	c ---[341109]---> BDD-cost:  379
29.48/29.56	c ---[341108]---> BDD-cost:  379
29.48/29.57	c ---[341107]---> BDD-cost:  379
29.48/29.58	c ---[341106]---> BDD-cost:  379
29.48/29.59	c ---[341105]---> BDD-cost:  379
29.48/29.60	c ---[341104]---> BDD-cost:  379
29.59/29.61	c ---[341103]---> BDD-cost:  379
29.59/29.62	c ---[341102]---> BDD-cost:  379
29.59/29.62	c ---[341101]---> BDD-cost:  379
29.59/29.63	c ---[341100]---> BDD-cost:  379
29.59/29.64	c ---[341099]---> BDD-cost:  379
29.59/29.65	c ---[341098]---> BDD-cost:  379
29.59/29.66	c ---[341097]---> BDD-cost:  379
29.59/29.67	c ---[341096]---> BDD-cost:  379
29.59/29.68	c ---[341095]---> BDD-cost:  379
29.59/29.69	c ---[341094]---> BDD-cost:  379
29.59/29.70	c ---[341093]---> BDD-cost:  379
29.69/29.71	c ---[341092]---> BDD-cost:  379
29.69/29.71	c ---[341091]---> BDD-cost:  379
29.69/29.72	c ---[341090]---> BDD-cost:  379
29.69/29.73	c ---[341089]---> BDD-cost:  379
29.69/29.74	c ---[341088]---> BDD-cost:  379
29.69/29.75	c ---[341087]---> BDD-cost:  379
29.69/29.76	c ---[341086]---> BDD-cost:  379
29.69/29.77	c ---[341085]---> BDD-cost:  379
29.69/29.78	c ---[341084]---> BDD-cost:  379
29.69/29.79	c ---[341083]---> BDD-cost:  379
29.69/29.79	c ---[341082]---> BDD-cost:  379
29.78/29.80	c ---[341081]---> BDD-cost:  379
29.78/29.81	c ---[341080]---> BDD-cost:  379
29.78/29.82	c ---[341079]---> BDD-cost:  379
29.78/29.83	c ---[341078]---> BDD-cost:  379
29.78/29.84	c ---[341077]---> BDD-cost:  379
29.78/29.85	c ---[341076]---> BDD-cost:  379
29.78/29.86	c ---[341075]---> BDD-cost:  379
29.78/29.87	c ---[341074]---> BDD-cost:  379
29.78/29.88	c ---[341073]---> BDD-cost:  379
29.78/29.88	c ---[341072]---> BDD-cost:  379
29.78/29.89	c ---[341071]---> BDD-cost:  379
29.88/29.90	c ---[341070]---> BDD-cost:  379
29.88/29.91	c ---[341069]---> BDD-cost:  379
29.88/29.92	c ---[341068]---> BDD-cost:  379
29.88/29.93	c ---[341067]---> BDD-cost:  379
29.88/29.94	c ---[341066]---> BDD-cost:  379
29.88/29.95	c ---[341065]---> BDD-cost:  379
29.88/29.96	c ---[341064]---> BDD-cost:  379
29.88/29.97	c ---[341063]---> BDD-cost:  379
29.88/29.97	c ---[341062]---> BDD-cost:  379
29.88/29.98	c ---[341061]---> BDD-cost:  379
29.88/29.99	c ---[341060]---> BDD-cost:  379
29.98/30.00	c ---[341059]---> BDD-cost:  379
29.98/30.01	c ---[341058]---> BDD-cost:  379
29.98/30.02	c ---[341057]---> BDD-cost:  379
29.98/30.03	c ---[341056]---> BDD-cost:  379
29.98/30.04	c ---[341055]---> BDD-cost:  379
29.98/30.05	c ---[341054]---> BDD-cost:  379
29.98/30.06	c ---[341053]---> BDD-cost:  379
29.98/30.06	c ---[341052]---> BDD-cost:  379
29.98/30.07	c ---[341051]---> BDD-cost:  379
29.98/30.08	c ---[341050]---> BDD-cost:  379
29.98/30.09	c ---[341049]---> BDD-cost:  379
30.08/30.10	c ---[341048]---> BDD-cost:  379
30.08/30.11	c ---[341047]---> BDD-cost:  379
30.08/30.12	c ---[341046]---> BDD-cost:  379
30.08/30.13	c ---[341045]---> BDD-cost:  379
30.08/30.14	c ---[341044]---> BDD-cost:  379
30.08/30.15	c ---[341043]---> BDD-cost:  379
30.08/30.15	c ---[341042]---> BDD-cost:  379
30.08/30.16	c ---[341041]---> BDD-cost:  379
30.08/30.17	c ---[341040]---> BDD-cost:  379
30.08/30.18	c ---[341039]---> BDD-cost:  379
30.08/30.19	c ---[341038]---> BDD-cost:  379
30.18/30.20	c ---[341037]---> BDD-cost:  379
30.18/30.21	c ---[341036]---> BDD-cost:  379
30.18/30.22	c ---[341035]---> BDD-cost:  379
30.18/30.23	c ---[341034]---> BDD-cost:  379
30.18/30.24	c ---[341033]---> BDD-cost:  379
30.18/30.24	c ---[341032]---> BDD-cost:  379
30.18/30.25	c ---[341031]---> BDD-cost:  379
30.18/30.26	c ---[341030]---> BDD-cost:  379
30.18/30.27	c ---[341029]---> BDD-cost:  379
30.18/30.28	c ---[341028]---> BDD-cost:  379
30.18/30.29	c ---[341027]---> BDD-cost:  379
30.28/30.30	c ---[341026]---> BDD-cost:  379
30.28/30.31	c ---[341025]---> BDD-cost:  379
30.28/30.32	c ---[341024]---> BDD-cost:  379
30.28/30.32	c ---[341023]---> BDD-cost:  379
30.28/30.33	c ---[341022]---> BDD-cost:  379
30.28/30.34	c ---[341021]---> BDD-cost:  379
30.28/30.35	c ---[341020]---> BDD-cost:  379
30.28/30.36	c ---[341019]---> BDD-cost:  379
30.28/30.37	c ---[341018]---> BDD-cost:  379
30.28/30.38	c ---[341017]---> BDD-cost:  379
30.28/30.39	c ---[341016]---> BDD-cost:  379
30.38/30.40	c ---[341015]---> BDD-cost:  379
30.38/30.41	c ---[341014]---> BDD-cost:  379
30.38/30.41	c ---[341013]---> BDD-cost:  379
30.38/30.42	c ---[341012]---> BDD-cost:  379
30.38/30.43	c ---[341011]---> BDD-cost:  379
30.38/30.44	c ---[341010]---> BDD-cost:  379
30.38/30.45	c ---[341009]---> BDD-cost:  379
30.38/30.46	c ---[341008]---> BDD-cost:  379
30.38/30.47	c ---[341007]---> BDD-cost:  379
30.38/30.48	c ---[341006]---> BDD-cost:  379
30.38/30.49	c ---[341005]---> BDD-cost:  379
30.38/30.50	c ---[341004]---> BDD-cost:  379
30.48/30.50	c ---[341003]---> BDD-cost:  379
30.48/30.51	c ---[341002]---> BDD-cost:  379
30.48/30.52	c ---[341001]---> BDD-cost:  379
30.48/30.53	c ---[341000]---> BDD-cost:  379
30.48/30.54	c ---[340999]---> BDD-cost:  379
30.48/30.55	c ---[340998]---> BDD-cost:  379
30.48/30.56	c ---[340997]---> BDD-cost:  379
30.48/30.57	c ---[340996]---> BDD-cost:  379
30.48/30.58	c ---[340995]---> BDD-cost:  379
30.48/30.58	c ---[340994]---> BDD-cost:  379
30.48/30.59	c ---[340993]---> BDD-cost:  379
30.58/30.60	c ---[340992]---> BDD-cost:  379
30.58/30.61	c ---[340991]---> BDD-cost:  379
30.58/30.62	c ---[340990]---> BDD-cost:  379
30.58/30.63	c ---[340989]---> BDD-cost:  379
30.58/30.64	c ---[340988]---> BDD-cost:  379
30.58/30.65	c ---[340987]---> BDD-cost:  379
30.58/30.66	c ---[340986]---> BDD-cost:  379
30.58/30.67	c ---[340985]---> BDD-cost:  379
30.58/30.67	c ---[340984]---> BDD-cost:  379
30.58/30.68	c ---[340983]---> BDD-cost:  379
30.58/30.69	c ---[340982]---> BDD-cost:  379
30.58/30.70	c ---[340981]---> BDD-cost:  379
30.69/30.71	c ---[340980]---> BDD-cost:  379
30.69/30.72	c ---[340979]---> BDD-cost:  379
30.69/30.73	c ---[340978]---> BDD-cost:  379
30.69/30.74	c ---[340977]---> BDD-cost:  379
30.69/30.75	c ---[340976]---> BDD-cost:  379
30.69/30.76	c ---[340975]---> BDD-cost:  379
30.69/30.76	c ---[340974]---> BDD-cost:  379
30.69/30.77	c ---[340973]---> BDD-cost:  379
30.69/30.78	c ---[340972]---> BDD-cost:  379
30.69/30.79	c ---[340971]---> BDD-cost:  379
30.69/30.80	c ---[340970]---> BDD-cost:  379
30.79/30.81	c ---[340969]---> BDD-cost:  379
30.79/30.82	c ---[340968]---> BDD-cost:  379
30.79/30.83	c ---[340967]---> BDD-cost:  379
30.79/30.84	c ---[340966]---> BDD-cost:  379
30.79/30.84	c ---[340965]---> BDD-cost:  379
30.79/30.85	c ---[340964]---> BDD-cost:  379
30.79/30.86	c ---[340963]---> BDD-cost:  379
30.79/30.87	c ---[340962]---> BDD-cost:  379
30.79/30.88	c ---[340961]---> BDD-cost:  379
30.79/30.89	c ---[340960]---> BDD-cost:  379
30.88/30.90	c ---[340959]---> BDD-cost:  379
30.88/30.91	c ---[340958]---> BDD-cost:  379
30.88/30.92	c ---[340957]---> BDD-cost:  379
30.88/30.93	c ---[340956]---> BDD-cost:  379
30.88/30.93	c ---[340955]---> BDD-cost:  379
30.88/30.94	c ---[340954]---> BDD-cost:  379
30.88/30.95	c ---[340953]---> BDD-cost:  379
30.88/30.96	c ---[340952]---> BDD-cost:  379
30.88/30.97	c ---[340951]---> BDD-cost:  379
30.88/30.98	c ---[340950]---> BDD-cost:  379
30.88/30.99	c ---[340949]---> BDD-cost:  379
30.98/31.00	c ---[340948]---> BDD-cost:  379
30.98/31.01	c ---[340947]---> BDD-cost:  379
30.98/31.02	c ---[340946]---> BDD-cost:  379
30.98/31.02	c ---[340945]---> BDD-cost:  379
30.98/31.03	c ---[340944]---> BDD-cost:  379
30.98/31.04	c ---[340943]---> BDD-cost:  379
30.98/31.05	c ---[340942]---> BDD-cost:  379
30.98/31.06	c ---[340941]---> BDD-cost:  379
30.98/31.07	c ---[340940]---> BDD-cost:  379
30.98/31.08	c ---[340939]---> BDD-cost:  379
30.98/31.09	c ---[340938]---> BDD-cost:  379
31.08/31.10	c ---[340937]---> BDD-cost:  379
31.08/31.11	c ---[340936]---> BDD-cost:  379
31.08/31.11	c ---[340935]---> BDD-cost:  379
31.08/31.12	c ---[340934]---> BDD-cost:  379
31.08/31.13	c ---[340933]---> BDD-cost:  379
31.08/31.14	c ---[340932]---> BDD-cost:  379
31.08/31.15	c ---[340931]---> BDD-cost:  379
31.08/31.16	c ---[340930]---> BDD-cost:  379
31.08/31.17	c ---[340929]---> BDD-cost:  379
31.08/31.18	c ---[340928]---> BDD-cost:  379
31.08/31.19	c ---[340927]---> BDD-cost:  379
31.08/31.19	c ---[340926]---> BDD-cost:  379
31.18/31.20	c ---[340925]---> BDD-cost:  379
31.18/31.21	c ---[340924]---> BDD-cost:  379
31.18/31.22	c ---[340923]---> BDD-cost:  379
31.18/31.23	c ---[340922]---> BDD-cost:  379
31.18/31.24	c ---[340921]---> BDD-cost:  379
31.18/31.25	c ---[340920]---> BDD-cost:  379
31.18/31.26	c ---[340919]---> BDD-cost:  379
31.18/31.27	c ---[340918]---> BDD-cost:  379
31.18/31.28	c ---[340917]---> BDD-cost:  379
31.18/31.28	c ---[340916]---> BDD-cost:  379
31.18/31.29	c ---[340915]---> BDD-cost:  379
31.28/31.30	c ---[340914]---> BDD-cost:  379
31.28/31.31	c ---[340913]---> BDD-cost:  379
31.28/31.32	c ---[340912]---> BDD-cost:  379
31.28/31.33	c ---[340911]---> BDD-cost:  379
31.28/31.34	c ---[340910]---> BDD-cost:  379
31.28/31.35	c ---[340909]---> BDD-cost:  379
31.28/31.36	c ---[340908]---> BDD-cost:  379
31.28/31.37	c ---[340907]---> BDD-cost:  379
31.28/31.37	c ---[340906]---> BDD-cost:  379
31.28/31.38	c ---[340905]---> BDD-cost:  379
31.28/31.39	c ---[340904]---> BDD-cost:  379
31.38/31.40	c ---[340903]---> BDD-cost:  379
31.38/31.41	c ---[340902]---> BDD-cost:  379
31.38/31.42	c ---[340901]---> BDD-cost:  379
31.38/31.43	c ---[340900]---> BDD-cost:  379
31.38/31.44	c ---[340899]---> BDD-cost:  379
31.38/31.45	c ---[340898]---> BDD-cost:  379
31.38/31.46	c ---[340897]---> BDD-cost:  379
31.38/31.46	c ---[340896]---> BDD-cost:  379
31.38/31.47	c ---[340895]---> BDD-cost:  379
31.38/31.48	c ---[340894]---> BDD-cost:  379
31.38/31.49	c ---[340893]---> BDD-cost:  379
31.48/31.50	c ---[340892]---> BDD-cost:  379
31.48/31.51	c ---[340891]---> BDD-cost:  379
31.48/31.52	c ---[340890]---> BDD-cost:  379
31.48/31.53	c ---[340889]---> BDD-cost:  379
31.48/31.54	c ---[340888]---> BDD-cost:  379
31.48/31.55	c ---[340887]---> BDD-cost:  379
31.48/31.55	c ---[340886]---> BDD-cost:  379
31.48/31.56	c ---[340885]---> BDD-cost:  379
31.48/31.57	c ---[340884]---> BDD-cost:  379
31.48/31.58	c ---[340883]---> BDD-cost:  379
31.48/31.59	c ---[340882]---> BDD-cost:  379
31.58/31.60	c ---[340881]---> BDD-cost:  379
31.58/31.61	c ---[340880]---> BDD-cost:  379
31.58/31.62	c ---[340879]---> BDD-cost:  379
31.58/31.63	c ---[340878]---> BDD-cost:  379
31.58/31.64	c ---[340877]---> BDD-cost:  379
31.58/31.64	c ---[340876]---> BDD-cost:  379
31.58/31.65	c ---[340875]---> BDD-cost:  379
31.58/31.66	c ---[340874]---> BDD-cost:  379
31.58/31.67	c ---[340873]---> BDD-cost:  379
31.58/31.68	c ---[340872]---> BDD-cost:  379
31.58/31.69	c ---[340871]---> BDD-cost:  379
31.68/31.70	c ---[340870]---> BDD-cost:  379
31.68/31.71	c ---[340869]---> BDD-cost:  379
31.68/31.72	c ---[340868]---> BDD-cost:  379
31.68/31.72	c ---[340867]---> BDD-cost:  379
31.68/31.73	c ---[340866]---> BDD-cost:  379
31.68/31.74	c ---[340865]---> BDD-cost:  379
31.68/31.75	c ---[340864]---> BDD-cost:  379
31.79/31.84	c ---[340863]---> BDD-cost:  379
31.79/31.85	c ---[340862]---> BDD-cost:  379
31.79/31.86	c ---[340861]---> BDD-cost:  379
31.79/31.87	c ---[340860]---> BDD-cost:  379
31.79/31.87	c ---[340859]---> BDD-cost:  379
31.79/31.88	c ---[340858]---> BDD-cost:  379
31.79/31.89	c ---[340857]---> BDD-cost:  379
31.79/31.90	c ---[340856]---> BDD-cost:  379
31.89/31.91	c ---[340855]---> BDD-cost:  379
31.89/31.92	c ---[340854]---> BDD-cost:  379
31.89/31.93	c ---[340853]---> BDD-cost:  379
31.89/31.94	c ---[340852]---> BDD-cost:  379
31.89/31.95	c ---[340851]---> BDD-cost:  379
31.89/31.95	c ---[340850]---> BDD-cost:  379
31.89/31.96	c ---[340849]---> BDD-cost:  379
31.89/31.97	c ---[340848]---> BDD-cost:  379
31.89/31.98	c ---[340847]---> BDD-cost:  379
31.89/31.99	c ---[340846]---> BDD-cost:  379
31.99/32.00	c ---[340845]---> BDD-cost:  379
31.99/32.01	c ---[340844]---> BDD-cost:  379
31.99/32.02	c ---[340843]---> BDD-cost:  379
31.99/32.03	c ---[340842]---> BDD-cost:  379
31.99/32.04	c ---[340841]---> BDD-cost:  379
31.99/32.04	c ---[340840]---> BDD-cost:  379
31.99/32.05	c ---[340839]---> BDD-cost:  379
31.99/32.06	c ---[340838]---> BDD-cost:  379
31.99/32.07	c ---[340837]---> BDD-cost:  379
31.99/32.08	c ---[340836]---> BDD-cost:  379
31.99/32.09	c ---[340835]---> BDD-cost:  379
32.09/32.10	c ---[340834]---> BDD-cost:  379
32.09/32.11	c ---[340833]---> BDD-cost:  379
32.09/32.12	c ---[340832]---> BDD-cost:  379
32.09/32.12	c ---[340831]---> BDD-cost:  379
32.09/32.13	c ---[340830]---> BDD-cost:  379
32.09/32.14	c ---[340829]---> BDD-cost:  379
32.09/32.15	c ---[340828]---> BDD-cost:  379
32.09/32.16	c ---[340827]---> BDD-cost:  379
32.09/32.17	c ---[340826]---> BDD-cost:  379
32.09/32.18	c ---[340825]---> BDD-cost:  379
32.09/32.19	c ---[340824]---> BDD-cost:  379
32.19/32.20	c ---[340823]---> BDD-cost:  379
32.19/32.21	c ---[340822]---> BDD-cost:  379
32.19/32.21	c ---[340821]---> BDD-cost:  379
32.19/32.22	c ---[340820]---> BDD-cost:  379
32.19/32.23	c ---[340819]---> BDD-cost:  379
32.19/32.24	c ---[340818]---> BDD-cost:  379
32.19/32.25	c ---[340817]---> BDD-cost:  379
32.19/32.26	c ---[340816]---> BDD-cost:  379
32.19/32.27	c ---[340815]---> BDD-cost:  379
32.19/32.28	c ---[340814]---> BDD-cost:  379
32.19/32.29	c ---[340813]---> BDD-cost:  379
32.19/32.29	c ---[340812]---> BDD-cost:  379
32.29/32.30	c ---[340811]---> BDD-cost:  379
32.29/32.31	c ---[340810]---> BDD-cost:  379
32.29/32.32	c ---[340809]---> BDD-cost:  379
32.29/32.33	c ---[340808]---> BDD-cost:  379
32.29/32.34	c ---[340807]---> BDD-cost:  379
32.29/32.35	c ---[340806]---> BDD-cost:  379
32.29/32.36	c ---[340805]---> BDD-cost:  379
32.29/32.37	c ---[340804]---> BDD-cost:  379
32.29/32.38	c ---[340803]---> BDD-cost:  379
32.29/32.38	c ---[340802]---> BDD-cost:  379
32.29/32.39	c ---[340801]---> BDD-cost:  379
32.39/32.40	c ---[340800]---> BDD-cost:  379
32.39/32.41	c ---[340799]---> BDD-cost:  379
32.39/32.42	c ---[340798]---> BDD-cost:  379
32.39/32.43	c ---[340797]---> BDD-cost:  379
32.39/32.44	c ---[340796]---> BDD-cost:  379
32.39/32.45	c ---[340795]---> BDD-cost:  379
32.39/32.46	c ---[340794]---> BDD-cost:  379
32.39/32.47	c ---[340793]---> BDD-cost:  379
32.39/32.47	c ---[340792]---> BDD-cost:  379
32.39/32.48	c ---[340791]---> BDD-cost:  379
32.39/32.49	c ---[340790]---> BDD-cost:  379
32.49/32.50	c ---[340789]---> BDD-cost:  379
32.49/32.51	c ---[340788]---> BDD-cost:  379
32.49/32.52	c ---[340787]---> BDD-cost:  379
32.49/32.53	c ---[340786]---> BDD-cost:  379
32.49/32.54	c ---[340785]---> BDD-cost:  379
32.49/32.55	c ---[340784]---> BDD-cost:  379
32.49/32.55	c ---[340783]---> BDD-cost:  379
32.49/32.56	c ---[340782]---> BDD-cost:  379
32.49/32.57	c ---[340781]---> BDD-cost:  379
32.49/32.58	c ---[340780]---> BDD-cost:  379
32.49/32.59	c ---[340779]---> BDD-cost:  379
32.59/32.60	c ---[340778]---> BDD-cost:  379
32.59/32.61	c ---[340777]---> BDD-cost:  379
32.59/32.62	c ---[340776]---> BDD-cost:  379
32.59/32.63	c ---[340775]---> BDD-cost:  379
32.59/32.64	c ---[340774]---> BDD-cost:  379
32.59/32.64	c ---[340773]---> BDD-cost:  379
32.59/32.65	c ---[340772]---> BDD-cost:  379
32.59/32.66	c ---[340771]---> BDD-cost:  379
32.59/32.67	c ---[340770]---> BDD-cost:  379
32.59/32.68	c ---[340769]---> BDD-cost:  379
32.59/32.69	c ---[340768]---> BDD-cost:  379
32.69/32.70	c ---[340767]---> BDD-cost:  379
32.69/32.71	c ---[340766]---> BDD-cost:  379
32.69/32.72	c ---[340765]---> BDD-cost:  379
32.69/32.73	c ---[340764]---> BDD-cost:  379
32.69/32.73	c ---[340763]---> BDD-cost:  379
32.69/32.74	c ---[340762]---> BDD-cost:  379
32.69/32.75	c ---[340761]---> BDD-cost:  379
32.69/32.76	c ---[340760]---> BDD-cost:  379
32.69/32.77	c ---[340759]---> BDD-cost:  379
32.69/32.78	c ---[340758]---> BDD-cost:  379
32.69/32.79	c ---[340757]---> BDD-cost:  379
32.79/32.80	c ---[340756]---> BDD-cost:  379
32.79/32.81	c ---[340755]---> BDD-cost:  379
32.79/32.81	c ---[340754]---> BDD-cost:  379
32.79/32.82	c ---[340753]---> BDD-cost:  379
32.79/32.83	c ---[340752]---> BDD-cost:  379
32.79/32.84	c ---[340751]---> BDD-cost:  379
32.79/32.85	c ---[340750]---> BDD-cost:  379
32.79/32.86	c ---[340749]---> BDD-cost:  379
32.79/32.87	c ---[340748]---> BDD-cost:  379
32.79/32.88	c ---[340747]---> BDD-cost:  379
32.79/32.89	c ---[340746]---> BDD-cost:  379
32.79/32.90	c ---[340745]---> BDD-cost:  379
32.89/32.90	c ---[340744]---> BDD-cost:  379
32.89/32.91	c ---[340743]---> BDD-cost:  379
32.89/32.92	c ---[340742]---> BDD-cost:  379
32.89/32.93	c ---[340741]---> BDD-cost:  379
32.89/32.94	c ---[340740]---> BDD-cost:  379
32.89/32.95	c ---[340739]---> BDD-cost:  379
32.89/32.96	c ---[340738]---> BDD-cost:  379
32.89/32.97	c ---[340737]---> BDD-cost:  379
32.89/32.98	c ---[340736]---> BDD-cost:  379
32.89/32.98	c ---[340735]---> BDD-cost:  379
32.89/32.99	c ---[340734]---> BDD-cost:  379
32.99/33.00	c ---[340733]---> BDD-cost:  379
32.99/33.01	c ---[340732]---> BDD-cost:  379
32.99/33.02	c ---[340731]---> BDD-cost:  379
32.99/33.03	c ---[340730]---> BDD-cost:  379
32.99/33.04	c ---[340729]---> BDD-cost:  379
32.99/33.05	c ---[340728]---> BDD-cost:  379
32.99/33.06	c ---[340727]---> BDD-cost:  379
32.99/33.07	c ---[340726]---> BDD-cost:  379
32.99/33.07	c ---[340725]---> BDD-cost:  379
32.99/33.08	c ---[340724]---> BDD-cost:  379
32.99/33.09	c ---[340723]---> BDD-cost:  379
33.09/33.10	c ---[340722]---> BDD-cost:  379
33.09/33.11	c ---[340721]---> BDD-cost:  379
33.09/33.12	c ---[340720]---> BDD-cost:  379
33.09/33.13	c ---[340719]---> BDD-cost:  379
33.09/33.14	c ---[340718]---> BDD-cost:  379
33.09/33.15	c ---[340717]---> BDD-cost:  379
33.09/33.16	c ---[340716]---> BDD-cost:  379
33.09/33.16	c ---[340715]---> BDD-cost:  379
33.09/33.17	c ---[340714]---> BDD-cost:  379
33.09/33.18	c ---[340713]---> BDD-cost:  379
33.09/33.19	c ---[340712]---> BDD-cost:  379
33.19/33.20	c ---[340711]---> BDD-cost:  379
33.19/33.21	c ---[340710]---> BDD-cost:  379
33.19/33.22	c ---[340709]---> BDD-cost:  379
33.19/33.23	c ---[340708]---> BDD-cost:  379
33.19/33.24	c ---[340707]---> BDD-cost:  379
33.19/33.24	c ---[340706]---> BDD-cost:  379
33.19/33.25	c ---[340705]---> BDD-cost:  379
33.19/33.26	c ---[340704]---> BDD-cost:  379
33.19/33.27	c ---[340703]---> BDD-cost:  379
33.19/33.28	c ---[340702]---> BDD-cost:  379
33.19/33.29	c ---[340701]---> BDD-cost:  379
33.28/33.30	c ---[340700]---> BDD-cost:  379
33.28/33.31	c ---[340699]---> BDD-cost:  379
33.28/33.32	c ---[340698]---> BDD-cost:  379
33.28/33.33	c ---[340697]---> BDD-cost:  379
33.28/33.33	c ---[340696]---> BDD-cost:  379
33.28/33.34	c ---[340695]---> BDD-cost:  379
33.28/33.35	c ---[340694]---> BDD-cost:  379
33.28/33.36	c ---[340693]---> BDD-cost:  379
33.28/33.37	c ---[340692]---> BDD-cost:  379
33.28/33.38	c ---[340691]---> BDD-cost:  379
33.28/33.39	c ---[340690]---> BDD-cost:  379
33.38/33.40	c ---[340689]---> BDD-cost:  379
33.38/33.41	c ---[340688]---> BDD-cost:  379
33.38/33.42	c ---[340687]---> BDD-cost:  379
33.38/33.42	c ---[340686]---> BDD-cost:  379
33.38/33.43	c ---[340685]---> BDD-cost:  379
33.38/33.44	c ---[340684]---> BDD-cost:  379
33.38/33.45	c ---[340683]---> BDD-cost:  379
33.38/33.46	c ---[340682]---> BDD-cost:  379
33.38/33.47	c ---[340681]---> BDD-cost:  379
33.38/33.48	c ---[340680]---> BDD-cost:  379
33.38/33.49	c ---[340679]---> BDD-cost:  379
33.48/33.50	c ---[340678]---> BDD-cost:  379
33.48/33.50	c ---[340677]---> BDD-cost:  379
33.48/33.51	c ---[340676]---> BDD-cost:  379
33.48/33.52	c ---[340675]---> BDD-cost:  379
33.48/33.53	c ---[340674]---> BDD-cost:  379
33.48/33.54	c ---[340673]---> BDD-cost:  379
33.48/33.55	c ---[340672]---> BDD-cost:  379
33.48/33.56	c ---[340671]---> BDD-cost:  379
33.48/33.57	c ---[340670]---> BDD-cost:  379
33.48/33.58	c ---[340669]---> BDD-cost:  379
33.48/33.59	c ---[340668]---> BDD-cost:  379
33.48/33.59	c ---[340667]---> BDD-cost:  379
33.58/33.60	c ---[340666]---> BDD-cost:  379
33.58/33.61	c ---[340665]---> BDD-cost:  379
33.58/33.62	c ---[340664]---> BDD-cost:  379
33.58/33.63	c ---[340663]---> BDD-cost:  379
33.58/33.64	c ---[340662]---> BDD-cost:  379
33.58/33.65	c ---[340661]---> BDD-cost:  379
33.58/33.66	c ---[340660]---> BDD-cost:  379
33.58/33.67	c ---[340659]---> BDD-cost:  379
33.58/33.68	c ---[340658]---> BDD-cost:  379
33.58/33.68	c ---[340657]---> BDD-cost:  379
33.58/33.69	c ---[340656]---> BDD-cost:  379
33.68/33.70	c ---[340655]---> BDD-cost:  379
33.68/33.71	c ---[340654]---> BDD-cost:  379
33.68/33.72	c ---[340653]---> BDD-cost:  379
33.68/33.73	c ---[340652]---> BDD-cost:  379
33.68/33.74	c ---[340651]---> BDD-cost:  379
33.68/33.75	c ---[340650]---> BDD-cost:  379
33.68/33.76	c ---[340649]---> BDD-cost:  379
33.68/33.77	c ---[340648]---> BDD-cost:  379
33.68/33.77	c ---[340647]---> BDD-cost:  379
33.68/33.78	c ---[340646]---> BDD-cost:  379
33.68/33.79	c ---[340645]---> BDD-cost:  379
33.78/33.80	c ---[340644]---> BDD-cost:  379
33.78/33.81	c ---[340643]---> BDD-cost:  379
33.78/33.82	c ---[340642]---> BDD-cost:  379
33.78/33.83	c ---[340641]---> BDD-cost:  379
33.78/33.84	c ---[340640]---> BDD-cost:  379
33.78/33.85	c ---[340639]---> BDD-cost:  379
33.78/33.85	c ---[340638]---> BDD-cost:  379
33.78/33.86	c ---[340637]---> BDD-cost:  379
33.78/33.87	c ---[340636]---> BDD-cost:  379
33.78/33.88	c ---[340635]---> BDD-cost:  379
33.78/33.89	c ---[340634]---> BDD-cost:  379
33.88/33.90	c ---[340633]---> BDD-cost:  379
33.88/33.91	c ---[340632]---> BDD-cost:  379
33.88/33.92	c ---[340631]---> BDD-cost:  379
33.88/33.93	c ---[340630]---> BDD-cost:  379
33.88/33.94	c ---[340629]---> BDD-cost:  379
33.88/33.94	c ---[340628]---> BDD-cost:  379
33.88/33.95	c ---[340627]---> BDD-cost:  379
33.88/33.96	c ---[340626]---> BDD-cost:  379
33.88/33.97	c ---[340625]---> BDD-cost:  379
33.88/33.98	c ---[340624]---> BDD-cost:  379
33.88/33.99	c ---[340623]---> BDD-cost:  379
33.88/34.00	c ---[340622]---> BDD-cost:  379
33.99/34.01	c ---[340621]---> BDD-cost:  379
33.99/34.02	c ---[340620]---> BDD-cost:  379
33.99/34.03	c ---[340619]---> BDD-cost:  379
33.99/34.03	c ---[340618]---> BDD-cost:  379
33.99/34.04	c ---[340617]---> BDD-cost:  379
33.99/34.05	c ---[340616]---> BDD-cost:  379
33.99/34.06	c ---[340615]---> BDD-cost:  379
33.99/34.07	c ---[340614]---> BDD-cost:  379
33.99/34.08	c ---[340613]---> BDD-cost:  379
33.99/34.09	c ---[340612]---> BDD-cost:  379
33.99/34.10	c ---[340611]---> BDD-cost:  379
34.09/34.11	c ---[340610]---> BDD-cost:  379
34.09/34.11	c ---[340609]---> BDD-cost:  379
34.09/34.12	c ---[340608]---> BDD-cost:  379
34.09/34.13	c ---[340607]---> BDD-cost:  379
34.09/34.14	c ---[340606]---> BDD-cost:  379
34.09/34.15	c ---[340605]---> BDD-cost:  379
34.09/34.16	c ---[340604]---> BDD-cost:  379
34.09/34.17	c ---[340603]---> BDD-cost:  379
34.09/34.18	c ---[340602]---> BDD-cost:  379
34.09/34.19	c ---[340601]---> BDD-cost:  379
34.09/34.20	c ---[340600]---> BDD-cost:  379
34.18/34.20	c ---[340599]---> BDD-cost:  379
34.18/34.21	c ---[340598]---> BDD-cost:  379
34.18/34.22	c ---[340597]---> BDD-cost:  379
34.18/34.23	c ---[340596]---> BDD-cost:  379
34.18/34.24	c ---[340595]---> BDD-cost:  379
34.18/34.25	c ---[340594]---> BDD-cost:  379
34.18/34.26	c ---[340593]---> BDD-cost:  379
34.18/34.27	c ---[340592]---> BDD-cost:  379
34.18/34.28	c ---[340591]---> BDD-cost:  379
34.18/34.28	c ---[340590]---> BDD-cost:  379
34.18/34.29	c ---[340589]---> BDD-cost:  379
34.28/34.30	c ---[340588]---> BDD-cost:  379
34.28/34.31	c ---[340587]---> BDD-cost:  379
34.28/34.32	c ---[340586]---> BDD-cost:  379
34.28/34.33	c ---[340585]---> BDD-cost:  379
34.28/34.34	c ---[340584]---> BDD-cost:  379
34.28/34.35	c ---[340583]---> BDD-cost:  379
34.28/34.36	c ---[340582]---> BDD-cost:  379
34.28/34.37	c ---[340581]---> BDD-cost:  379
34.28/34.37	c ---[340580]---> BDD-cost:  379
34.28/34.38	c ---[340579]---> BDD-cost:  379
34.28/34.39	c ---[340578]---> BDD-cost:  379
34.38/34.40	c ---[340577]---> BDD-cost:  379
34.38/34.41	c ---[340576]---> BDD-cost:  379
34.38/34.42	c ---[340575]---> BDD-cost:  379
34.38/34.43	c ---[340574]---> BDD-cost:  379
34.38/34.44	c ---[340573]---> BDD-cost:  379
34.38/34.45	c ---[340572]---> BDD-cost:  379
34.38/34.46	c ---[340571]---> BDD-cost:  379
34.38/34.46	c ---[340570]---> BDD-cost:  379
34.38/34.47	c ---[340569]---> BDD-cost:  379
34.38/34.48	c ---[340568]---> BDD-cost:  379
34.38/34.49	c ---[340567]---> BDD-cost:  379
34.48/34.50	c ---[340566]---> BDD-cost:  379
34.48/34.51	c ---[340565]---> BDD-cost:  379
34.48/34.52	c ---[340564]---> BDD-cost:  379
34.48/34.53	c ---[340563]---> BDD-cost:  379
34.48/34.54	c ---[340562]---> BDD-cost:  379
34.48/34.55	c ---[340561]---> BDD-cost:  379
34.48/34.55	c ---[340560]---> BDD-cost:  379
34.48/34.56	c ---[340559]---> BDD-cost:  379
34.48/34.57	c ---[340558]---> BDD-cost:  379
34.48/34.58	c ---[340557]---> BDD-cost:  379
34.48/34.59	c ---[340556]---> BDD-cost:  379
34.58/34.60	c ---[340555]---> BDD-cost:  379
34.58/34.61	c ---[340554]---> BDD-cost:  379
34.58/34.62	c ---[   0]---> 

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-3722349-1338565235/watcher-3722349-1338565235 -o /tmp/evaluation-result-3722349-1338565235/solver-3722349-1338565235 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3722349-1338565235.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.74 2.21 2.07 3/177 24931
/proc/meminfo: memFree=29441008/32873648 swapFree=7116/7116
[pid=24931] ppid=24929 vsize=2072 CPUtime=0 cores=0,2,4,6
/proc/24931/stat : 24931 (minisat+) R 24929 24931 23316 0 -1 4202496 343 0 0 0 0 0 0 0 20 0 1 0 322649093 2121728 300 33554432000 134512640 135395479 4287911680 4287910648 135031278 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24931/statm: 518 305 67 216 0 300 0

[startup+0.096184 s]
/proc/loadavg: 2.74 2.21 2.07 3/177 24931
/proc/meminfo: memFree=29441008/32873648 swapFree=7116/7116
[pid=24931] ppid=24929 vsize=15180 CPUtime=0.08 cores=0,2,4,6
/proc/24931/stat : 24931 (minisat+) R 24929 24931 23316 0 -1 4202496 3754 0 0 0 8 0 0 0 20 0 1 0 322649093 15544320 3413 33554432000 134512640 135395479 4287911680 4287910648 135031278 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24931/statm: 3795 3414 67 216 0 3577 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15180

[startup+0.100215 s]
/proc/loadavg: 2.74 2.21 2.07 3/177 24931
/proc/meminfo: memFree=29441008/32873648 swapFree=7116/7116
[pid=24931] ppid=24929 vsize=17564 CPUtime=0.09 cores=0,2,4,6
/proc/24931/stat : 24931 (minisat+) R 24929 24931 23316 0 -1 4202496 3911 0 0 0 9 0 0 0 20 0 1 0 322649093 17985536 3570 33554432000 134512640 135395479 4287911680 4287910464 134569966 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24931/statm: 4391 3570 67 216 0 4173 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17564

[startup+0.300219 s]
/proc/loadavg: 2.74 2.21 2.07 3/177 24931
/proc/meminfo: memFree=29441008/32873648 swapFree=7116/7116
[pid=24931] ppid=24929 vsize=50868 CPUtime=0.29 cores=0,2,4,6
/proc/24931/stat : 24931 (minisat+) R 24929 24931 23316 0 -1 4202496 11679 0 0 0 28 1 0 0 20 0 1 0 322649093 52088832 11519 33554432000 134512640 135395479 4287911680 4287910476 135007481 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24931/statm: 12717 11523 68 216 0 12499 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50868

[startup+0.700221 s]
/proc/loadavg: 2.74 2.21 2.07 3/177 24931
/proc/meminfo: memFree=29441008/32873648 swapFree=7116/7116
[pid=24931] ppid=24929 vsize=57092 CPUtime=0.68 cores=0,2,4,6
/proc/24931/stat : 24931 (minisat+) R 24929 24931 23316 0 -1 4202496 14282 0 0 0 67 1 0 0 20 0 1 0 322649093 58462208 13588 33554432000 134512640 135395479 4287911680 4287910648 135031278 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24931/statm: 14273 13590 74 216 0 14055 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 57092

[startup+1.50018 s]
/proc/loadavg: 2.74 2.21 2.07 3/178 24932
/proc/meminfo: memFree=29365296/32873648 swapFree=7116/7116
[pid=24931] ppid=24929 vsize=72788 CPUtime=1.49 cores=0,2,4,6
/proc/24931/stat : 24931 (minisat+) R 24929 24931 23316 0 -1 4202496 17050 0 0 0 147 2 0 0 20 0 1 0 322649093 74534912 16356 33554432000 134512640 135395479 4287911680 4287907796 135005317 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24931/statm: 18197 16356 74 216 0 17979 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 72788

[startup+3.10018 s]
/proc/loadavg: 2.74 2.21 2.07 3/178 24932
/proc/meminfo: memFree=29328528/32873648 swapFree=7116/7116
[pid=24931] ppid=24929 vsize=98844 CPUtime=3.09 cores=0,2,4,6
/proc/24931/stat : 24931 (minisat+) R 24929 24931 23316 0 -1 4202496 22311 0 0 0 306 3 0 0 20 0 1 0 322649093 101216256 21980 33554432000 134512640 135395479 4287911680 4287908380 134838067 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24931/statm: 24711 21980 74 216 0 24493 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 98844

[startup+6.30018 s]
/proc/loadavg: 2.76 2.22 2.07 3/178 24932
/proc/meminfo: memFree=29210648/32873648 swapFree=7116/7116
[pid=24931] ppid=24929 vsize=152012 CPUtime=6.29 cores=0,2,4,6
/proc/24931/stat : 24931 (minisat+) R 24929 24931 23316 0 -1 4202496 36101 0 0 0 622 7 0 0 20 0 1 0 322649093 155660288 36281 33554432000 134512640 135395479 4287911680 4287910512 134618678 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24931/statm: 38003 36281 74 216 0 37785 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 152012

[startup+12.7001 s]
/proc/loadavg: 2.70 2.22 2.07 4/178 24932
/proc/meminfo: memFree=28915832/32873648 swapFree=7116/7116
[pid=24931] ppid=24929 vsize=337356 CPUtime=12.69 cores=0,2,4,6
/proc/24931/stat : 24931 (minisat+) R 24929 24931 23316 0 -1 4202496 82187 0 0 0 1252 17 0 0 20 0 1 0 322649093 345452544 82110 33554432000 134512640 135395479 4287911680 4287909072 135005324 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24931/statm: 84339 82110 74 216 0 84121 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 337356

[startup+25.5001 s]
/proc/loadavg: 2.61 2.22 2.08 3/178 24932
/proc/meminfo: memFree=28942200/32873648 swapFree=7116/7116
[pid=24931] ppid=24929 vsize=292420 CPUtime=25.49 cores=0,2,4,6
/proc/24931/stat : 24931 (minisat+) R 24929 24931 23316 0 -1 4202496 86940 0 0 0 2515 34 0 0 20 0 1 0 322649093 299438080 71209 33554432000 134512640 135395479 4287911680 4287893716 135005272 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/24931/statm: 73105 71209 88 216 0 72887 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 292420

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

[startup+38.3001 s]
/proc/loadavg: 2.59 2.23 2.08 2/180 24934
/proc/meminfo: memFree=27730104/32873648 swapFree=7116/7116
[pid=24931] ppid=24929 vsize=336060 CPUtime=35.38 cores=0,2,4,6
/proc/24931/stat : 24931 (minisat+) S 24929 24931 23316 0 -1 4204032 96744 0 0 0 3475 63 0 0 20 0 1 0 322649093 344125440 81862 33554432000 134512640 135395479 4287911680 4275335132 135005802 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24931/statm: 84015 81862 89 216 0 83797 0
Current children cumulated CPU time (s) 35.38
Current children cumulated vsize (KiB) 336060

[startup+44.7001 s]
/proc/loadavg: 2.70 2.26 2.09 1/180 24934
/proc/meminfo: memFree=27593812/32873648 swapFree=7116/7116
[pid=24931] ppid=24929 vsize=336060 CPUtime=35.38 cores=0,2,4,6
/proc/24931/stat : 24931 (minisat+) S 24929 24931 23316 0 -1 4204032 96744 0 0 0 3475 63 0 0 20 0 1 0 322649093 344125440 81862 33554432000 134512640 135395479 4287911680 4275335132 135005802 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24931/statm: 84015 81862 89 216 0 83797 0
Current children cumulated CPU time (s) 35.38
Current children cumulated vsize (KiB) 336060

[startup+46.3002 s]
/proc/loadavg: 2.81 2.29 2.10 1/175 24960
/proc/meminfo: memFree=28511608/32873648 swapFree=7116/7116
[pid=24931] ppid=24929 vsize=336060 CPUtime=35.38 cores=0,2,4,6
/proc/24931/stat : 24931 (minisat+) S 24929 24931 23316 0 -1 4204032 96744 0 0 0 3475 63 0 0 20 0 1 0 322649093 344125440 81862 33554432000 134512640 135395479 4287911680 4275335132 135005802 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24931/statm: 84015 81862 89 216 0 83797 0
Current children cumulated CPU time (s) 35.38
Current children cumulated vsize (KiB) 336060

[startup+47.1001 s]
/proc/loadavg: 2.81 2.29 2.10 1/175 24960
/proc/meminfo: memFree=28511608/32873648 swapFree=7116/7116
[pid=24931] ppid=24929 vsize=336060 CPUtime=35.38 cores=0,2,4,6
/proc/24931/stat : 24931 (minisat+) S 24929 24931 23316 0 -1 4204032 96744 0 0 0 3475 63 0 0 20 0 1 0 322649093 344125440 81862 33554432000 134512640 135395479 4287911680 4275335132 135005802 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24931/statm: 84015 81862 89 216 0 83797 0
Current children cumulated CPU time (s) 35.38
Current children cumulated vsize (KiB) 336060

[startup+47.9002 s]
/proc/loadavg: 2.81 2.29 2.10 1/175 24960
/proc/meminfo: memFree=28531580/32873648 swapFree=7116/7116
[pid=24931] ppid=24929 vsize=336060 CPUtime=35.38 cores=0,2,4,6
/proc/24931/stat : 24931 (minisat+) S 24929 24931 23316 0 -1 4204032 96744 0 0 0 3475 63 0 0 20 0 1 0 322649093 344125440 81862 33554432000 134512640 135395479 4287911680 4275335132 135005802 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24931/statm: 84015 81862 89 216 0 83797 0
Current children cumulated CPU time (s) 35.38
Current children cumulated vsize (KiB) 336060

[startup+48.1001 s]
/proc/loadavg: 2.81 2.29 2.10 1/175 24960
/proc/meminfo: memFree=28531580/32873648 swapFree=7116/7116
[pid=24931] ppid=24929 vsize=336060 CPUtime=35.38 cores=0,2,4,6
/proc/24931/stat : 24931 (minisat+) S 24929 24931 23316 0 -1 4204032 96744 0 0 0 3475 63 0 0 20 0 1 0 322649093 344125440 81862 33554432000 134512640 135395479 4287911680 4275335132 135005802 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24931/statm: 84015 81862 89 216 0 83797 0
Current children cumulated CPU time (s) 35.38
Current children cumulated vsize (KiB) 336060

[startup+48.2001 s]
/proc/loadavg: 2.81 2.29 2.10 1/175 24960
/proc/meminfo: memFree=28531580/32873648 swapFree=7116/7116
[pid=24931] ppid=24929 vsize=336060 CPUtime=35.38 cores=0,2,4,6
/proc/24931/stat : 24931 (minisat+) S 24929 24931 23316 0 -1 4204032 96744 0 0 0 3475 63 0 0 20 0 1 0 322649093 344125440 81862 33554432000 134512640 135395479 4287911680 4275335132 135005802 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24931/statm: 84015 81862 89 216 0 83797 0
Current children cumulated CPU time (s) 35.38
Current children cumulated vsize (KiB) 336060

Child ended because it received signal 11 (SIGSEGV)
Child dumped core
Real time (s): 48.2491
CPU time (s): 35.4096
CPU user time (s): 34.7567
CPU system time (s): 0.6529
CPU usage (%): 73.3891
Max. virtual memory (cumulated for all children) (KiB): 337356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.7567
system time used= 0.6529
maximum resident set size= 328440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96744
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= 80437
involuntary context switches= 38

runsolver used 0.241963 second user time and 0.541917 second system time

The end

Launcher Data

Begin job on node123 at 2012-06-01 17:40:36
IDJOB=3722349
IDBENCH=92608
IDSOLVER=2306
FILE ID=node123/3722349-1338565235
RUNJOBID= node123-1338552571-23332
PBS_JOBID= 14635861
Free space on /tmp= 71256 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_luby_20null20mast_rapportOE1.0_TMAX300_K192_cod1.opb
COMMAND LINE= HOME/minisat+ BENCHNAME            
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3722349-1338565235/watcher-3722349-1338565235 -o /tmp/evaluation-result-3722349-1338565235/solver-3722349-1338565235 -C 1800 -W 1900 -M 15500  HOME/minisat+ HOME/instance-3722349-1338565235.opb            

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

MD5SUM BENCH= 7c99e09291491c4dda5a729a7be64bc4
RANDOM SEED=437125209

node123.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.217
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.43
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.217
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.217
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.217
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.217
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.217
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.217
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	: 5331.91
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.217
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:       32873648 kB
MemFree:        29443752 kB
Buffers:          437532 kB
Cached:          2041720 kB
SwapCached:         2252 kB
Active:           868564 kB
Inactive:        1681484 kB
Active(anon):      65924 kB
Inactive(anon):     5492 kB
Active(file):     802640 kB
Inactive(file):  1675992 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67100304 kB
Dirty:             66692 kB
Writeback:             0 kB
AnonPages:         76548 kB
Mapped:            10644 kB
Shmem:                 0 kB
Slab:             739204 kB
SReclaimable:     181560 kB
SUnreclaim:       557644 kB
KernelStack:        1456 kB
PageTables:         4068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     194800 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3722349-1338565235.opb

Free space on /tmp at the end= 70984 MiB
End job on node123 at 2012-06-01 17:41:25