Trace number 3722338

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.4516 46.6939

General information on the benchmark

Name/OPT-BIGINT-LIN/sroussel/NG/
normalized-NG.dot_fibo_20null50mast_rapportOE1.0_TMAX60_K192_cod1.opb
MD5SUM00611863005b7eeed329d02777942736
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-79206
Best CPU time to get the best result obtained on this benchmark1804.07
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 10946
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 1957472477
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 10946
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 1957472477
Number of bits of the biggest sum of numbers31
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.88/13.92	c Converting 400980 PB-constraints to clauses...
13.98/14.01	c   -- Unit propagations: (none)
13.98/14.03	c   -- Detecting intervals from adjacent constraints: ##################################################################################################################################################################################################
13.98/14.06	c   -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
14.49/14.52	c ---[400978]---> BDD-cost:    5
14.49/14.52	c ---[400976]---> BDD-cost:    7
14.49/14.52	c ---[342719]---> BDD-cost:  602
14.49/14.54	c ---[342717]---> BDD-cost:  607
14.49/14.57	c ---[342715]---> BDD-cost:  607
14.49/14.59	c ---[342713]---> BDD-cost:  607
14.59/14.61	c ---[342711]---> BDD-cost:  607
14.59/14.63	c ---[342709]---> BDD-cost:  607
14.59/14.65	c ---[342707]---> BDD-cost:  607
14.59/14.67	c ---[342705]---> BDD-cost:  607
14.69/14.70	c ---[342703]---> BDD-cost:  607
14.69/14.72	c ---[342701]---> BDD-cost:  607
14.69/14.74	c ---[342699]---> BDD-cost:  607
14.69/14.76	c ---[342697]---> BDD-cost:  607
14.69/14.78	c ---[342695]---> BDD-cost:  607
14.79/14.81	c ---[342693]---> BDD-cost:  607
14.79/14.83	c ---[342691]---> BDD-cost:  607
14.79/14.85	c ---[342689]---> BDD-cost:  607
14.79/14.87	c ---[342687]---> BDD-cost:  607
14.79/14.89	c ---[342685]---> BDD-cost:  607
14.89/14.91	c ---[342683]---> BDD-cost:  607
14.89/14.94	c ---[342681]---> BDD-cost:  607
14.89/14.96	c ---[342679]---> BDD-cost:  607
14.89/14.98	c ---[342677]---> BDD-cost:  607
14.99/15.00	c ---[342675]---> BDD-cost:  607
14.99/15.02	c ---[342673]---> BDD-cost:  607
14.99/15.04	c ---[342671]---> BDD-cost:  607
14.99/15.07	c ---[342669]---> BDD-cost:  607
14.99/15.09	c ---[342667]---> BDD-cost:  607
15.09/15.11	c ---[342665]---> BDD-cost:  607
15.09/15.13	c ---[342663]---> BDD-cost:  607
15.09/15.15	c ---[342661]---> BDD-cost:  607
15.09/15.18	c ---[342659]---> BDD-cost:  607
15.19/15.20	c ---[342657]---> BDD-cost:  607
15.19/15.22	c ---[342655]---> BDD-cost:  607
15.19/15.24	c ---[342653]---> BDD-cost:  607
15.19/15.26	c ---[342651]---> BDD-cost:  607
15.19/15.29	c ---[342649]---> BDD-cost:  607
15.29/15.31	c ---[342647]---> BDD-cost:  607
15.29/15.33	c ---[342645]---> BDD-cost:  607
15.29/15.35	c ---[342643]---> BDD-cost:  607
15.29/15.37	c ---[342641]---> BDD-cost:  607
15.29/15.39	c ---[342639]---> BDD-cost:  607
15.39/15.42	c ---[342637]---> BDD-cost:  607
15.39/15.44	c ---[342635]---> BDD-cost:  607
15.39/15.46	c ---[342633]---> BDD-cost:  607
15.39/15.48	c ---[342631]---> BDD-cost:  607
15.49/15.50	c ---[342629]---> BDD-cost:  607
15.49/15.52	c ---[342627]---> BDD-cost:  607
15.49/15.55	c ---[342625]---> BDD-cost:  607
15.49/15.57	c ---[342623]---> BDD-cost:  607
15.49/15.59	c ---[342621]---> BDD-cost:  607
15.59/15.61	c ---[342619]---> BDD-cost:  607
15.59/15.63	c ---[342617]---> BDD-cost:  607
15.59/15.66	c ---[342615]---> BDD-cost:  607
15.59/15.68	c ---[342613]---> BDD-cost:  607
15.69/15.70	c ---[342611]---> BDD-cost:  607
15.69/15.72	c ---[342609]---> BDD-cost:  607
15.69/15.74	c ---[342607]---> BDD-cost:  607
15.69/15.76	c ---[342605]---> BDD-cost:  607
15.69/15.79	c ---[342603]---> BDD-cost:  607
15.79/15.81	c ---[342601]---> BDD-cost:  607
15.79/15.83	c ---[342599]---> BDD-cost:  607
15.79/15.85	c ---[342597]---> BDD-cost:  607
15.79/15.87	c ---[342595]---> BDD-cost:  607
15.79/15.90	c ---[342593]---> BDD-cost:  607
15.89/15.92	c ---[342591]---> BDD-cost:  607
15.89/15.94	c ---[342589]---> BDD-cost:  607
15.89/15.96	c ---[342587]---> BDD-cost:  607
15.89/15.98	c ---[342585]---> BDD-cost:  607
15.99/16.00	c ---[342583]---> BDD-cost:  607
15.99/16.03	c ---[342581]---> BDD-cost:  607
15.99/16.05	c ---[342579]---> BDD-cost:  607
15.99/16.07	c ---[342577]---> BDD-cost:  607
15.99/16.09	c ---[342575]---> BDD-cost:  607
16.09/16.11	c ---[342573]---> BDD-cost:  607
16.09/16.14	c ---[342571]---> BDD-cost:  607
16.09/16.16	c ---[342569]---> BDD-cost:  607
16.09/16.18	c ---[342567]---> BDD-cost:  607
16.19/16.20	c ---[342565]---> BDD-cost:  607
16.19/16.22	c ---[342563]---> BDD-cost:  607
16.19/16.25	c ---[342561]---> BDD-cost:  607
16.19/16.27	c ---[342559]---> BDD-cost:  607
16.19/16.29	c ---[342557]---> BDD-cost:  607
16.29/16.31	c ---[342555]---> BDD-cost:  607
16.29/16.33	c ---[342553]---> BDD-cost:  607
16.29/16.35	c ---[342551]---> BDD-cost:  607
16.29/16.38	c ---[342549]---> BDD-cost:  607
16.39/16.40	c ---[342547]---> BDD-cost:  607
16.39/16.42	c ---[342545]---> BDD-cost:  607
16.39/16.44	c ---[342543]---> BDD-cost:  607
16.39/16.46	c ---[342541]---> BDD-cost:  607
16.39/16.49	c ---[342539]---> BDD-cost:  607
16.49/16.51	c ---[342537]---> BDD-cost:  607
16.49/16.53	c ---[342535]---> BDD-cost:  607
16.49/16.55	c ---[342533]---> BDD-cost:  607
16.49/16.57	c ---[342531]---> BDD-cost:  607
16.49/16.59	c ---[342529]---> BDD-cost:  607
16.59/16.62	c ---[342527]---> BDD-cost:  607
16.59/16.64	c ---[342525]---> BDD-cost:  607
16.59/16.66	c ---[342523]---> BDD-cost:  607
16.59/16.68	c ---[342521]---> BDD-cost:  607
16.69/16.70	c ---[342519]---> BDD-cost:  607
16.69/16.72	c ---[342517]---> BDD-cost:  607
16.69/16.75	c ---[342515]---> BDD-cost:  607
16.69/16.77	c ---[342513]---> BDD-cost:  607
16.69/16.79	c ---[342511]---> BDD-cost:  607
16.79/16.81	c ---[342509]---> BDD-cost:  607
16.79/16.83	c ---[342507]---> BDD-cost:  607
16.79/16.86	c ---[342505]---> BDD-cost:  607
16.79/16.88	c ---[342503]---> BDD-cost:  607
16.89/16.90	c ---[342501]---> BDD-cost:  607
16.89/16.92	c ---[342499]---> BDD-cost:  607
16.89/16.94	c ---[342497]---> BDD-cost:  607
16.89/16.96	c ---[342495]---> BDD-cost:  607
16.89/16.99	c ---[342493]---> BDD-cost:  607
16.99/17.01	c ---[342491]---> BDD-cost:  607
16.99/17.03	c ---[342489]---> BDD-cost:  607
16.99/17.05	c ---[342487]---> BDD-cost:  607
16.99/17.07	c ---[342485]---> BDD-cost:  607
17.09/17.10	c ---[342483]---> BDD-cost:  607
17.09/17.12	c ---[342481]---> BDD-cost:  607
17.09/17.14	c ---[342479]---> BDD-cost:  607
17.09/17.16	c ---[342477]---> BDD-cost:  607
17.09/17.18	c ---[342475]---> BDD-cost:  607
17.19/17.20	c ---[342473]---> BDD-cost:  607
17.19/17.23	c ---[342471]---> BDD-cost:  607
17.19/17.25	c ---[342469]---> BDD-cost:  607
17.19/17.27	c ---[342467]---> BDD-cost:  607
17.19/17.29	c ---[342465]---> BDD-cost:  607
17.29/17.31	c ---[342463]---> BDD-cost:  607
17.29/17.34	c ---[342461]---> BDD-cost:  607
17.29/17.36	c ---[342459]---> BDD-cost:  607
17.29/17.38	c ---[342457]---> BDD-cost:  607
17.39/17.40	c ---[342455]---> BDD-cost:  607
17.39/17.42	c ---[342453]---> BDD-cost:  607
17.39/17.44	c ---[342451]---> BDD-cost:  607
17.39/17.47	c ---[342449]---> BDD-cost:  607
17.39/17.49	c ---[342447]---> BDD-cost:  607
17.49/17.51	c ---[342445]---> BDD-cost:  607
17.49/17.53	c ---[342443]---> BDD-cost:  607
17.49/17.56	c ---[342441]---> BDD-cost:  607
17.49/17.58	c ---[342439]---> BDD-cost:  607
17.59/17.60	c ---[342437]---> BDD-cost:  607
17.59/17.62	c ---[342435]---> BDD-cost:  607
17.59/17.65	c ---[342433]---> BDD-cost:  607
17.59/17.67	c ---[342431]---> BDD-cost:  607
17.59/17.69	c ---[342429]---> BDD-cost:  607
17.69/17.71	c ---[342427]---> BDD-cost:  607
17.69/17.76	c ---[342425]---> BDD-cost:  607
17.69/17.76	c ---[342423]---> BDD-cost:  607
17.69/17.78	c ---[342421]---> BDD-cost:  607
17.79/17.80	c ---[342419]---> BDD-cost:  607
17.79/17.82	c ---[342417]---> BDD-cost:  607
17.79/17.84	c ---[342415]---> BDD-cost:  607
17.79/17.86	c ---[342413]---> BDD-cost:  607
17.79/17.89	c ---[342411]---> BDD-cost:  607
17.89/17.91	c ---[342409]---> BDD-cost:  607
17.89/17.93	c ---[342407]---> BDD-cost:  607
17.89/17.95	c ---[342405]---> BDD-cost:  607
17.89/17.97	c ---[342403]---> BDD-cost:  607
17.89/17.99	c ---[342401]---> BDD-cost:  607
17.99/18.02	c ---[342399]---> BDD-cost:  607
17.99/18.04	c ---[342397]---> BDD-cost:  607
17.99/18.06	c ---[342395]---> BDD-cost:  607
17.99/18.08	c ---[342393]---> BDD-cost:  607
18.09/18.10	c ---[342391]---> BDD-cost:  607
18.09/18.13	c ---[342389]---> BDD-cost:  607
18.09/18.15	c ---[342387]---> BDD-cost:  607
18.09/18.17	c ---[342385]---> BDD-cost:  607
18.09/18.19	c ---[342383]---> BDD-cost:  607
18.19/18.21	c ---[342381]---> BDD-cost:  607
18.19/18.23	c ---[342379]---> BDD-cost:  607
18.19/18.26	c ---[342377]---> BDD-cost:  607
18.19/18.28	c ---[342375]---> BDD-cost:  607
18.29/18.30	c ---[342373]---> BDD-cost:  607
18.29/18.32	c ---[342371]---> BDD-cost:  607
18.29/18.34	c ---[342369]---> BDD-cost:  607
18.29/18.37	c ---[342367]---> BDD-cost:  607
18.29/18.39	c ---[342365]---> BDD-cost:  607
18.39/18.41	c ---[342363]---> BDD-cost:  607
18.39/18.43	c ---[342361]---> BDD-cost:  607
18.39/18.45	c ---[342359]---> BDD-cost:  607
18.39/18.47	c ---[342357]---> BDD-cost:  607
18.49/18.50	c ---[342355]---> BDD-cost:  607
18.49/18.52	c ---[342353]---> BDD-cost:  607
18.49/18.54	c ---[342351]---> BDD-cost:  607
18.49/18.56	c ---[342349]---> BDD-cost:  607
18.49/18.58	c ---[342347]---> BDD-cost:  607
18.59/18.61	c ---[342345]---> BDD-cost:  607
18.59/18.63	c ---[342343]---> BDD-cost:  607
18.59/18.65	c ---[342341]---> BDD-cost:  607
18.59/18.67	c ---[342339]---> BDD-cost:  607
18.59/18.69	c ---[342337]---> BDD-cost:  600
18.69/18.71	c ---[342336]---> BDD-cost:  379
18.69/18.72	c ---[342335]---> BDD-cost:  379
18.69/18.73	c ---[342334]---> BDD-cost:  379
18.69/18.74	c ---[342333]---> BDD-cost:  379
18.69/18.75	c ---[342332]---> BDD-cost:  379
18.69/18.76	c ---[342331]---> BDD-cost:  379
18.69/18.77	c ---[342330]---> BDD-cost:  379
18.69/18.78	c ---[342329]---> BDD-cost:  379
18.69/18.79	c ---[342328]---> BDD-cost:  379
18.69/18.79	c ---[342327]---> BDD-cost:  379
18.79/18.80	c ---[342326]---> BDD-cost:  379
18.79/18.81	c ---[342325]---> BDD-cost:  379
18.79/18.82	c ---[342324]---> BDD-cost:  379
18.79/18.83	c ---[342323]---> BDD-cost:  379
18.79/18.84	c ---[342322]---> BDD-cost:  379
18.79/18.85	c ---[342321]---> BDD-cost:  379
18.79/18.86	c ---[342320]---> BDD-cost:  379
18.79/18.87	c ---[342319]---> BDD-cost:  379
18.79/18.87	c ---[342318]---> BDD-cost:  379
18.79/18.88	c ---[342317]---> BDD-cost:  379
18.79/18.89	c ---[342316]---> BDD-cost:  379
18.89/18.90	c ---[342315]---> BDD-cost:  379
18.89/18.91	c ---[342314]---> BDD-cost:  379
18.89/18.92	c ---[342313]---> BDD-cost:  379
18.89/18.93	c ---[342312]---> BDD-cost:  379
18.89/18.94	c ---[342311]---> BDD-cost:  379
18.89/18.95	c ---[342310]---> BDD-cost:  379
18.89/18.95	c ---[342309]---> BDD-cost:  379
18.89/18.96	c ---[342308]---> BDD-cost:  379
18.89/18.97	c ---[342307]---> BDD-cost:  379
18.89/18.98	c ---[342306]---> BDD-cost:  379
18.89/18.99	c ---[342305]---> BDD-cost:  379
18.99/19.00	c ---[342304]---> BDD-cost:  379
18.99/19.01	c ---[342303]---> BDD-cost:  379
18.99/19.02	c ---[342302]---> BDD-cost:  379
18.99/19.03	c ---[342301]---> BDD-cost:  379
18.99/19.03	c ---[342300]---> BDD-cost:  379
18.99/19.04	c ---[342299]---> BDD-cost:  379
18.99/19.05	c ---[342298]---> BDD-cost:  379
18.99/19.06	c ---[342297]---> BDD-cost:  379
18.99/19.07	c ---[342296]---> BDD-cost:  379
18.99/19.08	c ---[342295]---> BDD-cost:  379
18.99/19.09	c ---[342294]---> BDD-cost:  379
19.09/19.10	c ---[342293]---> BDD-cost:  379
19.09/19.10	c ---[342292]---> BDD-cost:  379
19.09/19.11	c ---[342291]---> BDD-cost:  379
19.09/19.12	c ---[342290]---> BDD-cost:  379
19.09/19.13	c ---[342289]---> BDD-cost:  379
19.09/19.14	c ---[342288]---> BDD-cost:  379
19.09/19.15	c ---[342287]---> BDD-cost:  379
19.09/19.16	c ---[342286]---> BDD-cost:  379
19.09/19.17	c ---[342285]---> BDD-cost:  379
19.09/19.18	c ---[342284]---> BDD-cost:  379
19.09/19.18	c ---[342283]---> BDD-cost:  379
19.09/19.19	c ---[342282]---> BDD-cost:  379
19.19/19.20	c ---[342281]---> BDD-cost:  379
19.19/19.21	c ---[342280]---> BDD-cost:  379
19.19/19.22	c ---[342279]---> BDD-cost:  379
19.19/19.23	c ---[342278]---> BDD-cost:  379
19.19/19.24	c ---[342277]---> BDD-cost:  379
19.19/19.25	c ---[342276]---> BDD-cost:  379
19.19/19.26	c ---[342275]---> BDD-cost:  379
19.19/19.26	c ---[342274]---> BDD-cost:  379
19.19/19.27	c ---[342273]---> BDD-cost:  379
19.19/19.28	c ---[342272]---> BDD-cost:  379
19.19/19.29	c ---[342271]---> BDD-cost:  379
19.29/19.30	c ---[342270]---> BDD-cost:  379
19.29/19.31	c ---[342269]---> BDD-cost:  379
19.29/19.32	c ---[342268]---> BDD-cost:  379
19.29/19.33	c ---[342267]---> BDD-cost:  379
19.29/19.34	c ---[342266]---> BDD-cost:  379
19.29/19.34	c ---[342265]---> BDD-cost:  379
19.29/19.35	c ---[342264]---> BDD-cost:  379
19.29/19.36	c ---[342263]---> BDD-cost:  379
19.29/19.37	c ---[342262]---> BDD-cost:  379
19.29/19.38	c ---[342261]---> BDD-cost:  379
19.29/19.39	c ---[342260]---> BDD-cost:  379
19.39/19.40	c ---[342259]---> BDD-cost:  379
19.39/19.41	c ---[342258]---> BDD-cost:  379
19.39/19.42	c ---[342257]---> BDD-cost:  379
19.39/19.42	c ---[342256]---> BDD-cost:  379
19.39/19.43	c ---[342255]---> BDD-cost:  379
19.39/19.44	c ---[342254]---> BDD-cost:  379
19.39/19.45	c ---[342253]---> BDD-cost:  379
19.39/19.46	c ---[342252]---> BDD-cost:  379
19.39/19.47	c ---[342251]---> BDD-cost:  379
19.39/19.48	c ---[342250]---> BDD-cost:  379
19.39/19.49	c ---[342249]---> BDD-cost:  379
19.49/19.50	c ---[342248]---> BDD-cost:  379
19.49/19.50	c ---[342247]---> BDD-cost:  379
19.49/19.51	c ---[342246]---> BDD-cost:  379
19.49/19.52	c ---[342245]---> BDD-cost:  379
19.49/19.53	c ---[342244]---> BDD-cost:  379
19.49/19.54	c ---[342243]---> BDD-cost:  379
19.49/19.55	c ---[342242]---> BDD-cost:  379
19.49/19.56	c ---[342241]---> BDD-cost:  379
19.49/19.57	c ---[342240]---> BDD-cost:  379
19.49/19.58	c ---[342239]---> BDD-cost:  379
19.49/19.58	c ---[342238]---> BDD-cost:  379
19.49/19.59	c ---[342237]---> BDD-cost:  379
19.59/19.60	c ---[342236]---> BDD-cost:  379
19.59/19.61	c ---[342235]---> BDD-cost:  379
19.59/19.62	c ---[342234]---> BDD-cost:  379
19.59/19.63	c ---[342233]---> BDD-cost:  379
19.59/19.64	c ---[342232]---> BDD-cost:  379
19.59/19.65	c ---[342231]---> BDD-cost:  379
19.59/19.66	c ---[342230]---> BDD-cost:  379
19.59/19.66	c ---[342229]---> BDD-cost:  379
19.59/19.67	c ---[342228]---> BDD-cost:  379
19.59/19.68	c ---[342227]---> BDD-cost:  379
19.59/19.69	c ---[342226]---> BDD-cost:  379
19.69/19.70	c ---[342225]---> BDD-cost:  379
19.69/19.71	c ---[342224]---> BDD-cost:  379
19.69/19.72	c ---[342223]---> BDD-cost:  379
19.69/19.73	c ---[342222]---> BDD-cost:  379
19.69/19.74	c ---[342221]---> BDD-cost:  379
19.69/19.74	c ---[342220]---> BDD-cost:  379
19.69/19.75	c ---[342219]---> BDD-cost:  379
19.69/19.76	c ---[342218]---> BDD-cost:  379
19.69/19.77	c ---[342217]---> BDD-cost:  379
19.69/19.78	c ---[342216]---> BDD-cost:  379
19.69/19.79	c ---[342215]---> BDD-cost:  379
19.69/19.80	c ---[342214]---> BDD-cost:  379
19.79/19.81	c ---[342213]---> BDD-cost:  379
19.79/19.82	c ---[342212]---> BDD-cost:  379
19.79/19.82	c ---[342211]---> BDD-cost:  379
19.79/19.83	c ---[342210]---> BDD-cost:  379
19.79/19.84	c ---[342209]---> BDD-cost:  379
19.79/19.85	c ---[342208]---> BDD-cost:  379
19.79/19.86	c ---[342207]---> BDD-cost:  379
19.79/19.87	c ---[342206]---> BDD-cost:  379
19.79/19.88	c ---[342205]---> BDD-cost:  379
19.79/19.89	c ---[342204]---> BDD-cost:  379
19.79/19.90	c ---[342203]---> BDD-cost:  379
19.89/19.90	c ---[342202]---> BDD-cost:  379
19.89/19.91	c ---[342201]---> BDD-cost:  379
19.89/19.92	c ---[342200]---> BDD-cost:  379
19.89/19.93	c ---[342199]---> BDD-cost:  379
19.89/19.95	c ---[342198]---> BDD-cost:  379
19.89/19.96	c ---[342197]---> BDD-cost:  379
19.89/19.97	c ---[342196]---> BDD-cost:  379
19.89/19.98	c ---[342195]---> BDD-cost:  379
19.89/19.99	c ---[342194]---> BDD-cost:  379
19.98/20.00	c ---[342193]---> BDD-cost:  379
19.98/20.00	c ---[342192]---> BDD-cost:  379
19.98/20.01	c ---[342191]---> BDD-cost:  379
19.98/20.02	c ---[342190]---> BDD-cost:  379
19.98/20.03	c ---[342189]---> BDD-cost:  379
19.98/20.04	c ---[342188]---> BDD-cost:  379
19.98/20.05	c ---[342187]---> BDD-cost:  379
19.98/20.06	c ---[342186]---> BDD-cost:  379
19.98/20.07	c ---[342185]---> BDD-cost:  379
19.98/20.08	c ---[342184]---> BDD-cost:  379
19.98/20.08	c ---[342183]---> BDD-cost:  379
19.98/20.09	c ---[342182]---> BDD-cost:  379
20.08/20.10	c ---[342181]---> BDD-cost:  379
20.08/20.11	c ---[342180]---> BDD-cost:  379
20.08/20.12	c ---[342179]---> BDD-cost:  379
20.08/20.13	c ---[342178]---> BDD-cost:  379
20.08/20.14	c ---[342177]---> BDD-cost:  379
20.08/20.15	c ---[342176]---> BDD-cost:  379
20.08/20.16	c ---[342175]---> BDD-cost:  379
20.08/20.16	c ---[342174]---> BDD-cost:  379
20.08/20.17	c ---[342173]---> BDD-cost:  379
20.08/20.18	c ---[342172]---> BDD-cost:  379
20.08/20.19	c ---[342171]---> BDD-cost:  379
20.18/20.20	c ---[342170]---> BDD-cost:  379
20.18/20.21	c ---[342169]---> BDD-cost:  379
20.18/20.22	c ---[342168]---> BDD-cost:  379
20.18/20.23	c ---[342167]---> BDD-cost:  379
20.18/20.24	c ---[342166]---> BDD-cost:  379
20.18/20.24	c ---[342165]---> BDD-cost:  379
20.18/20.25	c ---[342164]---> BDD-cost:  379
20.18/20.26	c ---[342163]---> BDD-cost:  379
20.18/20.27	c ---[342162]---> BDD-cost:  379
20.18/20.28	c ---[342161]---> BDD-cost:  379
20.18/20.29	c ---[342160]---> BDD-cost:  379
20.28/20.30	c ---[342159]---> BDD-cost:  379
20.28/20.31	c ---[342158]---> BDD-cost:  379
20.28/20.32	c ---[342157]---> BDD-cost:  379
20.28/20.32	c ---[342156]---> BDD-cost:  379
20.28/20.33	c ---[342155]---> BDD-cost:  379
20.28/20.34	c ---[342154]---> BDD-cost:  379
20.28/20.35	c ---[342153]---> BDD-cost:  379
20.28/20.36	c ---[342152]---> BDD-cost:  379
20.28/20.37	c ---[342151]---> BDD-cost:  379
20.28/20.38	c ---[342150]---> BDD-cost:  379
20.28/20.39	c ---[342149]---> BDD-cost:  379
20.38/20.40	c ---[342148]---> BDD-cost:  379
20.38/20.40	c ---[342147]---> BDD-cost:  379
20.38/20.41	c ---[342146]---> BDD-cost:  379
20.38/20.42	c ---[342145]---> BDD-cost:  379
20.38/20.43	c ---[342144]---> BDD-cost:  379
20.38/20.44	c ---[342143]---> BDD-cost:  379
20.38/20.45	c ---[342142]---> BDD-cost:  379
20.38/20.46	c ---[342141]---> BDD-cost:  379
20.38/20.47	c ---[342140]---> BDD-cost:  379
20.38/20.48	c ---[342139]---> BDD-cost:  379
20.38/20.48	c ---[342138]---> BDD-cost:  379
20.38/20.49	c ---[342137]---> BDD-cost:  379
20.48/20.50	c ---[342136]---> BDD-cost:  379
20.48/20.51	c ---[342135]---> BDD-cost:  379
20.48/20.52	c ---[342134]---> BDD-cost:  379
20.48/20.53	c ---[342133]---> BDD-cost:  379
20.48/20.54	c ---[342132]---> BDD-cost:  379
20.48/20.55	c ---[342131]---> BDD-cost:  379
20.48/20.56	c ---[342130]---> BDD-cost:  379
20.48/20.56	c ---[342129]---> BDD-cost:  379
20.48/20.57	c ---[342128]---> BDD-cost:  379
20.48/20.58	c ---[342127]---> BDD-cost:  379
20.48/20.59	c ---[342126]---> BDD-cost:  379
20.58/20.60	c ---[342125]---> BDD-cost:  379
20.58/20.61	c ---[342124]---> BDD-cost:  379
20.58/20.62	c ---[342123]---> BDD-cost:  379
20.58/20.63	c ---[342122]---> BDD-cost:  379
20.58/20.64	c ---[342121]---> BDD-cost:  379
20.58/20.64	c ---[342120]---> BDD-cost:  379
20.58/20.65	c ---[342119]---> BDD-cost:  379
20.58/20.66	c ---[342118]---> BDD-cost:  379
20.58/20.67	c ---[342117]---> BDD-cost:  379
20.58/20.68	c ---[342116]---> BDD-cost:  379
20.58/20.69	c ---[342115]---> BDD-cost:  379
20.68/20.70	c ---[342114]---> BDD-cost:  379
20.68/20.71	c ---[342113]---> BDD-cost:  379
20.68/20.72	c ---[342112]---> BDD-cost:  379
20.68/20.72	c ---[342111]---> BDD-cost:  379
20.68/20.73	c ---[342110]---> BDD-cost:  379
20.68/20.74	c ---[342109]---> BDD-cost:  379
20.68/20.75	c ---[342108]---> BDD-cost:  379
20.68/20.76	c ---[342107]---> BDD-cost:  379
20.68/20.77	c ---[342106]---> BDD-cost:  379
20.68/20.78	c ---[342105]---> BDD-cost:  379
20.68/20.79	c ---[342104]---> BDD-cost:  379
20.78/20.80	c ---[342103]---> BDD-cost:  379
20.78/20.80	c ---[342102]---> BDD-cost:  379
20.78/20.81	c ---[342101]---> BDD-cost:  379
20.78/20.82	c ---[342100]---> BDD-cost:  379
20.78/20.83	c ---[342099]---> BDD-cost:  379
20.78/20.84	c ---[342098]---> BDD-cost:  379
20.78/20.85	c ---[342097]---> BDD-cost:  379
20.78/20.86	c ---[342096]---> BDD-cost:  379
20.78/20.87	c ---[342095]---> BDD-cost:  379
20.78/20.88	c ---[342094]---> BDD-cost:  379
20.78/20.88	c ---[342093]---> BDD-cost:  379
20.78/20.89	c ---[342092]---> BDD-cost:  379
20.89/20.90	c ---[342091]---> BDD-cost:  379
20.89/20.91	c ---[342090]---> BDD-cost:  379
20.89/20.92	c ---[342089]---> BDD-cost:  379
20.89/20.93	c ---[342088]---> BDD-cost:  379
20.89/20.94	c ---[342087]---> BDD-cost:  379
20.89/20.95	c ---[342086]---> BDD-cost:  379
20.89/20.96	c ---[342085]---> BDD-cost:  379
20.89/20.96	c ---[342084]---> BDD-cost:  379
20.89/20.97	c ---[342083]---> BDD-cost:  379
20.89/20.98	c ---[342082]---> BDD-cost:  379
20.89/20.99	c ---[342081]---> BDD-cost:  379
20.89/21.00	c ---[342080]---> BDD-cost:  379
20.99/21.01	c ---[342079]---> BDD-cost:  379
20.99/21.02	c ---[342078]---> BDD-cost:  379
20.99/21.03	c ---[342077]---> BDD-cost:  379
20.99/21.04	c ---[342076]---> BDD-cost:  379
20.99/21.04	c ---[342075]---> BDD-cost:  379
20.99/21.05	c ---[342074]---> BDD-cost:  379
20.99/21.06	c ---[342073]---> BDD-cost:  379
20.99/21.07	c ---[342072]---> BDD-cost:  379
20.99/21.08	c ---[342071]---> BDD-cost:  379
20.99/21.09	c ---[342070]---> BDD-cost:  379
21.08/21.10	c ---[342069]---> BDD-cost:  379
21.08/21.11	c ---[342068]---> BDD-cost:  379
21.08/21.12	c ---[342067]---> BDD-cost:  379
21.08/21.12	c ---[342066]---> BDD-cost:  379
21.08/21.13	c ---[342065]---> BDD-cost:  379
21.08/21.14	c ---[342064]---> BDD-cost:  379
21.08/21.15	c ---[342063]---> BDD-cost:  379
21.08/21.16	c ---[342062]---> BDD-cost:  379
21.08/21.17	c ---[342061]---> BDD-cost:  379
21.08/21.18	c ---[342060]---> BDD-cost:  379
21.08/21.19	c ---[342059]---> BDD-cost:  379
21.18/21.20	c ---[342058]---> BDD-cost:  379
21.18/21.20	c ---[342057]---> BDD-cost:  379
21.18/21.21	c ---[342056]---> BDD-cost:  379
21.18/21.22	c ---[342055]---> BDD-cost:  379
21.18/21.23	c ---[342054]---> BDD-cost:  379
21.18/21.24	c ---[342053]---> BDD-cost:  379
21.18/21.25	c ---[342052]---> BDD-cost:  379
21.18/21.26	c ---[342051]---> BDD-cost:  379
21.18/21.27	c ---[342050]---> BDD-cost:  379
21.18/21.28	c ---[342049]---> BDD-cost:  379
21.18/21.28	c ---[342048]---> BDD-cost:  379
21.18/21.29	c ---[342047]---> BDD-cost:  379
21.28/21.30	c ---[342046]---> BDD-cost:  379
21.28/21.31	c ---[342045]---> BDD-cost:  379
21.28/21.32	c ---[342044]---> BDD-cost:  379
21.28/21.33	c ---[342043]---> BDD-cost:  379
21.28/21.34	c ---[342042]---> BDD-cost:  379
21.28/21.35	c ---[342041]---> BDD-cost:  379
21.28/21.36	c ---[342040]---> BDD-cost:  379
21.28/21.36	c ---[342039]---> BDD-cost:  379
21.28/21.37	c ---[342038]---> BDD-cost:  379
21.28/21.38	c ---[342037]---> BDD-cost:  379
21.28/21.39	c ---[342036]---> BDD-cost:  379
21.38/21.40	c ---[342035]---> BDD-cost:  379
21.38/21.41	c ---[342034]---> BDD-cost:  379
21.38/21.42	c ---[342033]---> BDD-cost:  379
21.38/21.43	c ---[342032]---> BDD-cost:  379
21.38/21.44	c ---[342031]---> BDD-cost:  379
21.38/21.44	c ---[342030]---> BDD-cost:  379
21.38/21.45	c ---[342029]---> BDD-cost:  379
21.38/21.46	c ---[342028]---> BDD-cost:  379
21.38/21.47	c ---[342027]---> BDD-cost:  379
21.38/21.48	c ---[342026]---> BDD-cost:  379
21.38/21.49	c ---[342025]---> BDD-cost:  379
21.48/21.50	c ---[342024]---> BDD-cost:  379
21.48/21.51	c ---[342023]---> BDD-cost:  379
21.48/21.52	c ---[342022]---> BDD-cost:  379
21.48/21.53	c ---[342021]---> BDD-cost:  379
21.48/21.53	c ---[342020]---> BDD-cost:  379
21.48/21.54	c ---[342019]---> BDD-cost:  379
21.48/21.55	c ---[342018]---> BDD-cost:  379
21.48/21.56	c ---[342017]---> BDD-cost:  379
21.48/21.57	c ---[342016]---> BDD-cost:  379
21.48/21.58	c ---[342015]---> BDD-cost:  379
21.48/21.59	c ---[342014]---> BDD-cost:  379
21.58/21.60	c ---[342013]---> BDD-cost:  379
21.58/21.61	c ---[342012]---> BDD-cost:  379
21.58/21.61	c ---[342011]---> BDD-cost:  379
21.58/21.62	c ---[342010]---> BDD-cost:  379
21.58/21.63	c ---[342009]---> BDD-cost:  379
21.58/21.64	c ---[342008]---> BDD-cost:  379
21.58/21.65	c ---[342007]---> BDD-cost:  379
21.58/21.66	c ---[342006]---> BDD-cost:  379
21.58/21.67	c ---[342005]---> BDD-cost:  379
21.58/21.68	c ---[342004]---> BDD-cost:  379
21.58/21.69	c ---[342003]---> BDD-cost:  379
21.58/21.69	c ---[342002]---> BDD-cost:  379
21.68/21.70	c ---[342001]---> BDD-cost:  379
21.68/21.71	c ---[342000]---> BDD-cost:  379
21.68/21.72	c ---[341999]---> BDD-cost:  379
21.68/21.73	c ---[341998]---> BDD-cost:  379
21.68/21.74	c ---[341997]---> BDD-cost:  379
21.68/21.75	c ---[341996]---> BDD-cost:  379
21.68/21.76	c ---[341995]---> BDD-cost:  379
21.68/21.77	c ---[341994]---> BDD-cost:  379
21.68/21.77	c ---[341993]---> BDD-cost:  379
21.68/21.78	c ---[341992]---> BDD-cost:  379
21.68/21.79	c ---[341991]---> BDD-cost:  379
21.79/21.80	c ---[341990]---> BDD-cost:  379
21.79/21.81	c ---[341989]---> BDD-cost:  379
21.79/21.82	c ---[341988]---> BDD-cost:  379
21.79/21.83	c ---[341987]---> BDD-cost:  379
21.79/21.84	c ---[341986]---> BDD-cost:  379
21.79/21.85	c ---[341985]---> BDD-cost:  379
21.79/21.85	c ---[341984]---> BDD-cost:  379
21.79/21.86	c ---[341983]---> BDD-cost:  379
21.79/21.87	c ---[341982]---> BDD-cost:  379
21.79/21.88	c ---[341981]---> BDD-cost:  379
21.79/21.89	c ---[341980]---> BDD-cost:  379
21.89/21.90	c ---[341979]---> BDD-cost:  379
21.89/21.91	c ---[341978]---> BDD-cost:  379
21.89/21.92	c ---[341977]---> BDD-cost:  379
21.89/21.93	c ---[341976]---> BDD-cost:  379
21.89/21.93	c ---[341975]---> BDD-cost:  379
21.89/21.94	c ---[341974]---> BDD-cost:  379
21.89/21.95	c ---[341973]---> BDD-cost:  379
21.89/21.96	c ---[341972]---> BDD-cost:  379
21.89/21.97	c ---[341971]---> BDD-cost:  379
21.89/21.98	c ---[341970]---> BDD-cost:  379
21.89/21.99	c ---[341969]---> BDD-cost:  379
21.89/22.00	c ---[341968]---> BDD-cost:  379
21.99/22.01	c ---[341967]---> BDD-cost:  379
21.99/22.01	c ---[341966]---> BDD-cost:  379
21.99/22.02	c ---[341965]---> BDD-cost:  379
21.99/22.03	c ---[341964]---> BDD-cost:  379
21.99/22.04	c ---[341963]---> BDD-cost:  379
21.99/22.05	c ---[341962]---> BDD-cost:  379
21.99/22.06	c ---[341961]---> BDD-cost:  379
21.99/22.07	c ---[341960]---> BDD-cost:  379
21.99/22.08	c ---[341959]---> BDD-cost:  379
21.99/22.09	c ---[341958]---> BDD-cost:  379
21.99/22.09	c ---[341957]---> BDD-cost:  379
22.09/22.10	c ---[341956]---> BDD-cost:  379
22.09/22.11	c ---[341955]---> BDD-cost:  379
22.09/22.12	c ---[341954]---> BDD-cost:  379
22.09/22.13	c ---[341953]---> BDD-cost:  379
22.09/22.14	c ---[341952]---> BDD-cost:  379
22.09/22.15	c ---[341951]---> BDD-cost:  379
22.09/22.16	c ---[341950]---> BDD-cost:  379
22.09/22.17	c ---[341949]---> BDD-cost:  379
22.09/22.17	c ---[341948]---> BDD-cost:  379
22.09/22.18	c ---[341947]---> BDD-cost:  379
22.09/22.19	c ---[341946]---> BDD-cost:  379
22.19/22.20	c ---[341945]---> BDD-cost:  379
22.19/22.21	c ---[341944]---> BDD-cost:  379
22.19/22.22	c ---[341943]---> BDD-cost:  379
22.19/22.23	c ---[341942]---> BDD-cost:  379
22.19/22.24	c ---[341941]---> BDD-cost:  379
22.19/22.25	c ---[341940]---> BDD-cost:  379
22.19/22.26	c ---[341939]---> BDD-cost:  379
22.19/22.26	c ---[341938]---> BDD-cost:  379
22.19/22.27	c ---[341937]---> BDD-cost:  379
22.19/22.28	c ---[341936]---> BDD-cost:  379
22.19/22.29	c ---[341935]---> BDD-cost:  379
22.29/22.30	c ---[341934]---> BDD-cost:  379
22.29/22.31	c ---[341933]---> BDD-cost:  379
22.29/22.32	c ---[341932]---> BDD-cost:  379
22.29/22.33	c ---[341931]---> BDD-cost:  379
22.29/22.34	c ---[341930]---> BDD-cost:  379
22.29/22.34	c ---[341929]---> BDD-cost:  379
22.29/22.35	c ---[341928]---> BDD-cost:  379
22.29/22.36	c ---[341927]---> BDD-cost:  379
22.29/22.37	c ---[341926]---> BDD-cost:  379
22.29/22.38	c ---[341925]---> BDD-cost:  379
22.29/22.39	c ---[341924]---> BDD-cost:  379
22.39/22.40	c ---[341923]---> BDD-cost:  379
22.39/22.41	c ---[341922]---> BDD-cost:  379
22.39/22.42	c ---[341921]---> BDD-cost:  379
22.39/22.42	c ---[341920]---> BDD-cost:  379
22.39/22.43	c ---[341919]---> BDD-cost:  379
22.39/22.44	c ---[341918]---> BDD-cost:  379
22.39/22.45	c ---[341917]---> BDD-cost:  379
22.39/22.46	c ---[341916]---> BDD-cost:  379
22.39/22.47	c ---[341915]---> BDD-cost:  379
22.39/22.48	c ---[341914]---> BDD-cost:  379
22.39/22.49	c ---[341913]---> BDD-cost:  379
22.49/22.50	c ---[341912]---> BDD-cost:  379
22.49/22.50	c ---[341911]---> BDD-cost:  379
22.49/22.51	c ---[341910]---> BDD-cost:  379
22.49/22.52	c ---[341909]---> BDD-cost:  379
22.49/22.53	c ---[341908]---> BDD-cost:  379
22.49/22.54	c ---[341907]---> BDD-cost:  379
22.49/22.55	c ---[341906]---> BDD-cost:  379
22.49/22.56	c ---[341905]---> BDD-cost:  379
22.49/22.57	c ---[341904]---> BDD-cost:  379
22.49/22.58	c ---[341903]---> BDD-cost:  379
22.49/22.58	c ---[341902]---> BDD-cost:  379
22.49/22.59	c ---[341901]---> BDD-cost:  379
22.59/22.60	c ---[341900]---> BDD-cost:  379
22.59/22.61	c ---[341899]---> BDD-cost:  379
22.59/22.62	c ---[341898]---> BDD-cost:  379
22.59/22.63	c ---[341897]---> BDD-cost:  379
22.59/22.64	c ---[341896]---> BDD-cost:  379
22.59/22.65	c ---[341895]---> BDD-cost:  379
22.59/22.66	c ---[341894]---> BDD-cost:  379
22.59/22.66	c ---[341893]---> BDD-cost:  379
22.59/22.67	c ---[341892]---> BDD-cost:  379
22.59/22.68	c ---[341891]---> BDD-cost:  379
22.59/22.69	c ---[341890]---> BDD-cost:  379
22.69/22.70	c ---[341889]---> BDD-cost:  379
22.69/22.71	c ---[341888]---> BDD-cost:  379
22.69/22.72	c ---[341887]---> BDD-cost:  379
22.69/22.73	c ---[341886]---> BDD-cost:  379
22.69/22.74	c ---[341885]---> BDD-cost:  379
22.69/22.75	c ---[341884]---> BDD-cost:  379
22.69/22.75	c ---[341883]---> BDD-cost:  379
22.69/22.76	c ---[341882]---> BDD-cost:  379
22.69/22.77	c ---[341881]---> BDD-cost:  379
22.69/22.78	c ---[341880]---> BDD-cost:  379
22.69/22.79	c ---[341879]---> BDD-cost:  379
22.79/22.80	c ---[341878]---> BDD-cost:  379
22.79/22.81	c ---[341877]---> BDD-cost:  379
22.79/22.82	c ---[341876]---> BDD-cost:  379
22.79/22.83	c ---[341875]---> BDD-cost:  379
22.79/22.83	c ---[341874]---> BDD-cost:  379
22.79/22.84	c ---[341873]---> BDD-cost:  379
22.79/22.85	c ---[341872]---> BDD-cost:  379
22.79/22.86	c ---[341871]---> BDD-cost:  379
22.79/22.87	c ---[341870]---> BDD-cost:  379
22.79/22.88	c ---[341869]---> BDD-cost:  379
22.79/22.89	c ---[341868]---> BDD-cost:  379
22.88/22.90	c ---[341867]---> BDD-cost:  379
22.88/22.91	c ---[341866]---> BDD-cost:  379
22.88/22.91	c ---[341865]---> BDD-cost:  379
22.88/22.92	c ---[341864]---> BDD-cost:  379
22.88/22.93	c ---[341863]---> BDD-cost:  379
22.88/22.94	c ---[341862]---> BDD-cost:  379
22.88/22.95	c ---[341861]---> BDD-cost:  379
22.88/22.96	c ---[341860]---> BDD-cost:  379
22.88/22.97	c ---[341859]---> BDD-cost:  379
22.88/22.98	c ---[341858]---> BDD-cost:  379
22.88/22.99	c ---[341857]---> BDD-cost:  379
22.88/22.99	c ---[341856]---> BDD-cost:  379
22.98/23.00	c ---[341855]---> BDD-cost:  379
22.98/23.01	c ---[341854]---> BDD-cost:  379
22.98/23.02	c ---[341853]---> BDD-cost:  379
22.98/23.03	c ---[341852]---> BDD-cost:  379
22.98/23.04	c ---[341851]---> BDD-cost:  379
22.98/23.05	c ---[341850]---> BDD-cost:  379
22.98/23.06	c ---[341849]---> BDD-cost:  379
22.98/23.07	c ---[341848]---> BDD-cost:  379
22.98/23.07	c ---[341847]---> BDD-cost:  379
22.98/23.08	c ---[341846]---> BDD-cost:  379
22.98/23.09	c ---[341845]---> BDD-cost:  379
23.09/23.10	c ---[341844]---> BDD-cost:  379
23.09/23.11	c ---[341843]---> BDD-cost:  379
23.09/23.12	c ---[341842]---> BDD-cost:  379
23.09/23.13	c ---[341841]---> BDD-cost:  379
23.09/23.14	c ---[341840]---> BDD-cost:  379
23.09/23.15	c ---[341839]---> BDD-cost:  379
23.09/23.16	c ---[341838]---> BDD-cost:  379
23.09/23.16	c ---[341837]---> BDD-cost:  379
23.09/23.17	c ---[341836]---> BDD-cost:  379
23.09/23.18	c ---[341835]---> BDD-cost:  379
23.09/23.19	c ---[341834]---> BDD-cost:  379
23.09/23.20	c ---[341833]---> BDD-cost:  379
23.19/23.21	c ---[341832]---> BDD-cost:  379
23.19/23.22	c ---[341831]---> BDD-cost:  379
23.19/23.23	c ---[341830]---> BDD-cost:  379
23.19/23.24	c ---[341829]---> BDD-cost:  379
23.19/23.24	c ---[341828]---> BDD-cost:  379
23.19/23.25	c ---[341827]---> BDD-cost:  379
23.19/23.26	c ---[341826]---> BDD-cost:  379
23.19/23.27	c ---[341825]---> BDD-cost:  379
23.19/23.28	c ---[341824]---> BDD-cost:  379
23.19/23.29	c ---[341823]---> BDD-cost:  379
23.28/23.30	c ---[341822]---> BDD-cost:  379
23.28/23.31	c ---[341821]---> BDD-cost:  379
23.28/23.32	c ---[341820]---> BDD-cost:  379
23.28/23.32	c ---[341819]---> BDD-cost:  379
23.28/23.33	c ---[341818]---> BDD-cost:  379
23.28/23.34	c ---[341817]---> BDD-cost:  379
23.28/23.35	c ---[341816]---> BDD-cost:  379
23.28/23.36	c ---[341815]---> BDD-cost:  379
23.28/23.37	c ---[341814]---> BDD-cost:  379
23.28/23.38	c ---[341813]---> BDD-cost:  379
23.28/23.39	c ---[341812]---> BDD-cost:  379
23.38/23.40	c ---[341811]---> BDD-cost:  379
23.38/23.41	c ---[341810]---> BDD-cost:  379
23.38/23.41	c ---[341809]---> BDD-cost:  379
23.38/23.42	c ---[341808]---> BDD-cost:  379
23.38/23.43	c ---[341807]---> BDD-cost:  379
23.38/23.44	c ---[341806]---> BDD-cost:  379
23.38/23.45	c ---[341805]---> BDD-cost:  379
23.38/23.46	c ---[341804]---> BDD-cost:  379
23.38/23.47	c ---[341803]---> BDD-cost:  379
23.38/23.48	c ---[341802]---> BDD-cost:  379
23.38/23.49	c ---[341801]---> BDD-cost:  379
23.38/23.49	c ---[341800]---> BDD-cost:  379
23.48/23.50	c ---[341799]---> BDD-cost:  379
23.48/23.51	c ---[341798]---> BDD-cost:  379
23.48/23.52	c ---[341797]---> BDD-cost:  379
23.48/23.53	c ---[341796]---> BDD-cost:  379
23.48/23.54	c ---[341795]---> BDD-cost:  379
23.48/23.55	c ---[341794]---> BDD-cost:  379
23.48/23.56	c ---[341793]---> BDD-cost:  379
23.48/23.57	c ---[341792]---> BDD-cost:  379
23.48/23.57	c ---[341791]---> BDD-cost:  379
23.48/23.58	c ---[341790]---> BDD-cost:  379
23.48/23.59	c ---[341789]---> BDD-cost:  379
23.58/23.60	c ---[341788]---> BDD-cost:  379
23.58/23.61	c ---[341787]---> BDD-cost:  379
23.58/23.62	c ---[341786]---> BDD-cost:  379
23.58/23.63	c ---[341785]---> BDD-cost:  379
23.58/23.64	c ---[341784]---> BDD-cost:  379
23.58/23.65	c ---[341783]---> BDD-cost:  379
23.58/23.65	c ---[341782]---> BDD-cost:  379
23.58/23.66	c ---[341781]---> BDD-cost:  379
23.58/23.67	c ---[341780]---> BDD-cost:  379
23.58/23.68	c ---[341779]---> BDD-cost:  379
23.58/23.69	c ---[341778]---> BDD-cost:  379
23.68/23.70	c ---[341777]---> BDD-cost:  379
23.68/23.71	c ---[341776]---> BDD-cost:  379
23.68/23.72	c ---[341775]---> BDD-cost:  379
23.68/23.73	c ---[341774]---> BDD-cost:  379
23.68/23.73	c ---[341773]---> BDD-cost:  379
23.68/23.74	c ---[341772]---> BDD-cost:  379
23.68/23.75	c ---[341771]---> BDD-cost:  379
23.68/23.76	c ---[341770]---> BDD-cost:  379
23.68/23.77	c ---[341769]---> BDD-cost:  379
23.68/23.78	c ---[341768]---> BDD-cost:  379
23.68/23.79	c ---[341767]---> BDD-cost:  379
23.78/23.80	c ---[341766]---> BDD-cost:  379
23.78/23.81	c ---[341765]---> BDD-cost:  379
23.78/23.81	c ---[341764]---> BDD-cost:  379
23.78/23.82	c ---[341763]---> BDD-cost:  379
23.78/23.83	c ---[341762]---> BDD-cost:  379
23.78/23.84	c ---[341761]---> BDD-cost:  379
23.78/23.85	c ---[341760]---> BDD-cost:  379
23.78/23.86	c ---[341759]---> BDD-cost:  379
23.78/23.87	c ---[341758]---> BDD-cost:  379
23.78/23.88	c ---[341757]---> BDD-cost:  379
23.78/23.89	c ---[341756]---> BDD-cost:  379
23.88/23.90	c ---[341755]---> BDD-cost:  379
23.88/23.90	c ---[341754]---> BDD-cost:  379
23.88/23.94	c ---[341753]---> BDD-cost:  379
23.88/23.95	c ---[341752]---> BDD-cost:  379
23.88/23.96	c ---[341751]---> BDD-cost:  379
23.88/23.97	c ---[341750]---> BDD-cost:  379
23.88/23.98	c ---[341749]---> BDD-cost:  379
23.88/23.99	c ---[341748]---> BDD-cost:  379
23.88/23.99	c ---[341747]---> BDD-cost:  379
23.98/24.00	c ---[341746]---> BDD-cost:  379
23.98/24.01	c ---[341745]---> BDD-cost:  379
23.98/24.02	c ---[341744]---> BDD-cost:  379
23.98/24.03	c ---[341743]---> BDD-cost:  379
23.98/24.04	c ---[341742]---> BDD-cost:  379
23.98/24.05	c ---[341741]---> BDD-cost:  379
23.98/24.06	c ---[341740]---> BDD-cost:  379
23.98/24.07	c ---[341739]---> BDD-cost:  379
23.98/24.08	c ---[341738]---> BDD-cost:  379
23.98/24.08	c ---[341737]---> BDD-cost:  379
23.98/24.09	c ---[341736]---> BDD-cost:  379
24.08/24.10	c ---[341735]---> BDD-cost:  379
24.08/24.11	c ---[341734]---> BDD-cost:  379
24.08/24.12	c ---[341733]---> BDD-cost:  379
24.08/24.13	c ---[341732]---> BDD-cost:  379
24.08/24.14	c ---[341731]---> BDD-cost:  379
24.08/24.15	c ---[341730]---> BDD-cost:  379
24.08/24.16	c ---[341729]---> BDD-cost:  379
24.08/24.16	c ---[341728]---> BDD-cost:  379
24.08/24.17	c ---[341727]---> BDD-cost:  379
24.08/24.18	c ---[341726]---> BDD-cost:  379
24.08/24.19	c ---[341725]---> BDD-cost:  379
24.08/24.20	c ---[341724]---> BDD-cost:  379
24.20/24.21	c ---[341723]---> BDD-cost:  379
24.20/24.22	c ---[341722]---> BDD-cost:  379
24.20/24.23	c ---[341721]---> BDD-cost:  379
24.20/24.24	c ---[341720]---> BDD-cost:  379
24.20/24.24	c ---[341719]---> BDD-cost:  379
24.20/24.25	c ---[341718]---> BDD-cost:  379
24.20/24.26	c ---[341717]---> BDD-cost:  379
24.20/24.27	c ---[341716]---> BDD-cost:  379
24.20/24.28	c ---[341715]---> BDD-cost:  379
24.20/24.29	c ---[341714]---> BDD-cost:  379
24.20/24.30	c ---[341713]---> BDD-cost:  379
24.30/24.31	c ---[341712]---> BDD-cost:  379
24.30/24.32	c ---[341711]---> BDD-cost:  379
24.30/24.32	c ---[341710]---> BDD-cost:  379
24.30/24.33	c ---[341709]---> BDD-cost:  379
24.30/24.34	c ---[341708]---> BDD-cost:  379
24.30/24.35	c ---[341707]---> BDD-cost:  379
24.30/24.36	c ---[341706]---> BDD-cost:  379
24.30/24.37	c ---[341705]---> BDD-cost:  379
24.30/24.38	c ---[341704]---> BDD-cost:  379
24.30/24.39	c ---[341703]---> BDD-cost:  379
24.39/24.40	c ---[341702]---> BDD-cost:  379
24.39/24.40	c ---[341701]---> BDD-cost:  379
24.39/24.41	c ---[341700]---> BDD-cost:  379
24.39/24.42	c ---[341699]---> BDD-cost:  379
24.39/24.43	c ---[341698]---> BDD-cost:  379
24.39/24.44	c ---[341697]---> BDD-cost:  379
24.39/24.45	c ---[341696]---> BDD-cost:  379
24.39/24.46	c ---[341695]---> BDD-cost:  379
24.39/24.47	c ---[341694]---> BDD-cost:  379
24.39/24.48	c ---[341693]---> BDD-cost:  379
24.39/24.49	c ---[341692]---> BDD-cost:  379
24.39/24.49	c ---[341691]---> BDD-cost:  379
24.49/24.50	c ---[341690]---> BDD-cost:  379
24.49/24.51	c ---[341689]---> BDD-cost:  379
24.49/24.52	c ---[341688]---> BDD-cost:  379
24.49/24.53	c ---[341687]---> BDD-cost:  379
24.49/24.54	c ---[341686]---> BDD-cost:  379
24.49/24.55	c ---[341685]---> BDD-cost:  379
24.49/24.56	c ---[341684]---> BDD-cost:  379
24.49/24.57	c ---[341683]---> BDD-cost:  379
24.49/24.57	c ---[341682]---> BDD-cost:  379
24.49/24.58	c ---[341681]---> BDD-cost:  379
24.49/24.59	c ---[341680]---> BDD-cost:  379
24.59/24.60	c ---[341679]---> BDD-cost:  379
24.59/24.61	c ---[341678]---> BDD-cost:  379
24.59/24.62	c ---[341677]---> BDD-cost:  379
24.59/24.63	c ---[341676]---> BDD-cost:  379
24.59/24.64	c ---[341675]---> BDD-cost:  379
24.59/24.65	c ---[341674]---> BDD-cost:  379
24.59/24.65	c ---[341673]---> BDD-cost:  379
24.59/24.66	c ---[341672]---> BDD-cost:  379
24.59/24.67	c ---[341671]---> BDD-cost:  379
24.59/24.68	c ---[341670]---> BDD-cost:  379
24.59/24.69	c ---[341669]---> BDD-cost:  379
24.69/24.70	c ---[341668]---> BDD-cost:  379
24.69/24.71	c ---[341667]---> BDD-cost:  379
24.69/24.72	c ---[341666]---> BDD-cost:  379
24.69/24.73	c ---[341665]---> BDD-cost:  379
24.69/24.74	c ---[341664]---> BDD-cost:  379
24.69/24.74	c ---[341663]---> BDD-cost:  379
24.69/24.75	c ---[341662]---> BDD-cost:  379
24.69/24.76	c ---[341661]---> BDD-cost:  379
24.69/24.77	c ---[341660]---> BDD-cost:  379
24.69/24.78	c ---[341659]---> BDD-cost:  379
24.69/24.79	c ---[341658]---> BDD-cost:  379
24.79/24.80	c ---[341657]---> BDD-cost:  379
24.79/24.81	c ---[341656]---> BDD-cost:  379
24.79/24.82	c ---[341655]---> BDD-cost:  379
24.79/24.82	c ---[341654]---> BDD-cost:  379
24.79/24.83	c ---[341653]---> BDD-cost:  379
24.79/24.84	c ---[341652]---> BDD-cost:  379
24.79/24.85	c ---[341651]---> BDD-cost:  379
24.79/24.86	c ---[341650]---> BDD-cost:  379
24.79/24.87	c ---[341649]---> BDD-cost:  379
24.79/24.88	c ---[341648]---> BDD-cost:  379
24.79/24.89	c ---[341647]---> BDD-cost:  379
24.89/24.90	c ---[341646]---> BDD-cost:  379
24.89/24.90	c ---[341645]---> BDD-cost:  379
24.89/24.91	c ---[341644]---> BDD-cost:  379
24.89/24.92	c ---[341643]---> BDD-cost:  379
24.89/24.93	c ---[341642]---> BDD-cost:  379
24.89/24.94	c ---[341641]---> BDD-cost:  379
24.89/24.95	c ---[341640]---> BDD-cost:  379
24.89/24.96	c ---[341639]---> BDD-cost:  379
24.89/24.97	c ---[341638]---> BDD-cost:  379
24.89/24.98	c ---[341637]---> BDD-cost:  379
24.89/24.99	c ---[341636]---> BDD-cost:  379
24.89/24.99	c ---[341635]---> BDD-cost:  379
24.99/25.00	c ---[341634]---> BDD-cost:  379
24.99/25.01	c ---[341633]---> BDD-cost:  379
24.99/25.02	c ---[341632]---> BDD-cost:  379
24.99/25.03	c ---[341631]---> BDD-cost:  379
24.99/25.04	c ---[341630]---> BDD-cost:  379
24.99/25.05	c ---[341629]---> BDD-cost:  379
24.99/25.06	c ---[341628]---> BDD-cost:  379
24.99/25.07	c ---[341627]---> BDD-cost:  379
24.99/25.07	c ---[341626]---> BDD-cost:  379
24.99/25.08	c ---[341625]---> BDD-cost:  379
24.99/25.09	c ---[341624]---> BDD-cost:  379
25.09/25.10	c ---[341623]---> BDD-cost:  379
25.09/25.11	c ---[341622]---> BDD-cost:  379
25.09/25.12	c ---[341621]---> BDD-cost:  379
25.09/25.13	c ---[341620]---> BDD-cost:  379
25.09/25.14	c ---[341619]---> BDD-cost:  379
25.09/25.15	c ---[341618]---> BDD-cost:  379
25.09/25.15	c ---[341617]---> BDD-cost:  379
25.09/25.16	c ---[341616]---> BDD-cost:  379
25.09/25.17	c ---[341615]---> BDD-cost:  379
25.09/25.18	c ---[341614]---> BDD-cost:  379
25.09/25.19	c ---[341613]---> BDD-cost:  379
25.19/25.20	c ---[341612]---> BDD-cost:  379
25.19/25.21	c ---[341611]---> BDD-cost:  379
25.19/25.22	c ---[341610]---> BDD-cost:  379
25.19/25.23	c ---[341609]---> BDD-cost:  379
25.19/25.24	c ---[341608]---> BDD-cost:  379
25.19/25.24	c ---[341607]---> BDD-cost:  379
25.19/25.25	c ---[341606]---> BDD-cost:  379
25.19/25.26	c ---[341605]---> BDD-cost:  379
25.19/25.27	c ---[341604]---> BDD-cost:  379
25.19/25.28	c ---[341603]---> BDD-cost:  379
25.19/25.29	c ---[341602]---> BDD-cost:  379
25.19/25.30	c ---[341601]---> BDD-cost:  379
25.30/25.31	c ---[341600]---> BDD-cost:  379
25.30/25.32	c ---[341599]---> BDD-cost:  379
25.30/25.32	c ---[341598]---> BDD-cost:  379
25.30/25.33	c ---[341597]---> BDD-cost:  379
25.30/25.34	c ---[341596]---> BDD-cost:  379
25.30/25.35	c ---[341595]---> BDD-cost:  379
25.30/25.36	c ---[341594]---> BDD-cost:  379
25.30/25.37	c ---[341593]---> BDD-cost:  379
25.30/25.38	c ---[341592]---> BDD-cost:  379
25.30/25.39	c ---[341591]---> BDD-cost:  379
25.30/25.40	c ---[341590]---> BDD-cost:  379
25.40/25.40	c ---[341589]---> BDD-cost:  379
25.40/25.41	c ---[341588]---> BDD-cost:  379
25.40/25.42	c ---[341587]---> BDD-cost:  379
25.40/25.43	c ---[341586]---> BDD-cost:  379
25.40/25.44	c ---[341585]---> BDD-cost:  379
25.40/25.45	c ---[341584]---> BDD-cost:  379
25.40/25.46	c ---[341583]---> BDD-cost:  379
25.40/25.47	c ---[341582]---> BDD-cost:  379
25.40/25.48	c ---[341581]---> BDD-cost:  379
25.40/25.48	c ---[341580]---> BDD-cost:  379
25.40/25.49	c ---[341579]---> BDD-cost:  379
25.49/25.50	c ---[341578]---> BDD-cost:  379
25.49/25.51	c ---[341577]---> BDD-cost:  379
25.49/25.52	c ---[341576]---> BDD-cost:  379
25.49/25.53	c ---[341575]---> BDD-cost:  379
25.49/25.54	c ---[341574]---> BDD-cost:  379
25.49/25.55	c ---[341573]---> BDD-cost:  379
25.49/25.56	c ---[341572]---> BDD-cost:  379
25.49/25.56	c ---[341571]---> BDD-cost:  379
25.49/25.57	c ---[341570]---> BDD-cost:  379
25.49/25.58	c ---[341569]---> BDD-cost:  379
25.49/25.59	c ---[341568]---> BDD-cost:  379
25.59/25.60	c ---[341567]---> BDD-cost:  379
25.59/25.61	c ---[341566]---> BDD-cost:  379
25.59/25.62	c ---[341565]---> BDD-cost:  379
25.59/25.63	c ---[341564]---> BDD-cost:  379
25.59/25.64	c ---[341563]---> BDD-cost:  379
25.59/25.65	c ---[341562]---> BDD-cost:  379
25.59/25.65	c ---[341561]---> BDD-cost:  379
25.59/25.66	c ---[341560]---> BDD-cost:  379
25.59/25.67	c ---[341559]---> BDD-cost:  379
25.59/25.68	c ---[341558]---> BDD-cost:  379
25.59/25.69	c ---[341557]---> BDD-cost:  379
25.69/25.70	c ---[341556]---> BDD-cost:  379
25.69/25.71	c ---[341555]---> BDD-cost:  379
25.69/25.72	c ---[341554]---> BDD-cost:  379
25.69/25.73	c ---[341553]---> BDD-cost:  379
25.69/25.73	c ---[341552]---> BDD-cost:  379
25.69/25.74	c ---[341551]---> BDD-cost:  379
25.69/25.75	c ---[341550]---> BDD-cost:  379
25.69/25.76	c ---[341549]---> BDD-cost:  379
25.69/25.77	c ---[341548]---> BDD-cost:  379
25.69/25.78	c ---[341547]---> BDD-cost:  379
25.69/25.79	c ---[341546]---> BDD-cost:  379
25.79/25.80	c ---[341545]---> BDD-cost:  379
25.79/25.81	c ---[341544]---> BDD-cost:  379
25.79/25.81	c ---[341543]---> BDD-cost:  379
25.79/25.82	c ---[341542]---> BDD-cost:  379
25.79/25.83	c ---[341541]---> BDD-cost:  379
25.79/25.84	c ---[341540]---> BDD-cost:  379
25.79/25.85	c ---[341539]---> BDD-cost:  379
25.79/25.86	c ---[341538]---> BDD-cost:  379
25.79/25.87	c ---[341537]---> BDD-cost:  379
25.79/25.88	c ---[341536]---> BDD-cost:  379
25.79/25.89	c ---[341535]---> BDD-cost:  379
25.79/25.89	c ---[341534]---> BDD-cost:  379
25.89/25.90	c ---[341533]---> BDD-cost:  379
25.89/25.91	c ---[341532]---> BDD-cost:  379
25.89/25.92	c ---[341531]---> BDD-cost:  379
25.89/25.93	c ---[341530]---> BDD-cost:  379
25.89/25.94	c ---[341529]---> BDD-cost:  379
25.89/25.95	c ---[341528]---> BDD-cost:  379
25.89/25.96	c ---[341527]---> BDD-cost:  379
25.89/25.97	c ---[341526]---> BDD-cost:  379
25.89/25.98	c ---[341525]---> BDD-cost:  379
25.89/25.98	c ---[341524]---> BDD-cost:  379
25.89/25.99	c ---[341523]---> BDD-cost:  379
25.99/26.00	c ---[341522]---> BDD-cost:  379
25.99/26.01	c ---[341521]---> BDD-cost:  379
25.99/26.02	c ---[341520]---> BDD-cost:  379
25.99/26.03	c ---[341519]---> BDD-cost:  379
25.99/26.04	c ---[341518]---> BDD-cost:  379
25.99/26.05	c ---[341517]---> BDD-cost:  379
25.99/26.06	c ---[341516]---> BDD-cost:  379
25.99/26.06	c ---[341515]---> BDD-cost:  379
25.99/26.07	c ---[341514]---> BDD-cost:  379
25.99/26.08	c ---[341513]---> BDD-cost:  379
25.99/26.09	c ---[341512]---> BDD-cost:  379
26.09/26.10	c ---[341511]---> BDD-cost:  379
26.09/26.11	c ---[341510]---> BDD-cost:  379
26.09/26.12	c ---[341509]---> BDD-cost:  379
26.09/26.13	c ---[341508]---> BDD-cost:  379
26.09/26.14	c ---[341507]---> BDD-cost:  379
26.09/26.15	c ---[341506]---> BDD-cost:  379
26.09/26.15	c ---[341505]---> BDD-cost:  379
26.09/26.16	c ---[341504]---> BDD-cost:  379
26.09/26.17	c ---[341503]---> BDD-cost:  379
26.09/26.18	c ---[341502]---> BDD-cost:  379
26.09/26.19	c ---[341501]---> BDD-cost:  379
26.19/26.20	c ---[341500]---> BDD-cost:  379
26.19/26.21	c ---[341499]---> BDD-cost:  379
26.19/26.22	c ---[341498]---> BDD-cost:  379
26.19/26.23	c ---[341497]---> BDD-cost:  379
26.19/26.23	c ---[341496]---> BDD-cost:  379
26.19/26.24	c ---[341495]---> BDD-cost:  379
26.19/26.25	c ---[341494]---> BDD-cost:  379
26.19/26.26	c ---[341493]---> BDD-cost:  379
26.19/26.27	c ---[341492]---> BDD-cost:  379
26.19/26.28	c ---[341491]---> BDD-cost:  379
26.19/26.29	c ---[341490]---> BDD-cost:  379
26.29/26.30	c ---[341489]---> BDD-cost:  379
26.29/26.31	c ---[341488]---> BDD-cost:  379
26.29/26.31	c ---[341487]---> BDD-cost:  379
26.29/26.32	c ---[341486]---> BDD-cost:  379
26.29/26.33	c ---[341485]---> BDD-cost:  379
26.29/26.34	c ---[341484]---> BDD-cost:  379
26.29/26.35	c ---[341483]---> BDD-cost:  379
26.29/26.36	c ---[341482]---> BDD-cost:  379
26.29/26.37	c ---[341481]---> BDD-cost:  379
26.29/26.38	c ---[341480]---> BDD-cost:  379
26.29/26.39	c ---[341479]---> BDD-cost:  379
26.29/26.40	c ---[341478]---> BDD-cost:  379
26.39/26.40	c ---[341477]---> BDD-cost:  379
26.39/26.41	c ---[341476]---> BDD-cost:  379
26.39/26.42	c ---[341475]---> BDD-cost:  379
26.39/26.43	c ---[341474]---> BDD-cost:  379
26.39/26.44	c ---[341473]---> BDD-cost:  379
26.39/26.45	c ---[341472]---> BDD-cost:  379
26.39/26.46	c ---[341471]---> BDD-cost:  379
26.39/26.47	c ---[341470]---> BDD-cost:  379
26.39/26.48	c ---[341469]---> BDD-cost:  379
26.39/26.48	c ---[341468]---> BDD-cost:  379
26.39/26.49	c ---[341467]---> BDD-cost:  379
26.49/26.50	c ---[341466]---> BDD-cost:  379
26.49/26.51	c ---[341465]---> BDD-cost:  379
26.49/26.52	c ---[341464]---> BDD-cost:  379
26.49/26.53	c ---[341463]---> BDD-cost:  379
26.49/26.54	c ---[341462]---> BDD-cost:  379
26.49/26.55	c ---[341461]---> BDD-cost:  379
26.49/26.56	c ---[341460]---> BDD-cost:  379
26.49/26.57	c ---[341459]---> BDD-cost:  379
26.49/26.57	c ---[341458]---> BDD-cost:  379
26.49/26.58	c ---[341457]---> BDD-cost:  379
26.49/26.59	c ---[341456]---> BDD-cost:  379
26.59/26.60	c ---[341455]---> BDD-cost:  379
26.59/26.61	c ---[341454]---> BDD-cost:  379
26.59/26.62	c ---[341453]---> BDD-cost:  379
26.59/26.63	c ---[341452]---> BDD-cost:  379
26.59/26.64	c ---[341451]---> BDD-cost:  379
26.59/26.65	c ---[341450]---> BDD-cost:  379
26.59/26.65	c ---[341449]---> BDD-cost:  379
26.59/26.66	c ---[341448]---> BDD-cost:  379
26.59/26.67	c ---[341447]---> BDD-cost:  379
26.59/26.68	c ---[341446]---> BDD-cost:  379
26.59/26.69	c ---[341445]---> BDD-cost:  379
26.69/26.70	c ---[341444]---> BDD-cost:  379
26.69/26.71	c ---[341443]---> BDD-cost:  379
26.69/26.72	c ---[341442]---> BDD-cost:  379
26.69/26.73	c ---[341441]---> BDD-cost:  379
26.69/26.74	c ---[341440]---> BDD-cost:  379
26.69/26.74	c ---[341439]---> BDD-cost:  379
26.69/26.75	c ---[341438]---> BDD-cost:  379
26.69/26.76	c ---[341437]---> BDD-cost:  379
26.69/26.77	c ---[341436]---> BDD-cost:  379
26.69/26.78	c ---[341435]---> BDD-cost:  379
26.69/26.79	c ---[341434]---> BDD-cost:  379
26.79/26.80	c ---[341433]---> BDD-cost:  379
26.79/26.81	c ---[341432]---> BDD-cost:  379
26.79/26.82	c ---[341431]---> BDD-cost:  379
26.79/26.82	c ---[341430]---> BDD-cost:  379
26.79/26.83	c ---[341429]---> BDD-cost:  379
26.79/26.84	c ---[341428]---> BDD-cost:  379
26.79/26.85	c ---[341427]---> BDD-cost:  379
26.79/26.86	c ---[341426]---> BDD-cost:  379
26.79/26.87	c ---[341425]---> BDD-cost:  379
26.79/26.88	c ---[341424]---> BDD-cost:  379
26.79/26.89	c ---[341423]---> BDD-cost:  379
26.89/26.90	c ---[341422]---> BDD-cost:  379
26.89/26.90	c ---[341421]---> BDD-cost:  379
26.89/26.91	c ---[341420]---> BDD-cost:  379
26.89/26.92	c ---[341419]---> BDD-cost:  379
26.89/26.93	c ---[341418]---> BDD-cost:  379
26.89/26.94	c ---[341417]---> BDD-cost:  379
26.89/26.95	c ---[341416]---> BDD-cost:  379
26.89/26.96	c ---[341415]---> BDD-cost:  379
26.89/26.97	c ---[341414]---> BDD-cost:  379
26.89/26.98	c ---[341413]---> BDD-cost:  379
26.89/26.99	c ---[341412]---> BDD-cost:  379
26.89/26.99	c ---[341411]---> BDD-cost:  379
26.99/27.00	c ---[341410]---> BDD-cost:  379
26.99/27.01	c ---[341409]---> BDD-cost:  379
26.99/27.02	c ---[341408]---> BDD-cost:  379
26.99/27.03	c ---[341407]---> BDD-cost:  379
26.99/27.04	c ---[341406]---> BDD-cost:  379
26.99/27.05	c ---[341405]---> BDD-cost:  379
26.99/27.06	c ---[341404]---> BDD-cost:  379
26.99/27.07	c ---[341403]---> BDD-cost:  379
26.99/27.07	c ---[341402]---> BDD-cost:  379
26.99/27.08	c ---[341401]---> BDD-cost:  379
26.99/27.09	c ---[341400]---> BDD-cost:  379
27.09/27.10	c ---[341399]---> BDD-cost:  379
27.09/27.11	c ---[341398]---> BDD-cost:  379
27.09/27.12	c ---[341397]---> BDD-cost:  379
27.09/27.13	c ---[341396]---> BDD-cost:  379
27.09/27.14	c ---[341395]---> BDD-cost:  379
27.09/27.15	c ---[341394]---> BDD-cost:  379
27.09/27.15	c ---[341393]---> BDD-cost:  379
27.09/27.16	c ---[341392]---> BDD-cost:  379
27.09/27.17	c ---[341391]---> BDD-cost:  379
27.09/27.18	c ---[341390]---> BDD-cost:  379
27.09/27.19	c ---[341389]---> BDD-cost:  379
27.19/27.20	c ---[341388]---> BDD-cost:  379
27.19/27.21	c ---[341387]---> BDD-cost:  379
27.19/27.22	c ---[341386]---> BDD-cost:  379
27.19/27.23	c ---[341385]---> BDD-cost:  379
27.19/27.24	c ---[341384]---> BDD-cost:  379
27.19/27.24	c ---[341383]---> BDD-cost:  379
27.19/27.25	c ---[341382]---> BDD-cost:  379
27.19/27.26	c ---[341381]---> BDD-cost:  379
27.19/27.27	c ---[341380]---> BDD-cost:  379
27.19/27.28	c ---[341379]---> BDD-cost:  379
27.19/27.29	c ---[341378]---> BDD-cost:  379
27.29/27.30	c ---[341377]---> BDD-cost:  379
27.29/27.31	c ---[341376]---> BDD-cost:  379
27.29/27.32	c ---[341375]---> BDD-cost:  379
27.29/27.32	c ---[341374]---> BDD-cost:  379
27.29/27.33	c ---[341373]---> BDD-cost:  379
27.29/27.34	c ---[341372]---> BDD-cost:  379
27.29/27.35	c ---[341371]---> BDD-cost:  379
27.29/27.36	c ---[341370]---> BDD-cost:  379
27.29/27.37	c ---[341369]---> BDD-cost:  379
27.29/27.38	c ---[341368]---> BDD-cost:  379
27.29/27.39	c ---[341367]---> BDD-cost:  379
27.39/27.40	c ---[341366]---> BDD-cost:  379
27.39/27.40	c ---[341365]---> BDD-cost:  379
27.39/27.41	c ---[341364]---> BDD-cost:  379
27.39/27.42	c ---[341363]---> BDD-cost:  379
27.39/27.43	c ---[341362]---> BDD-cost:  379
27.39/27.44	c ---[341361]---> BDD-cost:  379
27.39/27.45	c ---[341360]---> BDD-cost:  379
27.39/27.46	c ---[341359]---> BDD-cost:  379
27.39/27.47	c ---[341358]---> BDD-cost:  379
27.39/27.48	c ---[341357]---> BDD-cost:  379
27.39/27.48	c ---[341356]---> BDD-cost:  379
27.39/27.49	c ---[341355]---> BDD-cost:  379
27.49/27.50	c ---[341354]---> BDD-cost:  379
27.49/27.51	c ---[341353]---> BDD-cost:  379
27.49/27.52	c ---[341352]---> BDD-cost:  379
27.49/27.53	c ---[341351]---> BDD-cost:  379
27.49/27.54	c ---[341350]---> BDD-cost:  379
27.49/27.55	c ---[341349]---> BDD-cost:  379
27.49/27.56	c ---[341348]---> BDD-cost:  379
27.49/27.57	c ---[341347]---> BDD-cost:  379
27.49/27.57	c ---[341346]---> BDD-cost:  379
27.49/27.58	c ---[341345]---> BDD-cost:  379
27.49/27.59	c ---[341344]---> BDD-cost:  379
27.49/27.60	c ---[341343]---> BDD-cost:  379
27.59/27.61	c ---[341342]---> BDD-cost:  379
27.59/27.62	c ---[341341]---> BDD-cost:  379
27.59/27.63	c ---[341340]---> BDD-cost:  379
27.59/27.64	c ---[341339]---> BDD-cost:  379
27.59/27.65	c ---[341338]---> BDD-cost:  379
27.59/27.65	c ---[341337]---> BDD-cost:  379
27.59/27.66	c ---[341336]---> BDD-cost:  379
27.59/27.67	c ---[341335]---> BDD-cost:  379
27.59/27.68	c ---[341334]---> BDD-cost:  379
27.59/27.69	c ---[341333]---> BDD-cost:  379
27.69/27.70	c ---[341332]---> BDD-cost:  379
27.69/27.71	c ---[341331]---> BDD-cost:  379
27.69/27.72	c ---[341330]---> BDD-cost:  379
27.69/27.73	c ---[341329]---> BDD-cost:  379
27.69/27.74	c ---[341328]---> BDD-cost:  379
27.69/27.74	c ---[341327]---> BDD-cost:  379
27.69/27.75	c ---[341326]---> BDD-cost:  379
27.69/27.76	c ---[341325]---> BDD-cost:  379
27.69/27.77	c ---[341324]---> BDD-cost:  379
27.69/27.78	c ---[341323]---> BDD-cost:  379
27.69/27.79	c ---[341322]---> BDD-cost:  379
27.79/27.80	c ---[341321]---> BDD-cost:  379
27.79/27.81	c ---[341320]---> BDD-cost:  379
27.79/27.82	c ---[341319]---> BDD-cost:  379
27.79/27.83	c ---[341318]---> BDD-cost:  379
27.79/27.83	c ---[341317]---> BDD-cost:  379
27.79/27.84	c ---[341316]---> BDD-cost:  379
27.79/27.85	c ---[341315]---> BDD-cost:  379
27.79/27.86	c ---[341314]---> BDD-cost:  379
27.79/27.87	c ---[341313]---> BDD-cost:  379
27.79/27.88	c ---[341312]---> BDD-cost:  379
27.79/27.89	c ---[341311]---> BDD-cost:  379
27.89/27.90	c ---[341310]---> BDD-cost:  379
27.89/27.91	c ---[341309]---> BDD-cost:  379
27.89/27.91	c ---[341308]---> BDD-cost:  379
27.89/27.92	c ---[341307]---> BDD-cost:  379
27.89/27.93	c ---[341306]---> BDD-cost:  379
27.89/27.94	c ---[341305]---> BDD-cost:  379
27.89/27.95	c ---[341304]---> BDD-cost:  379
27.89/27.96	c ---[341303]---> BDD-cost:  379
27.89/27.97	c ---[341302]---> BDD-cost:  379
27.89/27.98	c ---[341301]---> BDD-cost:  379
27.89/27.99	c ---[341300]---> BDD-cost:  379
27.89/28.00	c ---[341299]---> BDD-cost:  379
27.99/28.00	c ---[341298]---> BDD-cost:  379
27.99/28.01	c ---[341297]---> BDD-cost:  379
27.99/28.02	c ---[341296]---> BDD-cost:  379
27.99/28.03	c ---[341295]---> BDD-cost:  379
27.99/28.04	c ---[341294]---> BDD-cost:  379
27.99/28.05	c ---[341293]---> BDD-cost:  379
27.99/28.06	c ---[341292]---> BDD-cost:  379
27.99/28.07	c ---[341291]---> BDD-cost:  379
27.99/28.08	c ---[341290]---> BDD-cost:  379
27.99/28.08	c ---[341289]---> BDD-cost:  379
27.99/28.09	c ---[341288]---> BDD-cost:  379
28.09/28.10	c ---[341287]---> BDD-cost:  379
28.09/28.11	c ---[341286]---> BDD-cost:  379
28.09/28.12	c ---[341285]---> BDD-cost:  379
28.09/28.13	c ---[341284]---> BDD-cost:  379
28.09/28.14	c ---[341283]---> BDD-cost:  379
28.09/28.15	c ---[341282]---> BDD-cost:  379
28.09/28.16	c ---[341281]---> BDD-cost:  379
28.09/28.17	c ---[341280]---> BDD-cost:  379
28.09/28.17	c ---[341279]---> BDD-cost:  379
28.09/28.18	c ---[341278]---> BDD-cost:  379
28.09/28.19	c ---[341277]---> BDD-cost:  379
28.19/28.20	c ---[341276]---> BDD-cost:  379
28.19/28.21	c ---[341275]---> BDD-cost:  379
28.19/28.22	c ---[341274]---> BDD-cost:  379
28.19/28.23	c ---[341273]---> BDD-cost:  379
28.19/28.24	c ---[341272]---> BDD-cost:  379
28.19/28.25	c ---[341271]---> BDD-cost:  379
28.19/28.25	c ---[341270]---> BDD-cost:  379
28.19/28.26	c ---[341269]---> BDD-cost:  379
28.19/28.27	c ---[341268]---> BDD-cost:  379
28.19/28.28	c ---[341267]---> BDD-cost:  379
28.19/28.29	c ---[341266]---> BDD-cost:  379
28.29/28.30	c ---[341265]---> BDD-cost:  379
28.29/28.31	c ---[341264]---> BDD-cost:  379
28.29/28.32	c ---[341263]---> BDD-cost:  379
28.29/28.33	c ---[341262]---> BDD-cost:  379
28.29/28.33	c ---[341261]---> BDD-cost:  379
28.29/28.34	c ---[341260]---> BDD-cost:  379
28.29/28.35	c ---[341259]---> BDD-cost:  379
28.29/28.36	c ---[341258]---> BDD-cost:  379
28.29/28.37	c ---[341257]---> BDD-cost:  379
28.29/28.38	c ---[341256]---> BDD-cost:  379
28.29/28.39	c ---[341255]---> BDD-cost:  379
28.39/28.40	c ---[341254]---> BDD-cost:  379
28.39/28.41	c ---[341253]---> BDD-cost:  379
28.39/28.41	c ---[341252]---> BDD-cost:  379
28.39/28.42	c ---[341251]---> BDD-cost:  379
28.39/28.43	c ---[341250]---> BDD-cost:  379
28.39/28.44	c ---[341249]---> BDD-cost:  379
28.39/28.45	c ---[341248]---> BDD-cost:  379
28.39/28.46	c ---[341247]---> BDD-cost:  379
28.39/28.47	c ---[341246]---> BDD-cost:  379
28.39/28.48	c ---[341245]---> BDD-cost:  379
28.39/28.49	c ---[341244]---> BDD-cost:  379
28.39/28.50	c ---[341243]---> BDD-cost:  379
28.49/28.50	c ---[341242]---> BDD-cost:  379
28.49/28.51	c ---[341241]---> BDD-cost:  379
28.49/28.52	c ---[341240]---> BDD-cost:  379
28.49/28.53	c ---[341239]---> BDD-cost:  379
28.49/28.54	c ---[341238]---> BDD-cost:  379
28.49/28.55	c ---[341237]---> BDD-cost:  379
28.49/28.56	c ---[341236]---> BDD-cost:  379
28.49/28.57	c ---[341235]---> BDD-cost:  379
28.49/28.58	c ---[341234]---> BDD-cost:  379
28.49/28.58	c ---[341233]---> BDD-cost:  379
28.49/28.59	c ---[341232]---> BDD-cost:  379
28.59/28.60	c ---[341231]---> BDD-cost:  379
28.59/28.61	c ---[341230]---> BDD-cost:  379
28.59/28.62	c ---[341229]---> BDD-cost:  379
28.59/28.63	c ---[341228]---> BDD-cost:  379
28.59/28.64	c ---[341227]---> BDD-cost:  379
28.59/28.65	c ---[341226]---> BDD-cost:  379
28.59/28.66	c ---[341225]---> BDD-cost:  379
28.59/28.67	c ---[341224]---> BDD-cost:  379
28.59/28.67	c ---[341223]---> BDD-cost:  379
28.59/28.68	c ---[341222]---> BDD-cost:  379
28.59/28.69	c ---[341221]---> BDD-cost:  379
28.59/28.70	c ---[341220]---> BDD-cost:  379
28.69/28.71	c ---[341219]---> BDD-cost:  379
28.69/28.72	c ---[341218]---> BDD-cost:  379
28.69/28.73	c ---[341217]---> BDD-cost:  379
28.69/28.74	c ---[341216]---> BDD-cost:  379
28.69/28.75	c ---[341215]---> BDD-cost:  379
28.69/28.75	c ---[341214]---> BDD-cost:  379
28.69/28.76	c ---[341213]---> BDD-cost:  379
28.69/28.77	c ---[341212]---> BDD-cost:  379
28.69/28.78	c ---[341211]---> BDD-cost:  379
28.69/28.79	c ---[341210]---> BDD-cost:  379
28.79/28.80	c ---[341209]---> BDD-cost:  379
28.79/28.81	c ---[341208]---> BDD-cost:  379
28.79/28.82	c ---[341207]---> BDD-cost:  379
28.79/28.83	c ---[341206]---> BDD-cost:  379
28.79/28.84	c ---[341205]---> BDD-cost:  379
28.79/28.84	c ---[341204]---> BDD-cost:  379
28.79/28.85	c ---[341203]---> BDD-cost:  379
28.79/28.86	c ---[341202]---> BDD-cost:  379
28.79/28.87	c ---[341201]---> BDD-cost:  379
28.79/28.88	c ---[341200]---> BDD-cost:  379
28.79/28.89	c ---[341199]---> BDD-cost:  379
28.89/28.90	c ---[341198]---> BDD-cost:  379
28.89/28.91	c ---[341197]---> BDD-cost:  379
28.89/28.92	c ---[341196]---> BDD-cost:  379
28.89/28.92	c ---[341195]---> BDD-cost:  379
28.89/28.93	c ---[341194]---> BDD-cost:  379
28.89/28.94	c ---[341193]---> BDD-cost:  379
28.89/28.95	c ---[341192]---> BDD-cost:  379
28.89/28.96	c ---[341191]---> BDD-cost:  379
28.89/28.97	c ---[341190]---> BDD-cost:  379
28.89/28.98	c ---[341189]---> BDD-cost:  379
28.89/28.99	c ---[341188]---> BDD-cost:  379
28.99/29.00	c ---[341187]---> BDD-cost:  379
28.99/29.01	c ---[341186]---> BDD-cost:  379
28.99/29.01	c ---[341185]---> BDD-cost:  379
28.99/29.02	c ---[341184]---> BDD-cost:  379
28.99/29.03	c ---[341183]---> BDD-cost:  379
28.99/29.04	c ---[341182]---> BDD-cost:  379
28.99/29.05	c ---[341181]---> BDD-cost:  379
28.99/29.06	c ---[341180]---> BDD-cost:  379
28.99/29.07	c ---[341179]---> BDD-cost:  379
28.99/29.08	c ---[341178]---> BDD-cost:  379
28.99/29.09	c ---[341177]---> BDD-cost:  379
28.99/29.09	c ---[341176]---> BDD-cost:  379
29.08/29.10	c ---[341175]---> BDD-cost:  379
29.08/29.11	c ---[341174]---> BDD-cost:  379
29.08/29.12	c ---[341173]---> BDD-cost:  379
29.08/29.13	c ---[341172]---> BDD-cost:  379
29.08/29.14	c ---[341171]---> BDD-cost:  379
29.08/29.15	c ---[341170]---> BDD-cost:  379
29.08/29.16	c ---[341169]---> BDD-cost:  379
29.08/29.17	c ---[341168]---> BDD-cost:  379
29.08/29.18	c ---[341167]---> BDD-cost:  379
29.08/29.18	c ---[341166]---> BDD-cost:  379
29.08/29.19	c ---[341165]---> BDD-cost:  379
29.18/29.20	c ---[341164]---> BDD-cost:  379
29.18/29.21	c ---[341163]---> BDD-cost:  379
29.18/29.22	c ---[341162]---> BDD-cost:  379
29.18/29.23	c ---[341161]---> BDD-cost:  379
29.18/29.24	c ---[341160]---> BDD-cost:  379
29.18/29.25	c ---[341159]---> BDD-cost:  379
29.18/29.26	c ---[341158]---> BDD-cost:  379
29.18/29.27	c ---[341157]---> BDD-cost:  379
29.18/29.27	c ---[341156]---> BDD-cost:  379
29.18/29.28	c ---[341155]---> BDD-cost:  379
29.18/29.29	c ---[341154]---> BDD-cost:  379
29.28/29.30	c ---[341153]---> BDD-cost:  379
29.28/29.31	c ---[341152]---> BDD-cost:  379
29.28/29.32	c ---[341151]---> BDD-cost:  379
29.28/29.33	c ---[341150]---> BDD-cost:  379
29.28/29.34	c ---[341149]---> BDD-cost:  379
29.28/29.35	c ---[341148]---> BDD-cost:  379
29.28/29.35	c ---[341147]---> BDD-cost:  379
29.28/29.36	c ---[341146]---> BDD-cost:  379
29.28/29.37	c ---[341145]---> BDD-cost:  379
29.28/29.38	c ---[341144]---> BDD-cost:  379
29.28/29.39	c ---[341143]---> BDD-cost:  379
29.38/29.40	c ---[341142]---> BDD-cost:  379
29.38/29.41	c ---[341141]---> BDD-cost:  379
29.38/29.42	c ---[341140]---> BDD-cost:  379
29.38/29.43	c ---[341139]---> BDD-cost:  379
29.38/29.44	c ---[341138]---> BDD-cost:  379
29.38/29.44	c ---[341137]---> BDD-cost:  379
29.38/29.45	c ---[341136]---> BDD-cost:  379
29.38/29.46	c ---[341135]---> BDD-cost:  379
29.38/29.47	c ---[341134]---> BDD-cost:  379
29.38/29.48	c ---[341133]---> BDD-cost:  379
29.38/29.49	c ---[341132]---> BDD-cost:  379
29.48/29.50	c ---[341131]---> BDD-cost:  379
29.48/29.51	c ---[341130]---> BDD-cost:  379
29.48/29.52	c ---[341129]---> BDD-cost:  379
29.48/29.53	c ---[341128]---> BDD-cost:  379
29.48/29.53	c ---[341127]---> BDD-cost:  379
29.48/29.54	c ---[341126]---> BDD-cost:  379
29.48/29.55	c ---[341125]---> BDD-cost:  379
29.48/29.56	c ---[341124]---> BDD-cost:  379
29.48/29.57	c ---[341123]---> BDD-cost:  379
29.48/29.58	c ---[341122]---> BDD-cost:  379
29.48/29.59	c ---[341121]---> BDD-cost:  379
29.58/29.60	c ---[341120]---> BDD-cost:  379
29.58/29.61	c ---[341119]---> BDD-cost:  379
29.58/29.61	c ---[341118]---> BDD-cost:  379
29.58/29.62	c ---[341117]---> BDD-cost:  379
29.58/29.63	c ---[341116]---> BDD-cost:  379
29.58/29.64	c ---[341115]---> BDD-cost:  379
29.58/29.65	c ---[341114]---> BDD-cost:  379
29.58/29.66	c ---[341113]---> BDD-cost:  379
29.58/29.67	c ---[341112]---> BDD-cost:  379
29.58/29.68	c ---[341111]---> BDD-cost:  379
29.58/29.69	c ---[341110]---> BDD-cost:  379
29.58/29.69	c ---[341109]---> BDD-cost:  379
29.69/29.70	c ---[341108]---> BDD-cost:  379
29.69/29.71	c ---[341107]---> BDD-cost:  379
29.69/29.72	c ---[341106]---> BDD-cost:  379
29.69/29.73	c ---[341105]---> BDD-cost:  379
29.69/29.74	c ---[341104]---> BDD-cost:  379
29.69/29.75	c ---[341103]---> BDD-cost:  379
29.69/29.76	c ---[341102]---> BDD-cost:  379
29.69/29.77	c ---[341101]---> BDD-cost:  379
29.69/29.78	c ---[341100]---> BDD-cost:  379
29.69/29.78	c ---[341099]---> BDD-cost:  379
29.69/29.79	c ---[341098]---> BDD-cost:  379
29.79/29.80	c ---[341097]---> BDD-cost:  379
29.79/29.81	c ---[341096]---> BDD-cost:  379
29.79/29.82	c ---[341095]---> BDD-cost:  379
29.79/29.83	c ---[341094]---> BDD-cost:  379
29.79/29.84	c ---[341093]---> BDD-cost:  379
29.79/29.85	c ---[341092]---> BDD-cost:  379
29.79/29.86	c ---[341091]---> BDD-cost:  379
29.79/29.86	c ---[341090]---> BDD-cost:  379
29.79/29.87	c ---[341089]---> BDD-cost:  379
29.79/29.88	c ---[341088]---> BDD-cost:  379
29.79/29.89	c ---[341087]---> BDD-cost:  379
29.88/29.90	c ---[341086]---> BDD-cost:  379
29.88/29.91	c ---[341085]---> BDD-cost:  379
29.88/29.92	c ---[341084]---> BDD-cost:  379
29.88/29.93	c ---[341083]---> BDD-cost:  379
29.88/29.94	c ---[341082]---> BDD-cost:  379
29.88/29.94	c ---[341081]---> BDD-cost:  379
29.88/29.95	c ---[341080]---> BDD-cost:  379
29.88/29.96	c ---[341079]---> BDD-cost:  379
29.88/29.97	c ---[341078]---> BDD-cost:  379
29.88/29.98	c ---[341077]---> BDD-cost:  379
29.88/29.99	c ---[341076]---> BDD-cost:  379
29.98/30.00	c ---[341075]---> BDD-cost:  379
29.98/30.01	c ---[341074]---> BDD-cost:  379
29.98/30.02	c ---[341073]---> BDD-cost:  379
29.98/30.02	c ---[341072]---> BDD-cost:  379
29.98/30.03	c ---[341071]---> BDD-cost:  379
29.98/30.04	c ---[341070]---> BDD-cost:  379
29.98/30.05	c ---[341069]---> BDD-cost:  379
29.98/30.06	c ---[341068]---> BDD-cost:  379
29.98/30.07	c ---[341067]---> BDD-cost:  379
29.98/30.08	c ---[341066]---> BDD-cost:  379
29.98/30.09	c ---[341065]---> BDD-cost:  379
30.08/30.10	c ---[341064]---> BDD-cost:  379
30.08/30.11	c ---[341063]---> BDD-cost:  379
30.08/30.11	c ---[341062]---> BDD-cost:  379
30.08/30.12	c ---[341061]---> BDD-cost:  379
30.08/30.13	c ---[341060]---> BDD-cost:  379
30.08/30.14	c ---[341059]---> BDD-cost:  379
30.08/30.15	c ---[341058]---> BDD-cost:  379
30.08/30.16	c ---[341057]---> BDD-cost:  379
30.08/30.17	c ---[341056]---> BDD-cost:  379
30.08/30.18	c ---[341055]---> BDD-cost:  379
30.08/30.19	c ---[341054]---> BDD-cost:  379
30.08/30.19	c ---[341053]---> BDD-cost:  379
30.18/30.20	c ---[341052]---> BDD-cost:  379
30.18/30.21	c ---[341051]---> BDD-cost:  379
30.18/30.22	c ---[341050]---> BDD-cost:  379
30.18/30.23	c ---[341049]---> BDD-cost:  379
30.18/30.24	c ---[341048]---> BDD-cost:  379
30.18/30.25	c ---[341047]---> BDD-cost:  379
30.18/30.26	c ---[341046]---> BDD-cost:  379
30.18/30.27	c ---[341045]---> BDD-cost:  379
30.18/30.28	c ---[341044]---> BDD-cost:  379
30.18/30.28	c ---[341043]---> BDD-cost:  379
30.18/30.29	c ---[341042]---> BDD-cost:  379
30.28/30.30	c ---[341041]---> BDD-cost:  379
30.28/30.31	c ---[341040]---> BDD-cost:  379
30.28/30.32	c ---[341039]---> BDD-cost:  379
30.28/30.33	c ---[341038]---> BDD-cost:  379
30.28/30.34	c ---[341037]---> BDD-cost:  379
30.28/30.35	c ---[341036]---> BDD-cost:  379
30.28/30.36	c ---[341035]---> BDD-cost:  379
30.28/30.36	c ---[341034]---> BDD-cost:  379
30.28/30.37	c ---[341033]---> BDD-cost:  379
30.28/30.38	c ---[341032]---> BDD-cost:  379
30.28/30.39	c ---[341031]---> BDD-cost:  379
30.38/30.40	c ---[341030]---> BDD-cost:  379
30.38/30.41	c ---[341029]---> BDD-cost:  379
30.38/30.42	c ---[341028]---> BDD-cost:  379
30.38/30.43	c ---[341027]---> BDD-cost:  379
30.38/30.44	c ---[341026]---> BDD-cost:  379
30.38/30.45	c ---[341025]---> BDD-cost:  379
30.38/30.45	c ---[341024]---> BDD-cost:  379
30.38/30.46	c ---[341023]---> BDD-cost:  379
30.38/30.47	c ---[341022]---> BDD-cost:  379
30.38/30.48	c ---[341021]---> BDD-cost:  379
30.38/30.49	c ---[341020]---> BDD-cost:  379
30.48/30.50	c ---[341019]---> BDD-cost:  379
30.48/30.51	c ---[341018]---> BDD-cost:  379
30.48/30.52	c ---[341017]---> BDD-cost:  379
30.48/30.53	c ---[341016]---> BDD-cost:  379
30.48/30.53	c ---[341015]---> BDD-cost:  379
30.48/30.54	c ---[341014]---> BDD-cost:  379
30.48/30.55	c ---[341013]---> BDD-cost:  379
30.48/30.56	c ---[341012]---> BDD-cost:  379
30.48/30.57	c ---[341011]---> BDD-cost:  379
30.48/30.58	c ---[341010]---> BDD-cost:  379
30.48/30.59	c ---[341009]---> BDD-cost:  379
30.58/30.60	c ---[341008]---> BDD-cost:  379
30.58/30.61	c ---[341007]---> BDD-cost:  379
30.58/30.61	c ---[341006]---> BDD-cost:  379
30.58/30.62	c ---[341005]---> BDD-cost:  379
30.58/30.63	c ---[341004]---> BDD-cost:  379
30.58/30.64	c ---[341003]---> BDD-cost:  379
30.58/30.65	c ---[341002]---> BDD-cost:  379
30.58/30.66	c ---[341001]---> BDD-cost:  379
30.58/30.67	c ---[341000]---> BDD-cost:  379
30.58/30.68	c ---[340999]---> BDD-cost:  379
30.58/30.69	c ---[340998]---> BDD-cost:  379
30.58/30.70	c ---[340997]---> BDD-cost:  379
30.68/30.70	c ---[340996]---> BDD-cost:  379
30.68/30.71	c ---[340995]---> BDD-cost:  379
30.68/30.72	c ---[340994]---> BDD-cost:  379
30.68/30.73	c ---[340993]---> BDD-cost:  379
30.68/30.74	c ---[340992]---> BDD-cost:  379
30.68/30.75	c ---[340991]---> BDD-cost:  379
30.68/30.76	c ---[340990]---> BDD-cost:  379
30.68/30.77	c ---[340989]---> BDD-cost:  379
30.68/30.78	c ---[340988]---> BDD-cost:  379
30.68/30.78	c ---[340987]---> BDD-cost:  379
30.68/30.79	c ---[340986]---> BDD-cost:  379
30.79/30.80	c ---[340985]---> BDD-cost:  379
30.79/30.81	c ---[340984]---> BDD-cost:  379
30.79/30.82	c ---[340983]---> BDD-cost:  379
30.79/30.83	c ---[340982]---> BDD-cost:  379
30.79/30.84	c ---[340981]---> BDD-cost:  379
30.79/30.85	c ---[340980]---> BDD-cost:  379
30.79/30.86	c ---[340979]---> BDD-cost:  379
30.79/30.86	c ---[340978]---> BDD-cost:  379
30.79/30.87	c ---[340977]---> BDD-cost:  379
30.79/30.88	c ---[340976]---> BDD-cost:  379
30.79/30.89	c ---[340975]---> BDD-cost:  379
30.79/30.90	c ---[340974]---> BDD-cost:  379
30.89/30.91	c ---[340973]---> BDD-cost:  379
30.89/30.92	c ---[340972]---> BDD-cost:  379
30.89/30.93	c ---[340971]---> BDD-cost:  379
30.89/30.94	c ---[340970]---> BDD-cost:  379
30.89/30.95	c ---[340969]---> BDD-cost:  379
30.89/30.95	c ---[340968]---> BDD-cost:  379
30.89/30.96	c ---[340967]---> BDD-cost:  379
30.89/30.97	c ---[340966]---> BDD-cost:  379
30.89/30.98	c ---[340965]---> BDD-cost:  379
30.89/30.99	c ---[340964]---> BDD-cost:  379
30.98/31.00	c ---[340963]---> BDD-cost:  379
30.98/31.01	c ---[340962]---> BDD-cost:  379
30.98/31.02	c ---[340961]---> BDD-cost:  379
30.98/31.03	c ---[340960]---> BDD-cost:  379
30.98/31.03	c ---[340959]---> BDD-cost:  379
30.98/31.04	c ---[340958]---> BDD-cost:  379
30.98/31.05	c ---[340957]---> BDD-cost:  379
30.98/31.06	c ---[340956]---> BDD-cost:  379
30.98/31.07	c ---[340955]---> BDD-cost:  379
30.98/31.08	c ---[340954]---> BDD-cost:  379
30.98/31.09	c ---[340953]---> BDD-cost:  379
31.08/31.10	c ---[340952]---> BDD-cost:  379
31.08/31.11	c ---[340951]---> BDD-cost:  379
31.08/31.12	c ---[340950]---> BDD-cost:  379
31.08/31.12	c ---[340949]---> BDD-cost:  379
31.08/31.13	c ---[340948]---> BDD-cost:  379
31.08/31.14	c ---[340947]---> BDD-cost:  379
31.08/31.15	c ---[340946]---> BDD-cost:  379
31.08/31.16	c ---[340945]---> BDD-cost:  379
31.08/31.17	c ---[340944]---> BDD-cost:  379
31.08/31.18	c ---[340943]---> BDD-cost:  379
31.08/31.19	c ---[340942]---> BDD-cost:  379
31.18/31.20	c ---[340941]---> BDD-cost:  379
31.18/31.21	c ---[340940]---> BDD-cost:  379
31.18/31.21	c ---[340939]---> BDD-cost:  379
31.18/31.22	c ---[340938]---> BDD-cost:  379
31.18/31.23	c ---[340937]---> BDD-cost:  379
31.18/31.24	c ---[340936]---> BDD-cost:  379
31.18/31.25	c ---[340935]---> BDD-cost:  379
31.18/31.26	c ---[340934]---> BDD-cost:  379
31.18/31.27	c ---[340933]---> BDD-cost:  379
31.18/31.28	c ---[340932]---> BDD-cost:  379
31.18/31.29	c ---[340931]---> BDD-cost:  379
31.18/31.29	c ---[340930]---> BDD-cost:  379
31.28/31.30	c ---[340929]---> BDD-cost:  379
31.28/31.31	c ---[340928]---> BDD-cost:  379
31.28/31.32	c ---[340927]---> BDD-cost:  379
31.28/31.33	c ---[340926]---> BDD-cost:  379
31.28/31.34	c ---[340925]---> BDD-cost:  379
31.28/31.35	c ---[340924]---> BDD-cost:  379
31.28/31.36	c ---[340923]---> BDD-cost:  379
31.28/31.37	c ---[340922]---> BDD-cost:  379
31.28/31.38	c ---[340921]---> BDD-cost:  379
31.28/31.38	c ---[340920]---> BDD-cost:  379
31.28/31.39	c ---[340919]---> BDD-cost:  379
31.38/31.40	c ---[340918]---> BDD-cost:  379
31.38/31.41	c ---[340917]---> BDD-cost:  379
31.38/31.42	c ---[340916]---> BDD-cost:  379
31.38/31.43	c ---[340915]---> BDD-cost:  379
31.38/31.44	c ---[340914]---> BDD-cost:  379
31.38/31.45	c ---[340913]---> BDD-cost:  379
31.38/31.46	c ---[340912]---> BDD-cost:  379
31.38/31.46	c ---[340911]---> BDD-cost:  379
31.38/31.47	c ---[340910]---> BDD-cost:  379
31.38/31.48	c ---[340909]---> BDD-cost:  379
31.38/31.49	c ---[340908]---> BDD-cost:  379
31.48/31.50	c ---[340907]---> BDD-cost:  379
31.48/31.51	c ---[340906]---> BDD-cost:  379
31.48/31.52	c ---[340905]---> BDD-cost:  379
31.48/31.53	c ---[340904]---> BDD-cost:  379
31.48/31.54	c ---[340903]---> BDD-cost:  379
31.48/31.55	c ---[340902]---> BDD-cost:  379
31.48/31.55	c ---[340901]---> BDD-cost:  379
31.48/31.56	c ---[340900]---> BDD-cost:  379
31.48/31.57	c ---[340899]---> BDD-cost:  379
31.48/31.58	c ---[340898]---> BDD-cost:  379
31.48/31.59	c ---[340897]---> BDD-cost:  379
31.58/31.60	c ---[340896]---> BDD-cost:  379
31.58/31.61	c ---[340895]---> BDD-cost:  379
31.58/31.62	c ---[340894]---> BDD-cost:  379
31.58/31.63	c ---[340893]---> BDD-cost:  379
31.58/31.64	c ---[340892]---> BDD-cost:  379
31.58/31.64	c ---[340891]---> BDD-cost:  379
31.58/31.65	c ---[340890]---> BDD-cost:  379
31.58/31.66	c ---[340889]---> BDD-cost:  379
31.58/31.67	c ---[340888]---> BDD-cost:  379
31.58/31.68	c ---[340887]---> BDD-cost:  379
31.58/31.69	c ---[340886]---> BDD-cost:  379
31.68/31.70	c ---[340885]---> BDD-cost:  379
31.68/31.71	c ---[340884]---> BDD-cost:  379
31.68/31.72	c ---[340883]---> BDD-cost:  379
31.68/31.72	c ---[340882]---> BDD-cost:  379
31.68/31.73	c ---[340881]---> BDD-cost:  379
31.68/31.74	c ---[340880]---> BDD-cost:  379
31.68/31.75	c ---[340879]---> BDD-cost:  379
31.68/31.76	c ---[340878]---> BDD-cost:  379
31.68/31.77	c ---[340877]---> BDD-cost:  379
31.68/31.78	c ---[340876]---> BDD-cost:  379
31.68/31.79	c ---[340875]---> BDD-cost:  379
31.78/31.80	c ---[340874]---> BDD-cost:  379
31.78/31.81	c ---[340873]---> BDD-cost:  379
31.78/31.81	c ---[340872]---> BDD-cost:  379
31.78/31.82	c ---[340871]---> BDD-cost:  379
31.78/31.83	c ---[340870]---> BDD-cost:  379
31.78/31.84	c ---[340869]---> BDD-cost:  379
31.78/31.85	c ---[340868]---> BDD-cost:  379
31.78/31.86	c ---[340867]---> BDD-cost:  379
31.78/31.87	c ---[340866]---> BDD-cost:  379
31.78/31.88	c ---[340865]---> BDD-cost:  379
31.78/31.89	c ---[340864]---> BDD-cost:  379
31.89/31.97	c ---[340863]---> BDD-cost:  379
31.89/31.98	c ---[340862]---> BDD-cost:  379
31.89/31.99	c ---[340861]---> BDD-cost:  379
31.89/32.00	c ---[340860]---> BDD-cost:  379
31.99/32.01	c ---[340859]---> BDD-cost:  379
31.99/32.02	c ---[340858]---> BDD-cost:  379
31.99/32.03	c ---[340857]---> BDD-cost:  379
31.99/32.03	c ---[340856]---> BDD-cost:  379
31.99/32.04	c ---[340855]---> BDD-cost:  379
31.99/32.05	c ---[340854]---> BDD-cost:  379
31.99/32.06	c ---[340853]---> BDD-cost:  379
31.99/32.07	c ---[340852]---> BDD-cost:  379
31.99/32.08	c ---[340851]---> BDD-cost:  379
31.99/32.09	c ---[340850]---> BDD-cost:  379
32.08/32.10	c ---[340849]---> BDD-cost:  379
32.08/32.11	c ---[340848]---> BDD-cost:  379
32.08/32.12	c ---[340847]---> BDD-cost:  379
32.08/32.12	c ---[340846]---> BDD-cost:  379
32.08/32.13	c ---[340845]---> BDD-cost:  379
32.08/32.14	c ---[340844]---> BDD-cost:  379
32.08/32.15	c ---[340843]---> BDD-cost:  379
32.08/32.16	c ---[340842]---> BDD-cost:  379
32.08/32.17	c ---[340841]---> BDD-cost:  379
32.08/32.18	c ---[340840]---> BDD-cost:  379
32.08/32.19	c ---[340839]---> BDD-cost:  379
32.18/32.20	c ---[340838]---> BDD-cost:  379
32.18/32.20	c ---[340837]---> BDD-cost:  379
32.18/32.21	c ---[340836]---> BDD-cost:  379
32.18/32.22	c ---[340835]---> BDD-cost:  379
32.18/32.23	c ---[340834]---> BDD-cost:  379
32.18/32.24	c ---[340833]---> BDD-cost:  379
32.18/32.25	c ---[340832]---> BDD-cost:  379
32.18/32.26	c ---[340831]---> BDD-cost:  379
32.18/32.27	c ---[340830]---> BDD-cost:  379
32.18/32.28	c ---[340829]---> BDD-cost:  379
32.18/32.28	c ---[340828]---> BDD-cost:  379
32.18/32.29	c ---[340827]---> BDD-cost:  379
32.28/32.30	c ---[340826]---> BDD-cost:  379
32.28/32.31	c ---[340825]---> BDD-cost:  379
32.28/32.32	c ---[340824]---> BDD-cost:  379
32.28/32.33	c ---[340823]---> BDD-cost:  379
32.28/32.34	c ---[340822]---> BDD-cost:  379
32.28/32.35	c ---[340821]---> BDD-cost:  379
32.28/32.36	c ---[340820]---> BDD-cost:  379
32.28/32.37	c ---[340819]---> BDD-cost:  379
32.28/32.37	c ---[340818]---> BDD-cost:  379
32.28/32.38	c ---[340817]---> BDD-cost:  379
32.28/32.39	c ---[340816]---> BDD-cost:  379
32.38/32.40	c ---[340815]---> BDD-cost:  379
32.38/32.41	c ---[340814]---> BDD-cost:  379
32.38/32.42	c ---[340813]---> BDD-cost:  379
32.38/32.43	c ---[340812]---> BDD-cost:  379
32.38/32.44	c ---[340811]---> BDD-cost:  379
32.38/32.45	c ---[340810]---> BDD-cost:  379
32.38/32.45	c ---[340809]---> BDD-cost:  379
32.38/32.46	c ---[340808]---> BDD-cost:  379
32.38/32.47	c ---[340807]---> BDD-cost:  379
32.38/32.48	c ---[340806]---> BDD-cost:  379
32.38/32.49	c ---[340805]---> BDD-cost:  379
32.48/32.50	c ---[340804]---> BDD-cost:  379
32.48/32.51	c ---[340803]---> BDD-cost:  379
32.48/32.52	c ---[340802]---> BDD-cost:  379
32.48/32.53	c ---[340801]---> BDD-cost:  379
32.48/32.54	c ---[340800]---> BDD-cost:  379
32.48/32.54	c ---[340799]---> BDD-cost:  379
32.48/32.55	c ---[340798]---> BDD-cost:  379
32.48/32.56	c ---[340797]---> BDD-cost:  379
32.48/32.57	c ---[340796]---> BDD-cost:  379
32.48/32.58	c ---[340795]---> BDD-cost:  379
32.48/32.59	c ---[340794]---> BDD-cost:  379
32.58/32.60	c ---[340793]---> BDD-cost:  379
32.58/32.61	c ---[340792]---> BDD-cost:  379
32.58/32.62	c ---[340791]---> BDD-cost:  379
32.58/32.63	c ---[340790]---> BDD-cost:  379
32.58/32.63	c ---[340789]---> BDD-cost:  379
32.58/32.64	c ---[340788]---> BDD-cost:  379
32.58/32.65	c ---[340787]---> BDD-cost:  379
32.58/32.66	c ---[340786]---> BDD-cost:  379
32.58/32.67	c ---[340785]---> BDD-cost:  379
32.58/32.68	c ---[340784]---> BDD-cost:  379
32.58/32.69	c ---[340783]---> BDD-cost:  379
32.68/32.70	c ---[340782]---> BDD-cost:  379
32.68/32.71	c ---[340781]---> BDD-cost:  379
32.68/32.71	c ---[340780]---> BDD-cost:  379
32.68/32.72	c ---[340779]---> BDD-cost:  379
32.68/32.73	c ---[340778]---> BDD-cost:  379
32.68/32.74	c ---[340777]---> BDD-cost:  379
32.68/32.75	c ---[340776]---> BDD-cost:  379
32.68/32.76	c ---[340775]---> BDD-cost:  379
32.68/32.77	c ---[340774]---> BDD-cost:  379
32.68/32.78	c ---[340773]---> BDD-cost:  379
32.68/32.79	c ---[340772]---> BDD-cost:  379
32.78/32.80	c ---[340771]---> BDD-cost:  379
32.78/32.80	c ---[340770]---> BDD-cost:  379
32.78/32.81	c ---[340769]---> BDD-cost:  379
32.78/32.82	c ---[340768]---> BDD-cost:  379
32.78/32.83	c ---[340767]---> BDD-cost:  379
32.78/32.84	c ---[340766]---> BDD-cost:  379
32.78/32.85	c ---[340765]---> BDD-cost:  379
32.78/32.86	c ---[340764]---> BDD-cost:  379
32.78/32.87	c ---[340763]---> BDD-cost:  379
32.78/32.88	c ---[340762]---> BDD-cost:  379
32.78/32.89	c ---[340761]---> BDD-cost:  379
32.78/32.89	c ---[340760]---> BDD-cost:  379
32.88/32.90	c ---[340759]---> BDD-cost:  379
32.88/32.91	c ---[340758]---> BDD-cost:  379
32.88/32.92	c ---[340757]---> BDD-cost:  379
32.88/32.93	c ---[340756]---> BDD-cost:  379
32.88/32.94	c ---[340755]---> BDD-cost:  379
32.88/32.95	c ---[340754]---> BDD-cost:  379
32.88/32.96	c ---[340753]---> BDD-cost:  379
32.88/32.97	c ---[340752]---> BDD-cost:  379
32.88/32.97	c ---[340751]---> BDD-cost:  379
32.88/32.98	c ---[340750]---> BDD-cost:  379
32.88/32.99	c ---[340749]---> BDD-cost:  379
32.88/33.00	c ---[340748]---> BDD-cost:  379
32.99/33.01	c ---[340747]---> BDD-cost:  379
32.99/33.02	c ---[340746]---> BDD-cost:  379
32.99/33.03	c ---[340745]---> BDD-cost:  379
32.99/33.04	c ---[340744]---> BDD-cost:  379
32.99/33.05	c ---[340743]---> BDD-cost:  379
32.99/33.05	c ---[340742]---> BDD-cost:  379
32.99/33.06	c ---[340741]---> BDD-cost:  379
32.99/33.07	c ---[340740]---> BDD-cost:  379
32.99/33.08	c ---[340739]---> BDD-cost:  379
32.99/33.09	c ---[340738]---> BDD-cost:  379
32.99/33.10	c ---[340737]---> BDD-cost:  379
33.09/33.11	c ---[340736]---> BDD-cost:  379
33.09/33.12	c ---[340735]---> BDD-cost:  379
33.09/33.13	c ---[340734]---> BDD-cost:  379
33.09/33.14	c ---[340733]---> BDD-cost:  379
33.09/33.14	c ---[340732]---> BDD-cost:  379
33.09/33.15	c ---[340731]---> BDD-cost:  379
33.09/33.16	c ---[340730]---> BDD-cost:  379
33.09/33.17	c ---[340729]---> BDD-cost:  379
33.09/33.18	c ---[340728]---> BDD-cost:  379
33.09/33.19	c ---[340727]---> BDD-cost:  379
33.18/33.20	c ---[340726]---> BDD-cost:  379
33.18/33.21	c ---[340725]---> BDD-cost:  379
33.18/33.22	c ---[340724]---> BDD-cost:  379
33.18/33.22	c ---[340723]---> BDD-cost:  379
33.18/33.23	c ---[340722]---> BDD-cost:  379
33.18/33.24	c ---[340721]---> BDD-cost:  379
33.18/33.25	c ---[340720]---> BDD-cost:  379
33.18/33.26	c ---[340719]---> BDD-cost:  379
33.18/33.27	c ---[340718]---> BDD-cost:  379
33.18/33.28	c ---[340717]---> BDD-cost:  379
33.18/33.29	c ---[340716]---> BDD-cost:  379
33.28/33.30	c ---[340715]---> BDD-cost:  379
33.28/33.31	c ---[340714]---> BDD-cost:  379
33.28/33.31	c ---[340713]---> BDD-cost:  379
33.28/33.32	c ---[340712]---> BDD-cost:  379
33.28/33.33	c ---[340711]---> BDD-cost:  379
33.28/33.34	c ---[340710]---> BDD-cost:  379
33.28/33.35	c ---[340709]---> BDD-cost:  379
33.28/33.36	c ---[340708]---> BDD-cost:  379
33.28/33.37	c ---[340707]---> BDD-cost:  379
33.28/33.38	c ---[340706]---> BDD-cost:  379
33.28/33.39	c ---[340705]---> BDD-cost:  379
33.38/33.40	c ---[340704]---> BDD-cost:  379
33.38/33.40	c ---[340703]---> BDD-cost:  379
33.38/33.41	c ---[340702]---> BDD-cost:  379
33.38/33.42	c ---[340701]---> BDD-cost:  379
33.38/33.43	c ---[340700]---> BDD-cost:  379
33.38/33.44	c ---[340699]---> BDD-cost:  379
33.38/33.45	c ---[340698]---> BDD-cost:  379
33.38/33.46	c ---[340697]---> BDD-cost:  379
33.38/33.47	c ---[340696]---> BDD-cost:  379
33.38/33.48	c ---[340695]---> BDD-cost:  379
33.38/33.49	c ---[340694]---> BDD-cost:  379
33.38/33.49	c ---[340693]---> BDD-cost:  379
33.48/33.50	c ---[340692]---> BDD-cost:  379
33.48/33.51	c ---[340691]---> BDD-cost:  379
33.48/33.52	c ---[340690]---> BDD-cost:  379
33.48/33.53	c ---[340689]---> BDD-cost:  379
33.48/33.54	c ---[340688]---> BDD-cost:  379
33.48/33.55	c ---[340687]---> BDD-cost:  379
33.48/33.56	c ---[340686]---> BDD-cost:  379
33.48/33.57	c ---[340685]---> BDD-cost:  379
33.48/33.58	c ---[340684]---> BDD-cost:  379
33.48/33.58	c ---[340683]---> BDD-cost:  379
33.48/33.59	c ---[340682]---> BDD-cost:  379
33.59/33.60	c ---[340681]---> BDD-cost:  379
33.59/33.61	c ---[340680]---> BDD-cost:  379
33.59/33.62	c ---[340679]---> BDD-cost:  379
33.59/33.63	c ---[340678]---> BDD-cost:  379
33.59/33.64	c ---[340677]---> BDD-cost:  379
33.59/33.65	c ---[340676]---> BDD-cost:  379
33.59/33.66	c ---[340675]---> BDD-cost:  379
33.59/33.67	c ---[340674]---> BDD-cost:  379
33.59/33.67	c ---[340673]---> BDD-cost:  379
33.59/33.68	c ---[340672]---> BDD-cost:  379
33.59/33.69	c ---[340671]---> BDD-cost:  379
33.69/33.70	c ---[340670]---> BDD-cost:  379
33.69/33.71	c ---[340669]---> BDD-cost:  379
33.69/33.72	c ---[340668]---> BDD-cost:  379
33.69/33.73	c ---[340667]---> BDD-cost:  379
33.69/33.74	c ---[340666]---> BDD-cost:  379
33.69/33.75	c ---[340665]---> BDD-cost:  379
33.69/33.76	c ---[340664]---> BDD-cost:  379
33.69/33.76	c ---[340663]---> BDD-cost:  379
33.69/33.77	c ---[340662]---> BDD-cost:  379
33.69/33.78	c ---[340661]---> BDD-cost:  379
33.69/33.79	c ---[340660]---> BDD-cost:  379
33.79/33.80	c ---[340659]---> BDD-cost:  379
33.79/33.81	c ---[340658]---> BDD-cost:  379
33.79/33.82	c ---[340657]---> BDD-cost:  379
33.79/33.83	c ---[340656]---> BDD-cost:  379
33.79/33.84	c ---[340655]---> BDD-cost:  379
33.79/33.84	c ---[340654]---> BDD-cost:  379
33.79/33.85	c ---[340653]---> BDD-cost:  379
33.79/33.86	c ---[340652]---> BDD-cost:  379
33.79/33.87	c ---[340651]---> BDD-cost:  379
33.79/33.88	c ---[340650]---> BDD-cost:  379
33.79/33.89	c ---[340649]---> BDD-cost:  379
33.89/33.90	c ---[340648]---> BDD-cost:  379
33.89/33.91	c ---[340647]---> BDD-cost:  379
33.89/33.92	c ---[340646]---> BDD-cost:  379
33.89/33.93	c ---[340645]---> BDD-cost:  379
33.89/33.93	c ---[340644]---> BDD-cost:  379
33.89/33.94	c ---[340643]---> BDD-cost:  379
33.89/33.95	c ---[340642]---> BDD-cost:  379
33.89/33.96	c ---[340641]---> BDD-cost:  379
33.89/33.97	c ---[340640]---> BDD-cost:  379
33.89/33.98	c ---[340639]---> BDD-cost:  379
33.89/33.99	c ---[340638]---> BDD-cost:  379
33.99/34.00	c ---[340637]---> BDD-cost:  379
33.99/34.01	c ---[340636]---> BDD-cost:  379
33.99/34.01	c ---[340635]---> BDD-cost:  379
33.99/34.02	c ---[340634]---> BDD-cost:  379
33.99/34.03	c ---[340633]---> BDD-cost:  379
33.99/34.04	c ---[340632]---> BDD-cost:  379
33.99/34.05	c ---[340631]---> BDD-cost:  379
33.99/34.06	c ---[340630]---> BDD-cost:  379
33.99/34.07	c ---[340629]---> BDD-cost:  379
33.99/34.08	c ---[340628]---> BDD-cost:  379
33.99/34.09	c ---[340627]---> BDD-cost:  379
33.99/34.09	c ---[340626]---> BDD-cost:  379
34.09/34.10	c ---[340625]---> BDD-cost:  379
34.09/34.11	c ---[340624]---> BDD-cost:  379
34.09/34.12	c ---[340623]---> BDD-cost:  379
34.09/34.13	c ---[340622]---> BDD-cost:  379
34.09/34.14	c ---[340621]---> BDD-cost:  379
34.09/34.15	c ---[340620]---> BDD-cost:  379
34.09/34.16	c ---[340619]---> BDD-cost:  379
34.09/34.17	c ---[340618]---> BDD-cost:  379
34.09/34.18	c ---[340617]---> BDD-cost:  379
34.09/34.18	c ---[340616]---> BDD-cost:  379
34.09/34.19	c ---[340615]---> BDD-cost:  379
34.19/34.20	c ---[340614]---> BDD-cost:  379
34.19/34.21	c ---[340613]---> BDD-cost:  379
34.19/34.22	c ---[340612]---> BDD-cost:  379
34.19/34.23	c ---[340611]---> BDD-cost:  379
34.19/34.24	c ---[340610]---> BDD-cost:  379
34.19/34.25	c ---[340609]---> BDD-cost:  379
34.19/34.26	c ---[340608]---> BDD-cost:  379
34.19/34.26	c ---[340607]---> BDD-cost:  379
34.19/34.27	c ---[340606]---> BDD-cost:  379
34.19/34.28	c ---[340605]---> BDD-cost:  379
34.19/34.29	c ---[340604]---> BDD-cost:  379
34.29/34.30	c ---[340603]---> BDD-cost:  379
34.29/34.31	c ---[340602]---> BDD-cost:  379
34.29/34.32	c ---[340601]---> BDD-cost:  379
34.29/34.33	c ---[340600]---> BDD-cost:  379
34.29/34.34	c ---[340599]---> BDD-cost:  379
34.29/34.34	c ---[340598]---> BDD-cost:  379
34.29/34.35	c ---[340597]---> BDD-cost:  379
34.29/34.36	c ---[340596]---> BDD-cost:  379
34.29/34.37	c ---[340595]---> BDD-cost:  379
34.29/34.38	c ---[340594]---> BDD-cost:  379
34.29/34.39	c ---[340593]---> BDD-cost:  379
34.39/34.40	c ---[340592]---> BDD-cost:  379
34.39/34.41	c ---[340591]---> BDD-cost:  379
34.39/34.42	c ---[340590]---> BDD-cost:  379
34.39/34.42	c ---[340589]---> BDD-cost:  379
34.39/34.43	c ---[340588]---> BDD-cost:  379
34.39/34.44	c ---[340587]---> BDD-cost:  379
34.39/34.45	c ---[340586]---> BDD-cost:  379
34.39/34.46	c ---[340585]---> BDD-cost:  379
34.39/34.47	c ---[340584]---> BDD-cost:  379
34.39/34.48	c ---[340583]---> BDD-cost:  379
34.39/34.49	c ---[340582]---> BDD-cost:  379
34.49/34.50	c ---[340581]---> BDD-cost:  379
34.49/34.51	c ---[340580]---> BDD-cost:  379
34.49/34.51	c ---[340579]---> BDD-cost:  379
34.49/34.52	c ---[340578]---> BDD-cost:  379
34.49/34.53	c ---[340577]---> BDD-cost:  379
34.49/34.54	c ---[340576]---> BDD-cost:  379
34.49/34.55	c ---[340575]---> BDD-cost:  379
34.49/34.56	c ---[340574]---> BDD-cost:  379
34.49/34.57	c ---[340573]---> BDD-cost:  379
34.49/34.58	c ---[340572]---> BDD-cost:  379
34.49/34.59	c ---[340571]---> BDD-cost:  379
34.49/34.60	c ---[340570]---> BDD-cost:  379
34.59/34.60	c ---[340569]---> BDD-cost:  379
34.59/34.61	c ---[340568]---> BDD-cost:  379
34.59/34.62	c ---[340567]---> BDD-cost:  379
34.59/34.63	c ---[340566]---> BDD-cost:  379
34.59/34.64	c ---[340565]---> BDD-cost:  379
34.59/34.65	c ---[340564]---> BDD-cost:  379
34.59/34.66	c ---[340563]---> BDD-cost:  379
34.59/34.67	c ---[340562]---> BDD-cost:  379
34.59/34.68	c ---[340561]---> BDD-cost:  379
34.59/34.68	c ---[340560]---> BDD-cost:  379
34.59/34.69	c ---[340559]---> BDD-cost:  379
34.69/34.70	c ---[340558]---> BDD-cost:  379
34.69/34.71	c ---[340557]---> BDD-cost:  379
34.69/34.72	c ---[340556]---> BDD-cost:  379
34.69/34.73	c ---[340555]---> BDD-cost:  379
34.69/34.74	c ---[340554]---> BDD-cost:  379
34.69/34.75	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-3722338-1338565227/watcher-3722338-1338565227 -o /tmp/evaluation-result-3722338-1338565227/solver-3722338-1338565227 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3722338-1338565227.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: 1.92 1.98 1.99 3/177 22236
/proc/meminfo: memFree=27558640/32873648 swapFree=7112/7112
[pid=22236] ppid=22234 vsize=1776 CPUtime=0 cores=0,2,4,6
/proc/22236/stat : 22236 (minisat+) R 22234 22236 20628 0 -1 4202496 270 0 0 0 0 0 0 0 20 0 1 0 322648676 1818624 228 33554432000 134512640 135395479 4287257088 4287256056 135031278 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/22236/statm: 444 228 67 216 0 226 0

[startup+0.029603 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 22236
/proc/meminfo: memFree=27558640/32873648 swapFree=7112/7112
[pid=22236] ppid=22234 vsize=4532 CPUtime=0.02 cores=0,2,4,6
/proc/22236/stat : 22236 (minisat+) R 22234 22236 20628 0 -1 4202496 904 0 0 0 2 0 0 0 20 0 1 0 322648676 4640768 856 33554432000 134512640 135395479 4287257088 4287255872 134569953 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/22236/statm: 1133 856 67 216 0 915 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4532

[startup+0.100155 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 22236
/proc/meminfo: memFree=27558640/32873648 swapFree=7112/7112
[pid=22236] ppid=22234 vsize=12124 CPUtime=0.09 cores=0,2,4,6
/proc/22236/stat : 22236 (minisat+) R 22234 22236 20628 0 -1 4202496 2691 0 0 0 9 0 0 0 20 0 1 0 322648676 12414976 2518 33554432000 134512640 135395479 4287257088 4287255884 135007481 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/22236/statm: 3031 2520 67 216 0 2813 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12124

[startup+0.300214 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 22236
/proc/meminfo: memFree=27558640/32873648 swapFree=7112/7112
[pid=22236] ppid=22234 vsize=32428 CPUtime=0.29 cores=0,2,4,6
/proc/22236/stat : 22236 (minisat+) R 22234 22236 20628 0 -1 4202496 8125 0 0 0 28 1 0 0 20 0 1 0 322648676 33206272 7457 33554432000 134512640 135395479 4287257088 4287256008 135031278 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/22236/statm: 8107 7457 67 216 0 7889 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32428

[startup+0.700232 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 22236
/proc/meminfo: memFree=27558640/32873648 swapFree=7112/7112
[pid=22236] ppid=22234 vsize=56048 CPUtime=0.68 cores=0,2,4,6
/proc/22236/stat : 22236 (minisat+) R 22234 22236 20628 0 -1 4202496 14168 0 0 0 67 1 0 0 20 0 1 0 322648676 57393152 12966 33554432000 134512640 135395479 4287257088 4287256056 135031278 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/22236/statm: 14012 12966 74 216 0 13794 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 56048

[startup+1.50013 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 22237
/proc/meminfo: memFree=27501964/32873648 swapFree=7112/7112
[pid=22236] ppid=22234 vsize=70716 CPUtime=1.48 cores=0,2,4,6
/proc/22236/stat : 22236 (minisat+) R 22234 22236 20628 0 -1 4202496 16933 0 0 0 146 2 0 0 20 0 1 0 322648676 72413184 15731 33554432000 134512640 135395479 4287257088 4287255592 135012160 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/22236/statm: 17679 15731 74 216 0 17461 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 70716

[startup+3.10013 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 22237
/proc/meminfo: memFree=27484852/32873648 swapFree=7112/7112
[pid=22236] ppid=22234 vsize=97524 CPUtime=3.09 cores=0,2,4,6
/proc/22236/stat : 22236 (minisat+) R 22234 22236 20628 0 -1 4202496 22896 0 0 0 305 4 0 0 20 0 1 0 322648676 99864576 21546 33554432000 134512640 135395479 4287257088 4287255452 135007481 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/22236/statm: 24381 21546 74 216 0 24163 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 97524

[startup+6.30013 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 22237
/proc/meminfo: memFree=27428616/32873648 swapFree=7112/7112
[pid=22236] ppid=22234 vsize=149872 CPUtime=6.29 cores=0,2,4,6
/proc/22236/stat : 22236 (minisat+) R 22234 22236 20628 0 -1 4202496 36645 0 0 0 623 6 0 0 20 0 1 0 322648676 153468928 35295 33554432000 134512640 135395479 4287257088 4287255132 135005847 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/22236/statm: 37468 35295 74 216 0 37250 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 149872

[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 22237
/proc/meminfo: memFree=27227632/32873648 swapFree=7112/7112
[pid=22236] ppid=22234 vsize=337356 CPUtime=12.69 cores=0,2,4,6
/proc/22236/stat : 22236 (minisat+) R 22234 22236 20628 0 -1 4202496 82734 0 0 0 1255 14 0 0 20 0 1 0 322648676 345452544 81638 33554432000 134512640 135395479 4287257088 4287253828 135003221 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/22236/statm: 84339 81638 74 216 0 84121 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 337356

[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 1.99 3/178 22237
/proc/meminfo: memFree=27272280/32873648 swapFree=7112/7112
[pid=22236] ppid=22234 vsize=292288 CPUtime=25.49 cores=0,2,4,6
/proc/22236/stat : 22236 (minisat+) R 22234 22236 20628 0 -1 4202496 87443 0 0 0 2515 34 0 0 20 0 1 0 322648676 299302912 70693 33554432000 134512640 135395479 4287257088 4287228944 134666951 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/22236/statm: 73072 70693 88 216 0 72854 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 292288

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

[startup+25.6002 s]
/proc/loadavg: 1.95 1.98 1.99 3/178 22237
/proc/meminfo: memFree=27272280/32873648 swapFree=7112/7112
[pid=22236] ppid=22234 vsize=292420 CPUtime=25.59 cores=0,2,4,6
/proc/22236/stat : 22236 (minisat+) R 22234 22236 20628 0 -1 4202496 87477 0 0 0 2525 34 0 0 20 0 1 0 322648676 299438080 70727 33554432000 134512640 135395479 4287257088 4287251592 135012160 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/22236/statm: 73105 70727 88 216 0 72887 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 292420

[startup+38.4002 s]
/proc/loadavg: 1.95 1.98 1.99 2/179 22239
/proc/meminfo: memFree=26588160/32873648 swapFree=7112/7112
[pid=22236] ppid=22234 vsize=336056 CPUtime=35.42 cores=0,2,4,6
/proc/22236/stat : 22236 (minisat+) S 22234 22236 20628 0 -1 4204032 97480 0 0 0 3489 53 0 0 20 0 1 0 322648676 344121344 81068 33554432000 134512640 135395479 4287257088 4274679808 134665153 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/22236/statm: 84014 81068 89 216 0 83796 0
Current children cumulated CPU time (s) 35.42
Current children cumulated vsize (KiB) 336056

[startup+41.6002 s]
/proc/loadavg: 2.04 2.00 2.00 2/179 22239
/proc/meminfo: memFree=26588780/32873648 swapFree=7112/7112
[pid=22236] ppid=22234 vsize=336056 CPUtime=35.42 cores=0,2,4,6
/proc/22236/stat : 22236 (minisat+) S 22234 22236 20628 0 -1 4204032 97480 0 0 0 3489 53 0 0 20 0 1 0 322648676 344121344 81068 33554432000 134512640 135395479 4287257088 4274679808 134665153 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/22236/statm: 84014 81068 89 216 0 83796 0
Current children cumulated CPU time (s) 35.42
Current children cumulated vsize (KiB) 336056

[startup+44.8002 s]
/proc/loadavg: 2.19 2.03 2.01 2/179 22239
/proc/meminfo: memFree=26588284/32873648 swapFree=7112/7112
[pid=22236] ppid=22234 vsize=336056 CPUtime=35.42 cores=0,2,4,6
/proc/22236/stat : 22236 (minisat+) S 22234 22236 20628 0 -1 4204032 97480 0 0 0 3489 53 0 0 20 0 1 0 322648676 344121344 81068 33554432000 134512640 135395479 4287257088 4274679808 134665153 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/22236/statm: 84014 81068 89 216 0 83796 0
Current children cumulated CPU time (s) 35.42
Current children cumulated vsize (KiB) 336056

[startup+45.6002 s]
/proc/loadavg: 2.19 2.03 2.01 2/179 22239
/proc/meminfo: memFree=26588160/32873648 swapFree=7112/7112
[pid=22236] ppid=22234 vsize=336056 CPUtime=35.42 cores=0,2,4,6
/proc/22236/stat : 22236 (minisat+) S 22234 22236 20628 0 -1 4204032 97480 0 0 0 3489 53 0 0 20 0 1 0 322648676 344121344 81068 33554432000 134512640 135395479 4287257088 4274679808 134665153 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/22236/statm: 84014 81068 89 216 0 83796 0
Current children cumulated CPU time (s) 35.42
Current children cumulated vsize (KiB) 336056

[startup+46.4002 s]
/proc/loadavg: 2.19 2.03 2.01 2/179 22239
/proc/meminfo: memFree=26590020/32873648 swapFree=7112/7112
[pid=22236] ppid=22234 vsize=336056 CPUtime=35.42 cores=0,2,4,6
/proc/22236/stat : 22236 (minisat+) S 22234 22236 20628 0 -1 4204032 97480 0 0 0 3489 53 0 0 20 0 1 0 322648676 344121344 81068 33554432000 134512640 135395479 4287257088 4274679808 134665153 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/22236/statm: 84014 81068 89 216 0 83796 0
Current children cumulated CPU time (s) 35.42
Current children cumulated vsize (KiB) 336056

[startup+46.6002 s]
/proc/loadavg: 2.19 2.03 2.01 2/179 22239
/proc/meminfo: memFree=26590020/32873648 swapFree=7112/7112
[pid=22236] ppid=22234 vsize=336056 CPUtime=35.42 cores=0,2,4,6
/proc/22236/stat : 22236 (minisat+) S 22234 22236 20628 0 -1 4204032 97480 0 0 0 3489 53 0 0 20 0 1 0 322648676 344121344 81068 33554432000 134512640 135395479 4287257088 4274679808 134665153 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/22236/statm: 84014 81068 89 216 0 83796 0
Current children cumulated CPU time (s) 35.42
Current children cumulated vsize (KiB) 336056

Child ended because it received signal 11 (SIGSEGV)
Child dumped core
Real time (s): 46.6939
CPU time (s): 35.4516
CPU user time (s): 34.8967
CPU system time (s): 0.554915
CPU usage (%): 75.9234
Max. virtual memory (cumulated for all children) (KiB): 337356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.8967
system time used= 0.554915
maximum resident set size= 326552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 97480
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= 80157
involuntary context switches= 41

runsolver used 0.268959 second user time and 0.600908 second system time

The end

Launcher Data 

Begin job on node126 at 2012-06-01 17:40:28
IDJOB=3722338
IDBENCH=92244
IDSOLVER=2306
FILE ID=node126/3722338-1338565227
RUNJOBID= node126-1338552596-20644
PBS_JOBID= 14635890
Free space on /tmp= 70772 MiB

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

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

MD5SUM BENCH= 00611863005b7eeed329d02777942736
RANDOM SEED=416231250

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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	: 5332.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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		: 2666.456
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		: 2666.456
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		: 2666.456
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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		: 2666.456
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27559060 kB
Buffers:          379084 kB
Cached:          3635456 kB
SwapCached:         9476 kB
Active:          1854732 kB
Inactive:        2599044 kB
Active(anon):     429384 kB
Inactive(anon):    12180 kB
Active(file):    1425348 kB
Inactive(file):  2586864 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67094928 kB
Dirty:             33360 kB
Writeback:            16 kB
AnonPages:        437828 kB
Mapped:             9924 kB
Shmem:                 0 kB
Slab:             721240 kB
SReclaimable:     165572 kB
SUnreclaim:       555668 kB
KernelStack:        1480 kB
PageTables:         4808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     553380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    391168 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-3722338-1338565227.opb

Free space on /tmp at the end= 70464 MiB
End job on node126 at 2012-06-01 17:41:14