Trace number 4112184

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
minisatp 2012-10-02 git-d91742bSignal 33.7009 55.5592

General information on the benchmark

Name/OPT-BIGINT-LIN/sroussel/NG/
normalized-NG.dot_fibo_10null10mast_rapportOE1.0_TMAX300_K192_cod1.opb
MD5SUM086965ba422b805d68e9d1d8816ed313
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-54730
Best CPU time to get the best result obtained on this benchmark1800.5
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 306555
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 611335801
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 10946
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 611335801
Number of bits of the biggest sum of numbers30
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...
12.98/13.03	c Converting 400980 PB-constraints to clauses...
13.09/13.12	c   -- Unit propagations: (none)
13.09/13.14	c   -- Detecting intervals from adjacent constraints: ##################################################################################################################################################################################################
13.09/13.16	c   -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
13.58/13.65	c ---[400978]---> BDD-cost:    5
13.58/13.65	c ---[400976]---> BDD-cost:    7
13.58/13.65	c ---[342719]---> BDD-cost:  602
13.58/13.67	c ---[342717]---> BDD-cost:  607
13.58/13.69	c ---[342715]---> BDD-cost:  607
13.68/13.71	c ---[342713]---> BDD-cost:  607
13.68/13.73	c ---[342711]---> BDD-cost:  607
13.68/13.75	c ---[342709]---> BDD-cost:  607
13.68/13.77	c ---[342707]---> BDD-cost:  607
13.68/13.79	c ---[342705]---> BDD-cost:  607
13.78/13.81	c ---[342703]---> BDD-cost:  607
13.78/13.83	c ---[342701]---> BDD-cost:  607
13.78/13.85	c ---[342699]---> BDD-cost:  607
13.78/13.87	c ---[342697]---> BDD-cost:  607
13.78/13.89	c ---[342695]---> BDD-cost:  607
13.88/13.91	c ---[342693]---> BDD-cost:  607
13.88/13.93	c ---[342691]---> BDD-cost:  607
13.88/13.95	c ---[342689]---> BDD-cost:  607
13.88/13.97	c ---[342687]---> BDD-cost:  607
13.88/13.99	c ---[342685]---> BDD-cost:  607
13.98/14.01	c ---[342683]---> BDD-cost:  607
13.98/14.03	c ---[342681]---> BDD-cost:  607
13.98/14.05	c ---[342679]---> BDD-cost:  607
13.98/14.07	c ---[342677]---> BDD-cost:  607
13.98/14.09	c ---[342675]---> BDD-cost:  607
14.08/14.11	c ---[342673]---> BDD-cost:  607
14.08/14.13	c ---[342671]---> BDD-cost:  607
14.08/14.15	c ---[342669]---> BDD-cost:  607
14.08/14.17	c ---[342667]---> BDD-cost:  607
14.08/14.19	c ---[342665]---> BDD-cost:  607
14.18/14.21	c ---[342663]---> BDD-cost:  607
14.18/14.23	c ---[342661]---> BDD-cost:  607
14.18/14.25	c ---[342659]---> BDD-cost:  607
14.18/14.27	c ---[342657]---> BDD-cost:  607
14.18/14.29	c ---[342655]---> BDD-cost:  607
14.29/14.31	c ---[342653]---> BDD-cost:  607
14.29/14.33	c ---[342651]---> BDD-cost:  607
14.29/14.35	c ---[342649]---> BDD-cost:  607
14.29/14.37	c ---[342647]---> BDD-cost:  607
14.29/14.39	c ---[342645]---> BDD-cost:  607
14.39/14.41	c ---[342643]---> BDD-cost:  607
14.39/14.43	c ---[342641]---> BDD-cost:  607
14.39/14.45	c ---[342639]---> BDD-cost:  607
14.39/14.46	c ---[342637]---> BDD-cost:  607
14.39/14.48	c ---[342635]---> BDD-cost:  607
14.48/14.50	c ---[342633]---> BDD-cost:  607
14.48/14.52	c ---[342631]---> BDD-cost:  607
14.48/14.54	c ---[342629]---> BDD-cost:  607
14.48/14.56	c ---[342627]---> BDD-cost:  607
14.48/14.58	c ---[342625]---> BDD-cost:  607
14.58/14.60	c ---[342623]---> BDD-cost:  607
14.58/14.62	c ---[342621]---> BDD-cost:  607
14.58/14.64	c ---[342619]---> BDD-cost:  607
14.58/14.66	c ---[342617]---> BDD-cost:  607
14.58/14.68	c ---[342615]---> BDD-cost:  607
14.68/14.70	c ---[342613]---> BDD-cost:  607
14.68/14.72	c ---[342611]---> BDD-cost:  607
14.68/14.74	c ---[342609]---> BDD-cost:  607
14.68/14.76	c ---[342607]---> BDD-cost:  607
14.68/14.78	c ---[342605]---> BDD-cost:  607
14.78/14.80	c ---[342603]---> BDD-cost:  607
14.78/14.82	c ---[342601]---> BDD-cost:  607
14.78/14.84	c ---[342599]---> BDD-cost:  607
14.78/14.86	c ---[342597]---> BDD-cost:  607
14.78/14.88	c ---[342595]---> BDD-cost:  607
14.88/14.90	c ---[342593]---> BDD-cost:  607
14.88/14.92	c ---[342591]---> BDD-cost:  607
14.88/14.94	c ---[342589]---> BDD-cost:  607
14.88/14.96	c ---[342587]---> BDD-cost:  607
14.88/14.98	c ---[342585]---> BDD-cost:  607
14.98/15.00	c ---[342583]---> BDD-cost:  607
14.98/15.02	c ---[342581]---> BDD-cost:  607
14.98/15.04	c ---[342579]---> BDD-cost:  607
14.98/15.06	c ---[342577]---> BDD-cost:  607
14.98/15.08	c ---[342575]---> BDD-cost:  607
15.08/15.10	c ---[342573]---> BDD-cost:  607
15.08/15.12	c ---[342571]---> BDD-cost:  607
15.08/15.14	c ---[342569]---> BDD-cost:  607
15.08/15.16	c ---[342567]---> BDD-cost:  607
15.08/15.18	c ---[342565]---> BDD-cost:  607
15.18/15.20	c ---[342563]---> BDD-cost:  607
15.18/15.22	c ---[342561]---> BDD-cost:  607
15.18/15.24	c ---[342559]---> BDD-cost:  607
15.18/15.26	c ---[342557]---> BDD-cost:  607
15.18/15.28	c ---[342555]---> BDD-cost:  607
15.28/15.30	c ---[342553]---> BDD-cost:  607
15.28/15.32	c ---[342551]---> BDD-cost:  607
15.28/15.34	c ---[342549]---> BDD-cost:  607
15.28/15.36	c ---[342547]---> BDD-cost:  607
15.28/15.38	c ---[342545]---> BDD-cost:  607
15.28/15.40	c ---[342543]---> BDD-cost:  607
15.39/15.42	c ---[342541]---> BDD-cost:  607
15.39/15.44	c ---[342539]---> BDD-cost:  607
15.39/15.46	c ---[342537]---> BDD-cost:  607
15.39/15.48	c ---[342535]---> BDD-cost:  607
15.39/15.50	c ---[342533]---> BDD-cost:  607
15.49/15.52	c ---[342531]---> BDD-cost:  607
15.49/15.54	c ---[342529]---> BDD-cost:  607
15.49/15.56	c ---[342527]---> BDD-cost:  607
15.49/15.58	c ---[342525]---> BDD-cost:  607
15.58/15.60	c ---[342523]---> BDD-cost:  607
15.58/15.62	c ---[342521]---> BDD-cost:  607
15.58/15.64	c ---[342519]---> BDD-cost:  607
15.58/15.66	c ---[342517]---> BDD-cost:  607
15.58/15.68	c ---[342515]---> BDD-cost:  607
15.68/15.70	c ---[342513]---> BDD-cost:  607
15.68/15.72	c ---[342511]---> BDD-cost:  607
15.68/15.74	c ---[342509]---> BDD-cost:  607
15.68/15.76	c ---[342507]---> BDD-cost:  607
15.68/15.78	c ---[342505]---> BDD-cost:  607
15.78/15.80	c ---[342503]---> BDD-cost:  607
15.78/15.82	c ---[342501]---> BDD-cost:  607
15.78/15.84	c ---[342499]---> BDD-cost:  607
15.78/15.86	c ---[342497]---> BDD-cost:  607
15.78/15.88	c ---[342495]---> BDD-cost:  607
15.88/15.90	c ---[342493]---> BDD-cost:  607
15.88/15.92	c ---[342491]---> BDD-cost:  607
15.88/15.94	c ---[342489]---> BDD-cost:  607
15.88/15.96	c ---[342487]---> BDD-cost:  607
15.88/15.98	c ---[342485]---> BDD-cost:  607
15.88/15.99	c ---[342483]---> BDD-cost:  607
15.98/16.02	c ---[342481]---> BDD-cost:  607
15.98/16.03	c ---[342479]---> BDD-cost:  607
15.98/16.05	c ---[342477]---> BDD-cost:  607
15.98/16.07	c ---[342475]---> BDD-cost:  607
15.98/16.09	c ---[342473]---> BDD-cost:  607
16.08/16.11	c ---[342471]---> BDD-cost:  607
16.08/16.13	c ---[342469]---> BDD-cost:  607
16.08/16.15	c ---[342467]---> BDD-cost:  607
16.08/16.17	c ---[342465]---> BDD-cost:  607
16.08/16.19	c ---[342463]---> BDD-cost:  607
16.18/16.21	c ---[342461]---> BDD-cost:  607
16.18/16.23	c ---[342459]---> BDD-cost:  607
16.18/16.25	c ---[342457]---> BDD-cost:  607
16.18/16.27	c ---[342455]---> BDD-cost:  607
16.18/16.29	c ---[342453]---> BDD-cost:  607
16.28/16.31	c ---[342451]---> BDD-cost:  607
16.28/16.33	c ---[342449]---> BDD-cost:  607
16.28/16.35	c ---[342447]---> BDD-cost:  607
16.28/16.37	c ---[342445]---> BDD-cost:  607
16.28/16.39	c ---[342443]---> BDD-cost:  607
16.38/16.42	c ---[342441]---> BDD-cost:  607
16.38/16.44	c ---[342439]---> BDD-cost:  607
16.38/16.46	c ---[342437]---> BDD-cost:  607
16.38/16.47	c ---[342435]---> BDD-cost:  607
16.38/16.49	c ---[342433]---> BDD-cost:  607
16.49/16.51	c ---[342431]---> BDD-cost:  607
16.49/16.53	c ---[342429]---> BDD-cost:  607
16.49/16.55	c ---[342427]---> BDD-cost:  607
16.49/16.57	c ---[342425]---> BDD-cost:  607
16.49/16.59	c ---[342423]---> BDD-cost:  607
16.59/16.61	c ---[342421]---> BDD-cost:  607
16.59/16.63	c ---[342419]---> BDD-cost:  607
16.59/16.65	c ---[342417]---> BDD-cost:  607
16.59/16.67	c ---[342415]---> BDD-cost:  607
16.59/16.69	c ---[342413]---> BDD-cost:  607
16.68/16.71	c ---[342411]---> BDD-cost:  607
16.68/16.73	c ---[342409]---> BDD-cost:  607
16.68/16.75	c ---[342407]---> BDD-cost:  607
16.68/16.77	c ---[342405]---> BDD-cost:  607
16.68/16.79	c ---[342403]---> BDD-cost:  607
16.78/16.81	c ---[342401]---> BDD-cost:  607
16.78/16.83	c ---[342399]---> BDD-cost:  607
16.78/16.85	c ---[342397]---> BDD-cost:  607
16.78/16.87	c ---[342395]---> BDD-cost:  607
16.78/16.89	c ---[342393]---> BDD-cost:  607
16.88/16.91	c ---[342391]---> BDD-cost:  607
16.88/16.93	c ---[342389]---> BDD-cost:  607
16.88/16.95	c ---[342387]---> BDD-cost:  607
16.88/16.97	c ---[342385]---> BDD-cost:  607
16.88/16.99	c ---[342383]---> BDD-cost:  607
16.98/17.01	c ---[342381]---> BDD-cost:  607
16.98/17.03	c ---[342379]---> BDD-cost:  607
16.98/17.05	c ---[342377]---> BDD-cost:  607
16.98/17.07	c ---[342375]---> BDD-cost:  607
16.98/17.09	c ---[342373]---> BDD-cost:  607
17.08/17.11	c ---[342371]---> BDD-cost:  607
17.08/17.13	c ---[342369]---> BDD-cost:  607
17.08/17.15	c ---[342367]---> BDD-cost:  607
17.08/17.17	c ---[342365]---> BDD-cost:  607
17.08/17.19	c ---[342363]---> BDD-cost:  607
17.18/17.21	c ---[342361]---> BDD-cost:  607
17.18/17.23	c ---[342359]---> BDD-cost:  607
17.18/17.25	c ---[342357]---> BDD-cost:  607
17.18/17.27	c ---[342355]---> BDD-cost:  607
17.18/17.29	c ---[342353]---> BDD-cost:  607
17.28/17.31	c ---[342351]---> BDD-cost:  607
17.28/17.33	c ---[342349]---> BDD-cost:  607
17.28/17.35	c ---[342347]---> BDD-cost:  607
17.28/17.37	c ---[342345]---> BDD-cost:  607
17.28/17.39	c ---[342343]---> BDD-cost:  607
17.38/17.41	c ---[342341]---> BDD-cost:  607
17.38/17.43	c ---[342339]---> BDD-cost:  607
17.38/17.45	c ---[342337]---> BDD-cost:  600
17.38/17.47	c ---[342336]---> BDD-cost:  379
17.38/17.48	c ---[342335]---> BDD-cost:  379
17.38/17.48	c ---[342334]---> BDD-cost:  379
17.38/17.49	c ---[342333]---> BDD-cost:  379
17.48/17.50	c ---[342332]---> BDD-cost:  379
17.48/17.51	c ---[342331]---> BDD-cost:  379
17.48/17.52	c ---[342330]---> BDD-cost:  379
17.48/17.53	c ---[342329]---> BDD-cost:  379
17.48/17.53	c ---[342328]---> BDD-cost:  379
17.48/17.54	c ---[342327]---> BDD-cost:  379
17.48/17.55	c ---[342326]---> BDD-cost:  379
17.48/17.56	c ---[342325]---> BDD-cost:  379
17.48/17.57	c ---[342324]---> BDD-cost:  379
17.48/17.57	c ---[342323]---> BDD-cost:  379
17.48/17.58	c ---[342322]---> BDD-cost:  379
17.48/17.59	c ---[342321]---> BDD-cost:  379
17.48/17.60	c ---[342320]---> BDD-cost:  379
17.59/17.61	c ---[342319]---> BDD-cost:  379
17.59/17.61	c ---[342318]---> BDD-cost:  379
17.59/17.62	c ---[342317]---> BDD-cost:  379
17.59/17.63	c ---[342316]---> BDD-cost:  379
17.59/17.64	c ---[342315]---> BDD-cost:  379
17.59/17.65	c ---[342314]---> BDD-cost:  379
17.59/17.65	c ---[342313]---> BDD-cost:  379
17.59/17.66	c ---[342312]---> BDD-cost:  379
17.59/17.67	c ---[342311]---> BDD-cost:  379
17.59/17.68	c ---[342310]---> BDD-cost:  379
17.59/17.69	c ---[342309]---> BDD-cost:  379
17.59/17.70	c ---[342308]---> BDD-cost:  379
17.69/17.70	c ---[342307]---> BDD-cost:  379
17.69/17.71	c ---[342306]---> BDD-cost:  379
17.69/17.72	c ---[342305]---> BDD-cost:  379
17.69/17.73	c ---[342304]---> BDD-cost:  379
17.69/17.74	c ---[342303]---> BDD-cost:  379
17.69/17.74	c ---[342302]---> BDD-cost:  379
17.69/17.75	c ---[342301]---> BDD-cost:  379
17.69/17.76	c ---[342300]---> BDD-cost:  379
17.69/17.77	c ---[342299]---> BDD-cost:  379
17.69/17.78	c ---[342298]---> BDD-cost:  379
17.69/17.78	c ---[342297]---> BDD-cost:  379
17.69/17.79	c ---[342296]---> BDD-cost:  379
17.78/17.80	c ---[342295]---> BDD-cost:  379
17.78/17.81	c ---[342294]---> BDD-cost:  379
17.78/17.82	c ---[342293]---> BDD-cost:  379
17.78/17.82	c ---[342292]---> BDD-cost:  379
17.78/17.83	c ---[342291]---> BDD-cost:  379
17.78/17.84	c ---[342290]---> BDD-cost:  379
17.78/17.85	c ---[342289]---> BDD-cost:  379
17.78/17.86	c ---[342288]---> BDD-cost:  379
17.78/17.86	c ---[342287]---> BDD-cost:  379
17.78/17.87	c ---[342286]---> BDD-cost:  379
17.78/17.88	c ---[342285]---> BDD-cost:  379
17.78/17.89	c ---[342284]---> BDD-cost:  379
17.88/17.90	c ---[342283]---> BDD-cost:  379
17.88/17.91	c ---[342282]---> BDD-cost:  379
17.88/17.91	c ---[342281]---> BDD-cost:  379
17.88/17.92	c ---[342280]---> BDD-cost:  379
17.88/17.93	c ---[342279]---> BDD-cost:  379
17.88/17.94	c ---[342278]---> BDD-cost:  379
17.88/17.95	c ---[342277]---> BDD-cost:  379
17.88/17.95	c ---[342276]---> BDD-cost:  379
17.88/17.96	c ---[342275]---> BDD-cost:  379
17.88/17.97	c ---[342274]---> BDD-cost:  379
17.88/17.98	c ---[342273]---> BDD-cost:  379
17.88/17.99	c ---[342272]---> BDD-cost:  379
17.88/17.99	c ---[342271]---> BDD-cost:  379
17.98/18.00	c ---[342270]---> BDD-cost:  379
17.98/18.01	c ---[342269]---> BDD-cost:  379
17.98/18.02	c ---[342268]---> BDD-cost:  379
17.98/18.03	c ---[342267]---> BDD-cost:  379
17.98/18.04	c ---[342266]---> BDD-cost:  379
17.98/18.04	c ---[342265]---> BDD-cost:  379
17.98/18.05	c ---[342264]---> BDD-cost:  379
17.98/18.06	c ---[342263]---> BDD-cost:  379
17.98/18.07	c ---[342262]---> BDD-cost:  379
17.98/18.08	c ---[342261]---> BDD-cost:  379
17.98/18.08	c ---[342260]---> BDD-cost:  379
17.98/18.09	c ---[342259]---> BDD-cost:  379
18.08/18.10	c ---[342258]---> BDD-cost:  379
18.08/18.11	c ---[342257]---> BDD-cost:  379
18.08/18.12	c ---[342256]---> BDD-cost:  379
18.08/18.13	c ---[342255]---> BDD-cost:  379
18.08/18.13	c ---[342254]---> BDD-cost:  379
18.08/18.14	c ---[342253]---> BDD-cost:  379
18.08/18.15	c ---[342252]---> BDD-cost:  379
18.08/18.16	c ---[342251]---> BDD-cost:  379
18.08/18.17	c ---[342250]---> BDD-cost:  379
18.08/18.17	c ---[342249]---> BDD-cost:  379
18.08/18.18	c ---[342248]---> BDD-cost:  379
18.08/18.19	c ---[342247]---> BDD-cost:  379
18.18/18.20	c ---[342246]---> BDD-cost:  379
18.18/18.21	c ---[342245]---> BDD-cost:  379
18.18/18.21	c ---[342244]---> BDD-cost:  379
18.18/18.22	c ---[342243]---> BDD-cost:  379
18.18/18.23	c ---[342242]---> BDD-cost:  379
18.18/18.24	c ---[342241]---> BDD-cost:  379
18.18/18.25	c ---[342240]---> BDD-cost:  379
18.18/18.25	c ---[342239]---> BDD-cost:  379
18.18/18.26	c ---[342238]---> BDD-cost:  379
18.18/18.27	c ---[342237]---> BDD-cost:  379
18.18/18.28	c ---[342236]---> BDD-cost:  379
18.18/18.29	c ---[342235]---> BDD-cost:  379
18.18/18.30	c ---[342234]---> BDD-cost:  379
18.28/18.30	c ---[342233]---> BDD-cost:  379
18.28/18.31	c ---[342232]---> BDD-cost:  379
18.28/18.32	c ---[342231]---> BDD-cost:  379
18.28/18.33	c ---[342230]---> BDD-cost:  379
18.28/18.34	c ---[342229]---> BDD-cost:  379
18.28/18.34	c ---[342228]---> BDD-cost:  379
18.28/18.35	c ---[342227]---> BDD-cost:  379
18.28/18.36	c ---[342226]---> BDD-cost:  379
18.28/18.37	c ---[342225]---> BDD-cost:  379
18.28/18.38	c ---[342224]---> BDD-cost:  379
18.28/18.38	c ---[342223]---> BDD-cost:  379
18.28/18.39	c ---[342222]---> BDD-cost:  379
18.38/18.40	c ---[342221]---> BDD-cost:  379
18.38/18.41	c ---[342220]---> BDD-cost:  379
18.38/18.42	c ---[342219]---> BDD-cost:  379
18.38/18.42	c ---[342218]---> BDD-cost:  379
18.38/18.43	c ---[342217]---> BDD-cost:  379
18.38/18.44	c ---[342216]---> BDD-cost:  379
18.38/18.45	c ---[342215]---> BDD-cost:  379
18.38/18.46	c ---[342214]---> BDD-cost:  379
18.38/18.46	c ---[342213]---> BDD-cost:  379
18.38/18.47	c ---[342212]---> BDD-cost:  379
18.38/18.48	c ---[342211]---> BDD-cost:  379
18.38/18.49	c ---[342210]---> BDD-cost:  379
18.48/18.50	c ---[342209]---> BDD-cost:  379
18.48/18.51	c ---[342208]---> BDD-cost:  379
18.48/18.51	c ---[342207]---> BDD-cost:  379
18.48/18.52	c ---[342206]---> BDD-cost:  379
18.48/18.53	c ---[342205]---> BDD-cost:  379
18.48/18.54	c ---[342204]---> BDD-cost:  379
18.48/18.55	c ---[342203]---> BDD-cost:  379
18.48/18.55	c ---[342202]---> BDD-cost:  379
18.48/18.56	c ---[342201]---> BDD-cost:  379
18.48/18.57	c ---[342200]---> BDD-cost:  379
18.48/18.58	c ---[342199]---> BDD-cost:  379
18.58/18.60	c ---[342198]---> BDD-cost:  379
18.58/18.61	c ---[342197]---> BDD-cost:  379
18.58/18.62	c ---[342196]---> BDD-cost:  379
18.58/18.63	c ---[342195]---> BDD-cost:  379
18.58/18.64	c ---[342194]---> BDD-cost:  379
18.58/18.64	c ---[342193]---> BDD-cost:  379
18.58/18.65	c ---[342192]---> BDD-cost:  379
18.58/18.66	c ---[342191]---> BDD-cost:  379
18.58/18.67	c ---[342190]---> BDD-cost:  379
18.58/18.68	c ---[342189]---> BDD-cost:  379
18.58/18.68	c ---[342188]---> BDD-cost:  379
18.58/18.69	c ---[342187]---> BDD-cost:  379
18.58/18.70	c ---[342186]---> BDD-cost:  379
18.69/18.71	c ---[342185]---> BDD-cost:  379
18.69/18.72	c ---[342184]---> BDD-cost:  379
18.69/18.73	c ---[342183]---> BDD-cost:  379
18.69/18.73	c ---[342182]---> BDD-cost:  379
18.69/18.74	c ---[342181]---> BDD-cost:  379
18.69/18.75	c ---[342180]---> BDD-cost:  379
18.69/18.76	c ---[342179]---> BDD-cost:  379
18.69/18.77	c ---[342178]---> BDD-cost:  379
18.69/18.77	c ---[342177]---> BDD-cost:  379
18.69/18.78	c ---[342176]---> BDD-cost:  379
18.69/18.79	c ---[342175]---> BDD-cost:  379
18.69/18.80	c ---[342174]---> BDD-cost:  379
18.79/18.81	c ---[342173]---> BDD-cost:  379
18.79/18.82	c ---[342172]---> BDD-cost:  379
18.79/18.82	c ---[342171]---> BDD-cost:  379
18.79/18.83	c ---[342170]---> BDD-cost:  379
18.79/18.84	c ---[342169]---> BDD-cost:  379
18.79/18.85	c ---[342168]---> BDD-cost:  379
18.79/18.86	c ---[342167]---> BDD-cost:  379
18.79/18.86	c ---[342166]---> BDD-cost:  379
18.79/18.87	c ---[342165]---> BDD-cost:  379
18.79/18.88	c ---[342164]---> BDD-cost:  379
18.79/18.89	c ---[342163]---> BDD-cost:  379
18.88/18.90	c ---[342162]---> BDD-cost:  379
18.88/18.91	c ---[342161]---> BDD-cost:  379
18.88/18.91	c ---[342160]---> BDD-cost:  379
18.88/18.92	c ---[342159]---> BDD-cost:  379
18.88/18.93	c ---[342158]---> BDD-cost:  379
18.88/18.94	c ---[342157]---> BDD-cost:  379
18.88/18.95	c ---[342156]---> BDD-cost:  379
18.88/18.95	c ---[342155]---> BDD-cost:  379
18.88/18.96	c ---[342154]---> BDD-cost:  379
18.88/18.97	c ---[342153]---> BDD-cost:  379
18.88/18.98	c ---[342152]---> BDD-cost:  379
18.88/18.99	c ---[342151]---> BDD-cost:  379
18.88/18.99	c ---[342150]---> BDD-cost:  379
18.98/19.00	c ---[342149]---> BDD-cost:  379
18.98/19.01	c ---[342148]---> BDD-cost:  379
18.98/19.02	c ---[342147]---> BDD-cost:  379
18.98/19.03	c ---[342146]---> BDD-cost:  379
18.98/19.03	c ---[342145]---> BDD-cost:  379
18.98/19.04	c ---[342144]---> BDD-cost:  379
18.98/19.05	c ---[342143]---> BDD-cost:  379
18.98/19.06	c ---[342142]---> BDD-cost:  379
18.98/19.07	c ---[342141]---> BDD-cost:  379
18.98/19.08	c ---[342140]---> BDD-cost:  379
18.98/19.08	c ---[342139]---> BDD-cost:  379
18.98/19.09	c ---[342138]---> BDD-cost:  379
19.08/19.10	c ---[342137]---> BDD-cost:  379
19.08/19.11	c ---[342136]---> BDD-cost:  379
19.08/19.12	c ---[342135]---> BDD-cost:  379
19.08/19.12	c ---[342134]---> BDD-cost:  379
19.08/19.13	c ---[342133]---> BDD-cost:  379
19.08/19.14	c ---[342132]---> BDD-cost:  379
19.08/19.15	c ---[342131]---> BDD-cost:  379
19.08/19.16	c ---[342130]---> BDD-cost:  379
19.08/19.16	c ---[342129]---> BDD-cost:  379
19.08/19.17	c ---[342128]---> BDD-cost:  379
19.08/19.18	c ---[342127]---> BDD-cost:  379
19.08/19.19	c ---[342126]---> BDD-cost:  379
19.18/19.20	c ---[342125]---> BDD-cost:  379
19.18/19.21	c ---[342124]---> BDD-cost:  379
19.18/19.21	c ---[342123]---> BDD-cost:  379
19.18/19.22	c ---[342122]---> BDD-cost:  379
19.18/19.23	c ---[342121]---> BDD-cost:  379
19.18/19.24	c ---[342120]---> BDD-cost:  379
19.18/19.25	c ---[342119]---> BDD-cost:  379
19.18/19.25	c ---[342118]---> BDD-cost:  379
19.18/19.26	c ---[342117]---> BDD-cost:  379
19.18/19.27	c ---[342116]---> BDD-cost:  379
19.18/19.28	c ---[342115]---> BDD-cost:  379
19.18/19.29	c ---[342114]---> BDD-cost:  379
19.18/19.29	c ---[342113]---> BDD-cost:  379
19.28/19.30	c ---[342112]---> BDD-cost:  379
19.28/19.31	c ---[342111]---> BDD-cost:  379
19.28/19.32	c ---[342110]---> BDD-cost:  379
19.28/19.33	c ---[342109]---> BDD-cost:  379
19.28/19.33	c ---[342108]---> BDD-cost:  379
19.28/19.34	c ---[342107]---> BDD-cost:  379
19.28/19.35	c ---[342106]---> BDD-cost:  379
19.28/19.36	c ---[342105]---> BDD-cost:  379
19.28/19.37	c ---[342104]---> BDD-cost:  379
19.28/19.37	c ---[342103]---> BDD-cost:  379
19.28/19.38	c ---[342102]---> BDD-cost:  379
19.28/19.39	c ---[342101]---> BDD-cost:  379
19.38/19.40	c ---[342100]---> BDD-cost:  379
19.38/19.41	c ---[342099]---> BDD-cost:  379
19.38/19.42	c ---[342098]---> BDD-cost:  379
19.38/19.42	c ---[342097]---> BDD-cost:  379
19.38/19.43	c ---[342096]---> BDD-cost:  379
19.38/19.44	c ---[342095]---> BDD-cost:  379
19.38/19.45	c ---[342094]---> BDD-cost:  379
19.38/19.46	c ---[342093]---> BDD-cost:  379
19.38/19.46	c ---[342092]---> BDD-cost:  379
19.38/19.47	c ---[342091]---> BDD-cost:  379
19.38/19.48	c ---[342090]---> BDD-cost:  379
19.38/19.49	c ---[342089]---> BDD-cost:  379
19.48/19.50	c ---[342088]---> BDD-cost:  379
19.48/19.51	c ---[342087]---> BDD-cost:  379
19.48/19.51	c ---[342086]---> BDD-cost:  379
19.48/19.52	c ---[342085]---> BDD-cost:  379
19.48/19.53	c ---[342084]---> BDD-cost:  379
19.48/19.54	c ---[342083]---> BDD-cost:  379
19.48/19.55	c ---[342082]---> BDD-cost:  379
19.48/19.55	c ---[342081]---> BDD-cost:  379
19.48/19.56	c ---[342080]---> BDD-cost:  379
19.48/19.57	c ---[342079]---> BDD-cost:  379
19.48/19.58	c ---[342078]---> BDD-cost:  379
19.48/19.59	c ---[342077]---> BDD-cost:  379
19.48/19.59	c ---[342076]---> BDD-cost:  379
19.58/19.60	c ---[342075]---> BDD-cost:  379
19.58/19.61	c ---[342074]---> BDD-cost:  379
19.58/19.62	c ---[342073]---> BDD-cost:  379
19.58/19.63	c ---[342072]---> BDD-cost:  379
19.58/19.63	c ---[342071]---> BDD-cost:  379
19.58/19.64	c ---[342070]---> BDD-cost:  379
19.58/19.65	c ---[342069]---> BDD-cost:  379
19.58/19.66	c ---[342068]---> BDD-cost:  379
19.58/19.67	c ---[342067]---> BDD-cost:  379
19.58/19.68	c ---[342066]---> BDD-cost:  379
19.58/19.68	c ---[342065]---> BDD-cost:  379
19.58/19.69	c ---[342064]---> BDD-cost:  379
19.68/19.70	c ---[342063]---> BDD-cost:  379
19.68/19.71	c ---[342062]---> BDD-cost:  379
19.68/19.72	c ---[342061]---> BDD-cost:  379
19.68/19.72	c ---[342060]---> BDD-cost:  379
19.68/19.73	c ---[342059]---> BDD-cost:  379
19.68/19.74	c ---[342058]---> BDD-cost:  379
19.68/19.75	c ---[342057]---> BDD-cost:  379
19.68/19.76	c ---[342056]---> BDD-cost:  379
19.68/19.76	c ---[342055]---> BDD-cost:  379
19.68/19.77	c ---[342054]---> BDD-cost:  379
19.68/19.78	c ---[342053]---> BDD-cost:  379
19.68/19.79	c ---[342052]---> BDD-cost:  379
19.68/19.80	c ---[342051]---> BDD-cost:  379
19.79/19.80	c ---[342050]---> BDD-cost:  379
19.79/19.81	c ---[342049]---> BDD-cost:  379
19.79/19.82	c ---[342048]---> BDD-cost:  379
19.79/19.83	c ---[342047]---> BDD-cost:  379
19.79/19.84	c ---[342046]---> BDD-cost:  379
19.79/19.84	c ---[342045]---> BDD-cost:  379
19.79/19.85	c ---[342044]---> BDD-cost:  379
19.79/19.86	c ---[342043]---> BDD-cost:  379
19.79/19.87	c ---[342042]---> BDD-cost:  379
19.79/19.88	c ---[342041]---> BDD-cost:  379
19.79/19.89	c ---[342040]---> BDD-cost:  379
19.79/19.89	c ---[342039]---> BDD-cost:  379
19.79/19.90	c ---[342038]---> BDD-cost:  379
19.89/19.91	c ---[342037]---> BDD-cost:  379
19.89/19.92	c ---[342036]---> BDD-cost:  379
19.89/19.93	c ---[342035]---> BDD-cost:  379
19.89/19.93	c ---[342034]---> BDD-cost:  379
19.89/19.94	c ---[342033]---> BDD-cost:  379
19.89/19.95	c ---[342032]---> BDD-cost:  379
19.89/19.96	c ---[342031]---> BDD-cost:  379
19.89/19.97	c ---[342030]---> BDD-cost:  379
19.89/19.97	c ---[342029]---> BDD-cost:  379
19.89/19.98	c ---[342028]---> BDD-cost:  379
19.89/19.99	c ---[342027]---> BDD-cost:  379
19.98/20.00	c ---[342026]---> BDD-cost:  379
19.98/20.01	c ---[342025]---> BDD-cost:  379
19.98/20.02	c ---[342024]---> BDD-cost:  379
19.98/20.02	c ---[342023]---> BDD-cost:  379
19.98/20.03	c ---[342022]---> BDD-cost:  379
19.98/20.04	c ---[342021]---> BDD-cost:  379
19.98/20.05	c ---[342020]---> BDD-cost:  379
19.98/20.06	c ---[342019]---> BDD-cost:  379
19.98/20.06	c ---[342018]---> BDD-cost:  379
19.98/20.07	c ---[342017]---> BDD-cost:  379
19.98/20.08	c ---[342016]---> BDD-cost:  379
19.98/20.09	c ---[342015]---> BDD-cost:  379
20.08/20.10	c ---[342014]---> BDD-cost:  379
20.08/20.11	c ---[342013]---> BDD-cost:  379
20.08/20.11	c ---[342012]---> BDD-cost:  379
20.08/20.12	c ---[342011]---> BDD-cost:  379
20.08/20.13	c ---[342010]---> BDD-cost:  379
20.08/20.14	c ---[342009]---> BDD-cost:  379
20.08/20.15	c ---[342008]---> BDD-cost:  379
20.08/20.15	c ---[342007]---> BDD-cost:  379
20.08/20.16	c ---[342006]---> BDD-cost:  379
20.08/20.17	c ---[342005]---> BDD-cost:  379
20.08/20.18	c ---[342004]---> BDD-cost:  379
20.08/20.19	c ---[342003]---> BDD-cost:  379
20.08/20.19	c ---[342002]---> BDD-cost:  379
20.18/20.20	c ---[342001]---> BDD-cost:  379
20.18/20.21	c ---[342000]---> BDD-cost:  379
20.18/20.22	c ---[341999]---> BDD-cost:  379
20.18/20.23	c ---[341998]---> BDD-cost:  379
20.18/20.24	c ---[341997]---> BDD-cost:  379
20.18/20.24	c ---[341996]---> BDD-cost:  379
20.18/20.25	c ---[341995]---> BDD-cost:  379
20.18/20.26	c ---[341994]---> BDD-cost:  379
20.18/20.27	c ---[341993]---> BDD-cost:  379
20.18/20.28	c ---[341992]---> BDD-cost:  379
20.18/20.28	c ---[341991]---> BDD-cost:  379
20.18/20.29	c ---[341990]---> BDD-cost:  379
20.28/20.30	c ---[341989]---> BDD-cost:  379
20.28/20.31	c ---[341988]---> BDD-cost:  379
20.28/20.32	c ---[341987]---> BDD-cost:  379
20.28/20.32	c ---[341986]---> BDD-cost:  379
20.28/20.33	c ---[341985]---> BDD-cost:  379
20.28/20.34	c ---[341984]---> BDD-cost:  379
20.28/20.35	c ---[341983]---> BDD-cost:  379
20.28/20.36	c ---[341982]---> BDD-cost:  379
20.28/20.36	c ---[341981]---> BDD-cost:  379
20.28/20.37	c ---[341980]---> BDD-cost:  379
20.28/20.38	c ---[341979]---> BDD-cost:  379
20.28/20.39	c ---[341978]---> BDD-cost:  379
20.38/20.40	c ---[341977]---> BDD-cost:  379
20.38/20.41	c ---[341976]---> BDD-cost:  379
20.38/20.41	c ---[341975]---> BDD-cost:  379
20.38/20.42	c ---[341974]---> BDD-cost:  379
20.38/20.43	c ---[341973]---> BDD-cost:  379
20.38/20.44	c ---[341972]---> BDD-cost:  379
20.38/20.45	c ---[341971]---> BDD-cost:  379
20.38/20.45	c ---[341970]---> BDD-cost:  379
20.38/20.46	c ---[341969]---> BDD-cost:  379
20.38/20.47	c ---[341968]---> BDD-cost:  379
20.38/20.48	c ---[341967]---> BDD-cost:  379
20.38/20.49	c ---[341966]---> BDD-cost:  379
20.38/20.49	c ---[341965]---> BDD-cost:  379
20.48/20.50	c ---[341964]---> BDD-cost:  379
20.48/20.51	c ---[341963]---> BDD-cost:  379
20.48/20.52	c ---[341962]---> BDD-cost:  379
20.48/20.53	c ---[341961]---> BDD-cost:  379
20.48/20.53	c ---[341960]---> BDD-cost:  379
20.48/20.54	c ---[341959]---> BDD-cost:  379
20.48/20.55	c ---[341958]---> BDD-cost:  379
20.48/20.56	c ---[341957]---> BDD-cost:  379
20.48/20.57	c ---[341956]---> BDD-cost:  379
20.48/20.57	c ---[341955]---> BDD-cost:  379
20.48/20.58	c ---[341954]---> BDD-cost:  379
20.48/20.59	c ---[341953]---> BDD-cost:  379
20.58/20.60	c ---[341952]---> BDD-cost:  379
20.58/20.61	c ---[341951]---> BDD-cost:  379
20.58/20.62	c ---[341950]---> BDD-cost:  379
20.58/20.62	c ---[341949]---> BDD-cost:  379
20.58/20.63	c ---[341948]---> BDD-cost:  379
20.58/20.64	c ---[341947]---> BDD-cost:  379
20.58/20.65	c ---[341946]---> BDD-cost:  379
20.58/20.66	c ---[341945]---> BDD-cost:  379
20.58/20.66	c ---[341944]---> BDD-cost:  379
20.58/20.67	c ---[341943]---> BDD-cost:  379
20.58/20.68	c ---[341942]---> BDD-cost:  379
20.58/20.69	c ---[341941]---> BDD-cost:  379
20.68/20.70	c ---[341940]---> BDD-cost:  379
20.68/20.70	c ---[341939]---> BDD-cost:  379
20.68/20.71	c ---[341938]---> BDD-cost:  379
20.68/20.72	c ---[341937]---> BDD-cost:  379
20.68/20.73	c ---[341936]---> BDD-cost:  379
20.68/20.74	c ---[341935]---> BDD-cost:  379
20.68/20.74	c ---[341934]---> BDD-cost:  379
20.68/20.75	c ---[341933]---> BDD-cost:  379
20.68/20.76	c ---[341932]---> BDD-cost:  379
20.68/20.77	c ---[341931]---> BDD-cost:  379
20.68/20.78	c ---[341930]---> BDD-cost:  379
20.68/20.78	c ---[341929]---> BDD-cost:  379
20.68/20.79	c ---[341928]---> BDD-cost:  379
20.78/20.80	c ---[341927]---> BDD-cost:  379
20.78/20.81	c ---[341926]---> BDD-cost:  379
20.78/20.82	c ---[341925]---> BDD-cost:  379
20.78/20.83	c ---[341924]---> BDD-cost:  379
20.78/20.83	c ---[341923]---> BDD-cost:  379
20.78/20.84	c ---[341922]---> BDD-cost:  379
20.78/20.85	c ---[341921]---> BDD-cost:  379
20.78/20.86	c ---[341920]---> BDD-cost:  379
20.78/20.87	c ---[341919]---> BDD-cost:  379
20.78/20.87	c ---[341918]---> BDD-cost:  379
20.78/20.88	c ---[341917]---> BDD-cost:  379
20.78/20.89	c ---[341916]---> BDD-cost:  379
20.78/20.90	c ---[341915]---> BDD-cost:  379
20.88/20.91	c ---[341914]---> BDD-cost:  379
20.88/20.91	c ---[341913]---> BDD-cost:  379
20.88/20.92	c ---[341912]---> BDD-cost:  379
20.88/20.93	c ---[341911]---> BDD-cost:  379
20.88/20.94	c ---[341910]---> BDD-cost:  379
20.88/20.95	c ---[341909]---> BDD-cost:  379
20.88/20.96	c ---[341908]---> BDD-cost:  379
20.88/20.96	c ---[341907]---> BDD-cost:  379
20.88/20.97	c ---[341906]---> BDD-cost:  379
20.88/20.98	c ---[341905]---> BDD-cost:  379
20.88/20.99	c ---[341904]---> BDD-cost:  379
20.88/21.00	c ---[341903]---> BDD-cost:  379
20.98/21.00	c ---[341902]---> BDD-cost:  379
20.98/21.01	c ---[341901]---> BDD-cost:  379
20.98/21.02	c ---[341900]---> BDD-cost:  379
20.98/21.03	c ---[341899]---> BDD-cost:  379
20.98/21.03	c ---[341898]---> BDD-cost:  379
20.98/21.04	c ---[341897]---> BDD-cost:  379
20.98/21.05	c ---[341896]---> BDD-cost:  379
20.98/21.06	c ---[341895]---> BDD-cost:  379
20.98/21.06	c ---[341894]---> BDD-cost:  379
20.98/21.07	c ---[341893]---> BDD-cost:  379
20.98/21.08	c ---[341892]---> BDD-cost:  379
20.98/21.09	c ---[341891]---> BDD-cost:  379
21.08/21.10	c ---[341890]---> BDD-cost:  379
21.08/21.10	c ---[341889]---> BDD-cost:  379
21.08/21.11	c ---[341888]---> BDD-cost:  379
21.08/21.12	c ---[341887]---> BDD-cost:  379
21.08/21.13	c ---[341886]---> BDD-cost:  379
21.08/21.14	c ---[341885]---> BDD-cost:  379
21.08/21.15	c ---[341884]---> BDD-cost:  379
21.08/21.15	c ---[341883]---> BDD-cost:  379
21.08/21.16	c ---[341882]---> BDD-cost:  379
21.08/21.17	c ---[341881]---> BDD-cost:  379
21.08/21.18	c ---[341880]---> BDD-cost:  379
21.08/21.19	c ---[341879]---> BDD-cost:  379
21.17/21.20	c ---[341878]---> BDD-cost:  379
21.17/21.20	c ---[341877]---> BDD-cost:  379
21.17/21.21	c ---[341876]---> BDD-cost:  379
21.17/21.22	c ---[341875]---> BDD-cost:  379
21.17/21.23	c ---[341874]---> BDD-cost:  379
21.17/21.24	c ---[341873]---> BDD-cost:  379
21.17/21.24	c ---[341872]---> BDD-cost:  379
21.17/21.25	c ---[341871]---> BDD-cost:  379
21.17/21.26	c ---[341870]---> BDD-cost:  379
21.17/21.27	c ---[341869]---> BDD-cost:  379
21.17/21.28	c ---[341868]---> BDD-cost:  379
21.17/21.29	c ---[341867]---> BDD-cost:  379
21.17/21.29	c ---[341866]---> BDD-cost:  379
21.27/21.30	c ---[341865]---> BDD-cost:  379
21.27/21.31	c ---[341864]---> BDD-cost:  379
21.27/21.32	c ---[341863]---> BDD-cost:  379
21.27/21.33	c ---[341862]---> BDD-cost:  379
21.27/21.33	c ---[341861]---> BDD-cost:  379
21.27/21.34	c ---[341860]---> BDD-cost:  379
21.27/21.35	c ---[341859]---> BDD-cost:  379
21.27/21.36	c ---[341858]---> BDD-cost:  379
21.27/21.37	c ---[341857]---> BDD-cost:  379
21.27/21.37	c ---[341856]---> BDD-cost:  379
21.27/21.38	c ---[341855]---> BDD-cost:  379
21.27/21.39	c ---[341854]---> BDD-cost:  379
21.37/21.40	c ---[341853]---> BDD-cost:  379
21.37/21.41	c ---[341852]---> BDD-cost:  379
21.37/21.42	c ---[341851]---> BDD-cost:  379
21.37/21.42	c ---[341850]---> BDD-cost:  379
21.37/21.43	c ---[341849]---> BDD-cost:  379
21.37/21.44	c ---[341848]---> BDD-cost:  379
21.37/21.45	c ---[341847]---> BDD-cost:  379
21.37/21.46	c ---[341846]---> BDD-cost:  379
21.37/21.46	c ---[341845]---> BDD-cost:  379
21.37/21.47	c ---[341844]---> BDD-cost:  379
21.37/21.48	c ---[341843]---> BDD-cost:  379
21.37/21.49	c ---[341842]---> BDD-cost:  379
21.47/21.50	c ---[341841]---> BDD-cost:  379
21.47/21.50	c ---[341840]---> BDD-cost:  379
21.47/21.51	c ---[341839]---> BDD-cost:  379
21.47/21.52	c ---[341838]---> BDD-cost:  379
21.47/21.53	c ---[341837]---> BDD-cost:  379
21.47/21.54	c ---[341836]---> BDD-cost:  379
21.47/21.54	c ---[341835]---> BDD-cost:  379
21.47/21.55	c ---[341834]---> BDD-cost:  379
21.47/21.56	c ---[341833]---> BDD-cost:  379
21.47/21.57	c ---[341832]---> BDD-cost:  379
21.47/21.58	c ---[341831]---> BDD-cost:  379
21.47/21.58	c ---[341830]---> BDD-cost:  379
21.47/21.59	c ---[341829]---> BDD-cost:  379
21.57/21.60	c ---[341828]---> BDD-cost:  379
21.57/21.61	c ---[341827]---> BDD-cost:  379
21.57/21.62	c ---[341826]---> BDD-cost:  379
21.57/21.63	c ---[341825]---> BDD-cost:  379
21.57/21.63	c ---[341824]---> BDD-cost:  379
21.57/21.64	c ---[341823]---> BDD-cost:  379
21.57/21.65	c ---[341822]---> BDD-cost:  379
21.57/21.66	c ---[341821]---> BDD-cost:  379
21.57/21.67	c ---[341820]---> BDD-cost:  379
21.57/21.67	c ---[341819]---> BDD-cost:  379
21.57/21.68	c ---[341818]---> BDD-cost:  379
21.57/21.69	c ---[341817]---> BDD-cost:  379
21.67/21.70	c ---[341816]---> BDD-cost:  379
21.67/21.71	c ---[341815]---> BDD-cost:  379
21.67/21.72	c ---[341814]---> BDD-cost:  379
21.67/21.72	c ---[341813]---> BDD-cost:  379
21.67/21.73	c ---[341812]---> BDD-cost:  379
21.67/21.74	c ---[341811]---> BDD-cost:  379
21.67/21.75	c ---[341810]---> BDD-cost:  379
21.67/21.76	c ---[341809]---> BDD-cost:  379
21.67/21.76	c ---[341808]---> BDD-cost:  379
21.67/21.77	c ---[341807]---> BDD-cost:  379
21.67/21.78	c ---[341806]---> BDD-cost:  379
21.67/21.79	c ---[341805]---> BDD-cost:  379
21.77/21.80	c ---[341804]---> BDD-cost:  379
21.77/21.80	c ---[341803]---> BDD-cost:  379
21.77/21.81	c ---[341802]---> BDD-cost:  379
21.77/21.82	c ---[341801]---> BDD-cost:  379
21.77/21.83	c ---[341800]---> BDD-cost:  379
21.77/21.84	c ---[341799]---> BDD-cost:  379
21.77/21.84	c ---[341798]---> BDD-cost:  379
21.77/21.85	c ---[341797]---> BDD-cost:  379
21.77/21.86	c ---[341796]---> BDD-cost:  379
21.77/21.87	c ---[341795]---> BDD-cost:  379
21.77/21.88	c ---[341794]---> BDD-cost:  379
21.77/21.89	c ---[341793]---> BDD-cost:  379
21.77/21.89	c ---[341792]---> BDD-cost:  379
21.87/21.90	c ---[341791]---> BDD-cost:  379
21.87/21.91	c ---[341790]---> BDD-cost:  379
21.87/21.92	c ---[341789]---> BDD-cost:  379
21.87/21.93	c ---[341788]---> BDD-cost:  379
21.87/21.93	c ---[341787]---> BDD-cost:  379
21.87/21.94	c ---[341786]---> BDD-cost:  379
21.87/21.95	c ---[341785]---> BDD-cost:  379
21.87/21.96	c ---[341784]---> BDD-cost:  379
21.87/21.97	c ---[341783]---> BDD-cost:  379
21.87/21.97	c ---[341782]---> BDD-cost:  379
21.87/21.98	c ---[341781]---> BDD-cost:  379
21.87/21.99	c ---[341780]---> BDD-cost:  379
21.87/22.00	c ---[341779]---> BDD-cost:  379
21.98/22.01	c ---[341778]---> BDD-cost:  379
21.98/22.02	c ---[341777]---> BDD-cost:  379
21.98/22.02	c ---[341776]---> BDD-cost:  379
21.98/22.03	c ---[341775]---> BDD-cost:  379
21.98/22.04	c ---[341774]---> BDD-cost:  379
21.98/22.05	c ---[341773]---> BDD-cost:  379
21.98/22.06	c ---[341772]---> BDD-cost:  379
21.98/22.06	c ---[341771]---> BDD-cost:  379
21.98/22.07	c ---[341770]---> BDD-cost:  379
21.98/22.08	c ---[341769]---> BDD-cost:  379
21.98/22.09	c ---[341768]---> BDD-cost:  379
21.98/22.10	c ---[341767]---> BDD-cost:  379
22.08/22.10	c ---[341766]---> BDD-cost:  379
22.08/22.11	c ---[341765]---> BDD-cost:  379
22.08/22.12	c ---[341764]---> BDD-cost:  379
22.08/22.13	c ---[341763]---> BDD-cost:  379
22.08/22.14	c ---[341762]---> BDD-cost:  379
22.08/22.14	c ---[341761]---> BDD-cost:  379
22.08/22.15	c ---[341760]---> BDD-cost:  379
22.08/22.16	c ---[341759]---> BDD-cost:  379
22.08/22.17	c ---[341758]---> BDD-cost:  379
22.08/22.18	c ---[341757]---> BDD-cost:  379
22.08/22.18	c ---[341756]---> BDD-cost:  379
22.08/22.19	c ---[341755]---> BDD-cost:  379
22.17/22.20	c ---[341754]---> BDD-cost:  379
22.17/22.25	c ---[341753]---> BDD-cost:  379
22.17/22.26	c ---[341752]---> BDD-cost:  379
22.17/22.26	c ---[341751]---> BDD-cost:  379
22.17/22.27	c ---[341750]---> BDD-cost:  379
22.17/22.28	c ---[341749]---> BDD-cost:  379
22.17/22.29	c ---[341748]---> BDD-cost:  379
22.28/22.30	c ---[341747]---> BDD-cost:  379
22.28/22.31	c ---[341746]---> BDD-cost:  379
22.28/22.31	c ---[341745]---> BDD-cost:  379
22.28/22.32	c ---[341744]---> BDD-cost:  379
22.28/22.33	c ---[341743]---> BDD-cost:  379
22.28/22.34	c ---[341742]---> BDD-cost:  379
22.28/22.35	c ---[341741]---> BDD-cost:  379
22.28/22.35	c ---[341740]---> BDD-cost:  379
22.28/22.36	c ---[341739]---> BDD-cost:  379
22.28/22.37	c ---[341738]---> BDD-cost:  379
22.28/22.38	c ---[341737]---> BDD-cost:  379
22.28/22.39	c ---[341736]---> BDD-cost:  379
22.38/22.40	c ---[341735]---> BDD-cost:  379
22.38/22.40	c ---[341734]---> BDD-cost:  379
22.38/22.41	c ---[341733]---> BDD-cost:  379
22.38/22.42	c ---[341732]---> BDD-cost:  379
22.38/22.43	c ---[341731]---> BDD-cost:  379
22.38/22.44	c ---[341730]---> BDD-cost:  379
22.38/22.44	c ---[341729]---> BDD-cost:  379
22.38/22.45	c ---[341728]---> BDD-cost:  379
22.38/22.46	c ---[341727]---> BDD-cost:  379
22.38/22.47	c ---[341726]---> BDD-cost:  379
22.38/22.48	c ---[341725]---> BDD-cost:  379
22.38/22.48	c ---[341724]---> BDD-cost:  379
22.38/22.49	c ---[341723]---> BDD-cost:  379
22.48/22.50	c ---[341722]---> BDD-cost:  379
22.48/22.51	c ---[341721]---> BDD-cost:  379
22.48/22.52	c ---[341720]---> BDD-cost:  379
22.48/22.53	c ---[341719]---> BDD-cost:  379
22.48/22.53	c ---[341718]---> BDD-cost:  379
22.48/22.54	c ---[341717]---> BDD-cost:  379
22.48/22.55	c ---[341716]---> BDD-cost:  379
22.48/22.56	c ---[341715]---> BDD-cost:  379
22.48/22.57	c ---[341714]---> BDD-cost:  379
22.48/22.57	c ---[341713]---> BDD-cost:  379
22.48/22.58	c ---[341712]---> BDD-cost:  379
22.48/22.59	c ---[341711]---> BDD-cost:  379
22.58/22.60	c ---[341710]---> BDD-cost:  379
22.58/22.61	c ---[341709]---> BDD-cost:  379
22.58/22.61	c ---[341708]---> BDD-cost:  379
22.58/22.62	c ---[341707]---> BDD-cost:  379
22.58/22.63	c ---[341706]---> BDD-cost:  379
22.58/22.64	c ---[341705]---> BDD-cost:  379
22.58/22.65	c ---[341704]---> BDD-cost:  379
22.58/22.66	c ---[341703]---> BDD-cost:  379
22.58/22.66	c ---[341702]---> BDD-cost:  379
22.58/22.67	c ---[341701]---> BDD-cost:  379
22.58/22.68	c ---[341700]---> BDD-cost:  379
22.58/22.69	c ---[341699]---> BDD-cost:  379
22.68/22.70	c ---[341698]---> BDD-cost:  379
22.68/22.70	c ---[341697]---> BDD-cost:  379
22.68/22.71	c ---[341696]---> BDD-cost:  379
22.68/22.72	c ---[341695]---> BDD-cost:  379
22.68/22.73	c ---[341694]---> BDD-cost:  379
22.68/22.74	c ---[341693]---> BDD-cost:  379
22.68/22.74	c ---[341692]---> BDD-cost:  379
22.68/22.75	c ---[341691]---> BDD-cost:  379
22.68/22.76	c ---[341690]---> BDD-cost:  379
22.68/22.77	c ---[341689]---> BDD-cost:  379
22.68/22.78	c ---[341688]---> BDD-cost:  379
22.68/22.78	c ---[341687]---> BDD-cost:  379
22.68/22.79	c ---[341686]---> BDD-cost:  379
22.78/22.80	c ---[341685]---> BDD-cost:  379
22.78/22.81	c ---[341684]---> BDD-cost:  379
22.78/22.82	c ---[341683]---> BDD-cost:  379
22.78/22.83	c ---[341682]---> BDD-cost:  379
22.78/22.83	c ---[341681]---> BDD-cost:  379
22.78/22.84	c ---[341680]---> BDD-cost:  379
22.78/22.85	c ---[341679]---> BDD-cost:  379
22.78/22.86	c ---[341678]---> BDD-cost:  379
22.78/22.87	c ---[341677]---> BDD-cost:  379
22.78/22.87	c ---[341676]---> BDD-cost:  379
22.78/22.88	c ---[341675]---> BDD-cost:  379
22.78/22.89	c ---[341674]---> BDD-cost:  379
22.88/22.90	c ---[341673]---> BDD-cost:  379
22.88/22.91	c ---[341672]---> BDD-cost:  379
22.88/22.91	c ---[341671]---> BDD-cost:  379
22.88/22.92	c ---[341670]---> BDD-cost:  379
22.88/22.93	c ---[341669]---> BDD-cost:  379
22.88/22.94	c ---[341668]---> BDD-cost:  379
22.88/22.95	c ---[341667]---> BDD-cost:  379
22.88/22.95	c ---[341666]---> BDD-cost:  379
22.88/22.96	c ---[341665]---> BDD-cost:  379
22.88/22.97	c ---[341664]---> BDD-cost:  379
22.88/22.98	c ---[341663]---> BDD-cost:  379
22.88/22.99	c ---[341662]---> BDD-cost:  379
22.88/22.99	c ---[341661]---> BDD-cost:  379
22.98/23.00	c ---[341660]---> BDD-cost:  379
22.98/23.01	c ---[341659]---> BDD-cost:  379
22.98/23.02	c ---[341658]---> BDD-cost:  379
22.98/23.03	c ---[341657]---> BDD-cost:  379
22.98/23.03	c ---[341656]---> BDD-cost:  379
22.98/23.04	c ---[341655]---> BDD-cost:  379
22.98/23.05	c ---[341654]---> BDD-cost:  379
22.98/23.06	c ---[341653]---> BDD-cost:  379
22.98/23.07	c ---[341652]---> BDD-cost:  379
22.98/23.08	c ---[341651]---> BDD-cost:  379
22.98/23.08	c ---[341650]---> BDD-cost:  379
22.98/23.09	c ---[341649]---> BDD-cost:  379
22.98/23.10	c ---[341648]---> BDD-cost:  379
23.09/23.11	c ---[341647]---> BDD-cost:  379
23.09/23.12	c ---[341646]---> BDD-cost:  379
23.09/23.12	c ---[341645]---> BDD-cost:  379
23.09/23.13	c ---[341644]---> BDD-cost:  379
23.09/23.14	c ---[341643]---> BDD-cost:  379
23.09/23.15	c ---[341642]---> BDD-cost:  379
23.09/23.16	c ---[341641]---> BDD-cost:  379
23.09/23.16	c ---[341640]---> BDD-cost:  379
23.09/23.17	c ---[341639]---> BDD-cost:  379
23.09/23.18	c ---[341638]---> BDD-cost:  379
23.09/23.19	c ---[341637]---> BDD-cost:  379
23.09/23.20	c ---[341636]---> BDD-cost:  379
23.19/23.20	c ---[341635]---> BDD-cost:  379
23.19/23.21	c ---[341634]---> BDD-cost:  379
23.19/23.22	c ---[341633]---> BDD-cost:  379
23.19/23.23	c ---[341632]---> BDD-cost:  379
23.19/23.24	c ---[341631]---> BDD-cost:  379
23.19/23.25	c ---[341630]---> BDD-cost:  379
23.19/23.25	c ---[341629]---> BDD-cost:  379
23.19/23.26	c ---[341628]---> BDD-cost:  379
23.19/23.27	c ---[341627]---> BDD-cost:  379
23.19/23.28	c ---[341626]---> BDD-cost:  379
23.19/23.29	c ---[341625]---> BDD-cost:  379
23.19/23.29	c ---[341624]---> BDD-cost:  379
23.28/23.30	c ---[341623]---> BDD-cost:  379
23.28/23.31	c ---[341622]---> BDD-cost:  379
23.28/23.32	c ---[341621]---> BDD-cost:  379
23.28/23.33	c ---[341620]---> BDD-cost:  379
23.28/23.33	c ---[341619]---> BDD-cost:  379
23.28/23.34	c ---[341618]---> BDD-cost:  379
23.28/23.35	c ---[341617]---> BDD-cost:  379
23.28/23.36	c ---[341616]---> BDD-cost:  379
23.28/23.37	c ---[341615]---> BDD-cost:  379
23.28/23.37	c ---[341614]---> BDD-cost:  379
23.28/23.38	c ---[341613]---> BDD-cost:  379
23.28/23.39	c ---[341612]---> BDD-cost:  379
23.38/23.40	c ---[341611]---> BDD-cost:  379
23.38/23.41	c ---[341610]---> BDD-cost:  379
23.38/23.42	c ---[341609]---> BDD-cost:  379
23.38/23.42	c ---[341608]---> BDD-cost:  379
23.38/23.43	c ---[341607]---> BDD-cost:  379
23.38/23.44	c ---[341606]---> BDD-cost:  379
23.38/23.45	c ---[341605]---> BDD-cost:  379
23.38/23.46	c ---[341604]---> BDD-cost:  379
23.38/23.46	c ---[341603]---> BDD-cost:  379
23.38/23.47	c ---[341602]---> BDD-cost:  379
23.38/23.48	c ---[341601]---> BDD-cost:  379
23.38/23.49	c ---[341600]---> BDD-cost:  379
23.48/23.50	c ---[341599]---> BDD-cost:  379
23.48/23.51	c ---[341598]---> BDD-cost:  379
23.48/23.51	c ---[341597]---> BDD-cost:  379
23.48/23.52	c ---[341596]---> BDD-cost:  379
23.48/23.53	c ---[341595]---> BDD-cost:  379
23.48/23.54	c ---[341594]---> BDD-cost:  379
23.48/23.55	c ---[341593]---> BDD-cost:  379
23.48/23.55	c ---[341592]---> BDD-cost:  379
23.48/23.56	c ---[341591]---> BDD-cost:  379
23.48/23.57	c ---[341590]---> BDD-cost:  379
23.48/23.58	c ---[341589]---> BDD-cost:  379
23.48/23.59	c ---[341588]---> BDD-cost:  379
23.48/23.59	c ---[341587]---> BDD-cost:  379
23.58/23.60	c ---[341586]---> BDD-cost:  379
23.58/23.61	c ---[341585]---> BDD-cost:  379
23.58/23.62	c ---[341584]---> BDD-cost:  379
23.58/23.63	c ---[341583]---> BDD-cost:  379
23.58/23.64	c ---[341582]---> BDD-cost:  379
23.58/23.64	c ---[341581]---> BDD-cost:  379
23.58/23.65	c ---[341580]---> BDD-cost:  379
23.58/23.66	c ---[341579]---> BDD-cost:  379
23.58/23.67	c ---[341578]---> BDD-cost:  379
23.58/23.68	c ---[341577]---> BDD-cost:  379
23.58/23.68	c ---[341576]---> BDD-cost:  379
23.58/23.69	c ---[341575]---> BDD-cost:  379
23.68/23.70	c ---[341574]---> BDD-cost:  379
23.68/23.71	c ---[341573]---> BDD-cost:  379
23.68/23.72	c ---[341572]---> BDD-cost:  379
23.68/23.72	c ---[341571]---> BDD-cost:  379
23.68/23.73	c ---[341570]---> BDD-cost:  379
23.68/23.74	c ---[341569]---> BDD-cost:  379
23.68/23.75	c ---[341568]---> BDD-cost:  379
23.68/23.76	c ---[341567]---> BDD-cost:  379
23.68/23.76	c ---[341566]---> BDD-cost:  379
23.68/23.77	c ---[341565]---> BDD-cost:  379
23.68/23.78	c ---[341564]---> BDD-cost:  379
23.68/23.79	c ---[341563]---> BDD-cost:  379
23.78/23.80	c ---[341562]---> BDD-cost:  379
23.78/23.81	c ---[341561]---> BDD-cost:  379
23.78/23.81	c ---[341560]---> BDD-cost:  379
23.78/23.82	c ---[341559]---> BDD-cost:  379
23.78/23.83	c ---[341558]---> BDD-cost:  379
23.78/23.84	c ---[341557]---> BDD-cost:  379
23.78/23.85	c ---[341556]---> BDD-cost:  379
23.78/23.85	c ---[341555]---> BDD-cost:  379
23.78/23.86	c ---[341554]---> BDD-cost:  379
23.78/23.87	c ---[341553]---> BDD-cost:  379
23.78/23.88	c ---[341552]---> BDD-cost:  379
23.78/23.89	c ---[341551]---> BDD-cost:  379
23.78/23.89	c ---[341550]---> BDD-cost:  379
23.88/23.90	c ---[341549]---> BDD-cost:  379
23.88/23.91	c ---[341548]---> BDD-cost:  379
23.88/23.92	c ---[341547]---> BDD-cost:  379
23.88/23.93	c ---[341546]---> BDD-cost:  379
23.88/23.94	c ---[341545]---> BDD-cost:  379
23.88/23.94	c ---[341544]---> BDD-cost:  379
23.88/23.95	c ---[341543]---> BDD-cost:  379
23.88/23.96	c ---[341542]---> BDD-cost:  379
23.88/23.97	c ---[341541]---> BDD-cost:  379
23.88/23.98	c ---[341540]---> BDD-cost:  379
23.88/23.98	c ---[341539]---> BDD-cost:  379
23.88/23.99	c ---[341538]---> BDD-cost:  379
23.98/24.00	c ---[341537]---> BDD-cost:  379
23.98/24.01	c ---[341536]---> BDD-cost:  379
23.98/24.02	c ---[341535]---> BDD-cost:  379
23.98/24.02	c ---[341534]---> BDD-cost:  379
23.98/24.03	c ---[341533]---> BDD-cost:  379
23.98/24.04	c ---[341532]---> BDD-cost:  379
23.98/24.05	c ---[341531]---> BDD-cost:  379
23.98/24.06	c ---[341530]---> BDD-cost:  379
23.98/24.06	c ---[341529]---> BDD-cost:  379
23.98/24.07	c ---[341528]---> BDD-cost:  379
23.98/24.08	c ---[341527]---> BDD-cost:  379
23.98/24.09	c ---[341526]---> BDD-cost:  379
24.08/24.10	c ---[341525]---> BDD-cost:  379
24.08/24.11	c ---[341524]---> BDD-cost:  379
24.08/24.11	c ---[341523]---> BDD-cost:  379
24.08/24.12	c ---[341522]---> BDD-cost:  379
24.08/24.13	c ---[341521]---> BDD-cost:  379
24.08/24.14	c ---[341520]---> BDD-cost:  379
24.08/24.15	c ---[341519]---> BDD-cost:  379
24.08/24.15	c ---[341518]---> BDD-cost:  379
24.08/24.16	c ---[341517]---> BDD-cost:  379
24.08/24.17	c ---[341516]---> BDD-cost:  379
24.08/24.18	c ---[341515]---> BDD-cost:  379
24.08/24.19	c ---[341514]---> BDD-cost:  379
24.08/24.19	c ---[341513]---> BDD-cost:  379
24.18/24.20	c ---[341512]---> BDD-cost:  379
24.18/24.21	c ---[341511]---> BDD-cost:  379
24.18/24.22	c ---[341510]---> BDD-cost:  379
24.18/24.23	c ---[341509]---> BDD-cost:  379
24.18/24.24	c ---[341508]---> BDD-cost:  379
24.18/24.24	c ---[341507]---> BDD-cost:  379
24.18/24.25	c ---[341506]---> BDD-cost:  379
24.18/24.26	c ---[341505]---> BDD-cost:  379
24.18/24.27	c ---[341504]---> BDD-cost:  379
24.18/24.28	c ---[341503]---> BDD-cost:  379
24.18/24.28	c ---[341502]---> BDD-cost:  379
24.18/24.29	c ---[341501]---> BDD-cost:  379
24.18/24.30	c ---[341500]---> BDD-cost:  379
24.28/24.31	c ---[341499]---> BDD-cost:  379
24.28/24.32	c ---[341498]---> BDD-cost:  379
24.28/24.32	c ---[341497]---> BDD-cost:  379
24.28/24.33	c ---[341496]---> BDD-cost:  379
24.28/24.34	c ---[341495]---> BDD-cost:  379
24.28/24.35	c ---[341494]---> BDD-cost:  379
24.28/24.36	c ---[341493]---> BDD-cost:  379
24.28/24.36	c ---[341492]---> BDD-cost:  379
24.28/24.37	c ---[341491]---> BDD-cost:  379
24.28/24.38	c ---[341490]---> BDD-cost:  379
24.28/24.39	c ---[341489]---> BDD-cost:  379
24.38/24.40	c ---[341488]---> BDD-cost:  379
24.38/24.41	c ---[341487]---> BDD-cost:  379
24.38/24.41	c ---[341486]---> BDD-cost:  379
24.38/24.42	c ---[341485]---> BDD-cost:  379
24.38/24.43	c ---[341484]---> BDD-cost:  379
24.38/24.44	c ---[341483]---> BDD-cost:  379
24.38/24.45	c ---[341482]---> BDD-cost:  379
24.38/24.45	c ---[341481]---> BDD-cost:  379
24.38/24.46	c ---[341480]---> BDD-cost:  379
24.38/24.47	c ---[341479]---> BDD-cost:  379
24.38/24.48	c ---[341478]---> BDD-cost:  379
24.38/24.49	c ---[341477]---> BDD-cost:  379
24.38/24.49	c ---[341476]---> BDD-cost:  379
24.48/24.50	c ---[341475]---> BDD-cost:  379
24.48/24.51	c ---[341474]---> BDD-cost:  379
24.48/24.52	c ---[341473]---> BDD-cost:  379
24.48/24.53	c ---[341472]---> BDD-cost:  379
24.48/24.53	c ---[341471]---> BDD-cost:  379
24.48/24.54	c ---[341470]---> BDD-cost:  379
24.48/24.55	c ---[341469]---> BDD-cost:  379
24.48/24.56	c ---[341468]---> BDD-cost:  379
24.48/24.57	c ---[341467]---> BDD-cost:  379
24.48/24.58	c ---[341466]---> BDD-cost:  379
24.48/24.58	c ---[341465]---> BDD-cost:  379
24.48/24.59	c ---[341464]---> BDD-cost:  379
24.58/24.60	c ---[341463]---> BDD-cost:  379
24.58/24.61	c ---[341462]---> BDD-cost:  379
24.58/24.62	c ---[341461]---> BDD-cost:  379
24.58/24.62	c ---[341460]---> BDD-cost:  379
24.58/24.63	c ---[341459]---> BDD-cost:  379
24.58/24.64	c ---[341458]---> BDD-cost:  379
24.58/24.65	c ---[341457]---> BDD-cost:  379
24.58/24.66	c ---[341456]---> BDD-cost:  379
24.58/24.67	c ---[341455]---> BDD-cost:  379
24.58/24.67	c ---[341454]---> BDD-cost:  379
24.58/24.68	c ---[341453]---> BDD-cost:  379
24.58/24.69	c ---[341452]---> BDD-cost:  379
24.68/24.70	c ---[341451]---> BDD-cost:  379
24.68/24.71	c ---[341450]---> BDD-cost:  379
24.68/24.72	c ---[341449]---> BDD-cost:  379
24.68/24.72	c ---[341448]---> BDD-cost:  379
24.68/24.73	c ---[341447]---> BDD-cost:  379
24.68/24.74	c ---[341446]---> BDD-cost:  379
24.68/24.75	c ---[341445]---> BDD-cost:  379
24.68/24.76	c ---[341444]---> BDD-cost:  379
24.68/24.76	c ---[341443]---> BDD-cost:  379
24.68/24.77	c ---[341442]---> BDD-cost:  379
24.68/24.78	c ---[341441]---> BDD-cost:  379
24.68/24.79	c ---[341440]---> BDD-cost:  379
24.78/24.80	c ---[341439]---> BDD-cost:  379
24.78/24.80	c ---[341438]---> BDD-cost:  379
24.78/24.81	c ---[341437]---> BDD-cost:  379
24.78/24.82	c ---[341436]---> BDD-cost:  379
24.78/24.83	c ---[341435]---> BDD-cost:  379
24.78/24.84	c ---[341434]---> BDD-cost:  379
24.78/24.84	c ---[341433]---> BDD-cost:  379
24.78/24.85	c ---[341432]---> BDD-cost:  379
24.78/24.86	c ---[341431]---> BDD-cost:  379
24.78/24.87	c ---[341430]---> BDD-cost:  379
24.78/24.88	c ---[341429]---> BDD-cost:  379
24.78/24.88	c ---[341428]---> BDD-cost:  379
24.78/24.89	c ---[341427]---> BDD-cost:  379
24.88/24.90	c ---[341426]---> BDD-cost:  379
24.88/24.91	c ---[341425]---> BDD-cost:  379
24.88/24.92	c ---[341424]---> BDD-cost:  379
24.88/24.93	c ---[341423]---> BDD-cost:  379
24.88/24.93	c ---[341422]---> BDD-cost:  379
24.88/24.94	c ---[341421]---> BDD-cost:  379
24.88/24.95	c ---[341420]---> BDD-cost:  379
24.88/24.96	c ---[341419]---> BDD-cost:  379
24.88/24.97	c ---[341418]---> BDD-cost:  379
24.88/24.97	c ---[341417]---> BDD-cost:  379
24.88/24.98	c ---[341416]---> BDD-cost:  379
24.88/24.99	c ---[341415]---> BDD-cost:  379
24.98/25.00	c ---[341414]---> BDD-cost:  379
24.98/25.01	c ---[341413]---> BDD-cost:  379
24.98/25.02	c ---[341412]---> BDD-cost:  379
24.98/25.02	c ---[341411]---> BDD-cost:  379
24.98/25.03	c ---[341410]---> BDD-cost:  379
24.98/25.04	c ---[341409]---> BDD-cost:  379
24.98/25.05	c ---[341408]---> BDD-cost:  379
24.98/25.06	c ---[341407]---> BDD-cost:  379
24.98/25.06	c ---[341406]---> BDD-cost:  379
24.98/25.07	c ---[341405]---> BDD-cost:  379
24.98/25.08	c ---[341404]---> BDD-cost:  379
24.98/25.09	c ---[341403]---> BDD-cost:  379
25.08/25.10	c ---[341402]---> BDD-cost:  379
25.08/25.11	c ---[341401]---> BDD-cost:  379
25.08/25.11	c ---[341400]---> BDD-cost:  379
25.08/25.12	c ---[341399]---> BDD-cost:  379
25.08/25.13	c ---[341398]---> BDD-cost:  379
25.08/25.14	c ---[341397]---> BDD-cost:  379
25.08/25.15	c ---[341396]---> BDD-cost:  379
25.08/25.15	c ---[341395]---> BDD-cost:  379
25.08/25.16	c ---[341394]---> BDD-cost:  379
25.08/25.17	c ---[341393]---> BDD-cost:  379
25.08/25.18	c ---[341392]---> BDD-cost:  379
25.08/25.19	c ---[341391]---> BDD-cost:  379
25.08/25.19	c ---[341390]---> BDD-cost:  379
25.18/25.20	c ---[341389]---> BDD-cost:  379
25.18/25.21	c ---[341388]---> BDD-cost:  379
25.18/25.22	c ---[341387]---> BDD-cost:  379
25.18/25.23	c ---[341386]---> BDD-cost:  379
25.18/25.24	c ---[341385]---> BDD-cost:  379
25.18/25.24	c ---[341384]---> BDD-cost:  379
25.18/25.25	c ---[341383]---> BDD-cost:  379
25.18/25.26	c ---[341382]---> BDD-cost:  379
25.18/25.27	c ---[341381]---> BDD-cost:  379
25.18/25.28	c ---[341380]---> BDD-cost:  379
25.18/25.28	c ---[341379]---> BDD-cost:  379
25.18/25.29	c ---[341378]---> BDD-cost:  379
25.18/25.30	c ---[341377]---> BDD-cost:  379
25.28/25.31	c ---[341376]---> BDD-cost:  379
25.28/25.32	c ---[341375]---> BDD-cost:  379
25.28/25.32	c ---[341374]---> BDD-cost:  379
25.28/25.33	c ---[341373]---> BDD-cost:  379
25.28/25.34	c ---[341372]---> BDD-cost:  379
25.28/25.35	c ---[341371]---> BDD-cost:  379
25.28/25.36	c ---[341370]---> BDD-cost:  379
25.28/25.36	c ---[341369]---> BDD-cost:  379
25.28/25.37	c ---[341368]---> BDD-cost:  379
25.28/25.38	c ---[341367]---> BDD-cost:  379
25.28/25.39	c ---[341366]---> BDD-cost:  379
25.28/25.40	c ---[341365]---> BDD-cost:  379
25.38/25.41	c ---[341364]---> BDD-cost:  379
25.38/25.41	c ---[341363]---> BDD-cost:  379
25.38/25.42	c ---[341362]---> BDD-cost:  379
25.38/25.43	c ---[341361]---> BDD-cost:  379
25.38/25.44	c ---[341360]---> BDD-cost:  379
25.38/25.45	c ---[341359]---> BDD-cost:  379
25.38/25.45	c ---[341358]---> BDD-cost:  379
25.38/25.46	c ---[341357]---> BDD-cost:  379
25.38/25.47	c ---[341356]---> BDD-cost:  379
25.38/25.48	c ---[341355]---> BDD-cost:  379
25.38/25.49	c ---[341354]---> BDD-cost:  379
25.38/25.49	c ---[341353]---> BDD-cost:  379
25.48/25.50	c ---[341352]---> BDD-cost:  379
25.48/25.51	c ---[341351]---> BDD-cost:  379
25.48/25.52	c ---[341350]---> BDD-cost:  379
25.48/25.53	c ---[341349]---> BDD-cost:  379
25.48/25.53	c ---[341348]---> BDD-cost:  379
25.48/25.54	c ---[341347]---> BDD-cost:  379
25.48/25.55	c ---[341346]---> BDD-cost:  379
25.48/25.56	c ---[341345]---> BDD-cost:  379
25.48/25.57	c ---[341344]---> BDD-cost:  379
25.48/25.57	c ---[341343]---> BDD-cost:  379
25.48/25.58	c ---[341342]---> BDD-cost:  379
25.48/25.59	c ---[341341]---> BDD-cost:  379
25.58/25.60	c ---[341340]---> BDD-cost:  379
25.58/25.61	c ---[341339]---> BDD-cost:  379
25.58/25.62	c ---[341338]---> BDD-cost:  379
25.58/25.62	c ---[341337]---> BDD-cost:  379
25.58/25.63	c ---[341336]---> BDD-cost:  379
25.58/25.64	c ---[341335]---> BDD-cost:  379
25.58/25.65	c ---[341334]---> BDD-cost:  379
25.58/25.66	c ---[341333]---> BDD-cost:  379
25.58/25.66	c ---[341332]---> BDD-cost:  379
25.58/25.67	c ---[341331]---> BDD-cost:  379
25.58/25.68	c ---[341330]---> BDD-cost:  379
25.58/25.69	c ---[341329]---> BDD-cost:  379
25.67/25.70	c ---[341328]---> BDD-cost:  379
25.67/25.71	c ---[341327]---> BDD-cost:  379
25.67/25.71	c ---[341326]---> BDD-cost:  379
25.67/25.72	c ---[341325]---> BDD-cost:  379
25.67/25.73	c ---[341324]---> BDD-cost:  379
25.67/25.74	c ---[341323]---> BDD-cost:  379
25.67/25.75	c ---[341322]---> BDD-cost:  379
25.67/25.75	c ---[341321]---> BDD-cost:  379
25.67/25.76	c ---[341320]---> BDD-cost:  379
25.67/25.77	c ---[341319]---> BDD-cost:  379
25.67/25.78	c ---[341318]---> BDD-cost:  379
25.67/25.79	c ---[341317]---> BDD-cost:  379
25.67/25.79	c ---[341316]---> BDD-cost:  379
25.77/25.80	c ---[341315]---> BDD-cost:  379
25.77/25.81	c ---[341314]---> BDD-cost:  379
25.77/25.82	c ---[341313]---> BDD-cost:  379
25.77/25.83	c ---[341312]---> BDD-cost:  379
25.77/25.84	c ---[341311]---> BDD-cost:  379
25.77/25.84	c ---[341310]---> BDD-cost:  379
25.77/25.85	c ---[341309]---> BDD-cost:  379
25.77/25.86	c ---[341308]---> BDD-cost:  379
25.77/25.87	c ---[341307]---> BDD-cost:  379
25.77/25.88	c ---[341306]---> BDD-cost:  379
25.77/25.88	c ---[341305]---> BDD-cost:  379
25.77/25.89	c ---[341304]---> BDD-cost:  379
25.87/25.90	c ---[341303]---> BDD-cost:  379
25.87/25.91	c ---[341302]---> BDD-cost:  379
25.87/25.92	c ---[341301]---> BDD-cost:  379
25.87/25.93	c ---[341300]---> BDD-cost:  379
25.87/25.93	c ---[341299]---> BDD-cost:  379
25.87/25.94	c ---[341298]---> BDD-cost:  379
25.87/25.95	c ---[341297]---> BDD-cost:  379
25.87/25.96	c ---[341296]---> BDD-cost:  379
25.87/25.97	c ---[341295]---> BDD-cost:  379
25.87/25.97	c ---[341294]---> BDD-cost:  379
25.87/25.98	c ---[341293]---> BDD-cost:  379
25.87/25.99	c ---[341292]---> BDD-cost:  379
25.97/26.00	c ---[341291]---> BDD-cost:  379
25.97/26.01	c ---[341290]---> BDD-cost:  379
25.97/26.01	c ---[341289]---> BDD-cost:  379
25.97/26.02	c ---[341288]---> BDD-cost:  379
25.97/26.03	c ---[341287]---> BDD-cost:  379
25.97/26.04	c ---[341286]---> BDD-cost:  379
25.97/26.05	c ---[341285]---> BDD-cost:  379
25.97/26.05	c ---[341284]---> BDD-cost:  379
25.97/26.06	c ---[341283]---> BDD-cost:  379
25.97/26.07	c ---[341282]---> BDD-cost:  379
25.97/26.08	c ---[341281]---> BDD-cost:  379
25.97/26.09	c ---[341280]---> BDD-cost:  379
25.97/26.10	c ---[341279]---> BDD-cost:  379
26.07/26.10	c ---[341278]---> BDD-cost:  379
26.07/26.11	c ---[341277]---> BDD-cost:  379
26.07/26.12	c ---[341276]---> BDD-cost:  379
26.07/26.13	c ---[341275]---> BDD-cost:  379
26.07/26.14	c ---[341274]---> BDD-cost:  379
26.07/26.14	c ---[341273]---> BDD-cost:  379
26.07/26.15	c ---[341272]---> BDD-cost:  379
26.07/26.16	c ---[341271]---> BDD-cost:  379
26.07/26.17	c ---[341270]---> BDD-cost:  379
26.07/26.18	c ---[341269]---> BDD-cost:  379
26.07/26.18	c ---[341268]---> BDD-cost:  379
26.07/26.19	c ---[341267]---> BDD-cost:  379
26.17/26.20	c ---[341266]---> BDD-cost:  379
26.17/26.21	c ---[341265]---> BDD-cost:  379
26.17/26.22	c ---[341264]---> BDD-cost:  379
26.17/26.23	c ---[341263]---> BDD-cost:  379
26.17/26.23	c ---[341262]---> BDD-cost:  379
26.17/26.24	c ---[341261]---> BDD-cost:  379
26.17/26.25	c ---[341260]---> BDD-cost:  379
26.17/26.26	c ---[341259]---> BDD-cost:  379
26.17/26.27	c ---[341258]---> BDD-cost:  379
26.17/26.27	c ---[341257]---> BDD-cost:  379
26.17/26.28	c ---[341256]---> BDD-cost:  379
26.17/26.29	c ---[341255]---> BDD-cost:  379
26.27/26.30	c ---[341254]---> BDD-cost:  379
26.27/26.31	c ---[341253]---> BDD-cost:  379
26.27/26.31	c ---[341252]---> BDD-cost:  379
26.27/26.32	c ---[341251]---> BDD-cost:  379
26.27/26.33	c ---[341250]---> BDD-cost:  379
26.27/26.34	c ---[341249]---> BDD-cost:  379
26.27/26.35	c ---[341248]---> BDD-cost:  379
26.27/26.35	c ---[341247]---> BDD-cost:  379
26.27/26.36	c ---[341246]---> BDD-cost:  379
26.27/26.37	c ---[341245]---> BDD-cost:  379
26.27/26.38	c ---[341244]---> BDD-cost:  379
26.27/26.39	c ---[341243]---> BDD-cost:  379
26.27/26.39	c ---[341242]---> BDD-cost:  379
26.38/26.40	c ---[341241]---> BDD-cost:  379
26.38/26.41	c ---[341240]---> BDD-cost:  379
26.38/26.42	c ---[341239]---> BDD-cost:  379
26.38/26.43	c ---[341238]---> BDD-cost:  379
26.38/26.44	c ---[341237]---> BDD-cost:  379
26.38/26.44	c ---[341236]---> BDD-cost:  379
26.38/26.45	c ---[341235]---> BDD-cost:  379
26.38/26.46	c ---[341234]---> BDD-cost:  379
26.38/26.47	c ---[341233]---> BDD-cost:  379
26.38/26.48	c ---[341232]---> BDD-cost:  379
26.38/26.48	c ---[341231]---> BDD-cost:  379
26.38/26.49	c ---[341230]---> BDD-cost:  379
26.38/26.50	c ---[341229]---> BDD-cost:  379
26.48/26.51	c ---[341228]---> BDD-cost:  379
26.48/26.52	c ---[341227]---> BDD-cost:  379
26.48/26.52	c ---[341226]---> BDD-cost:  379
26.48/26.53	c ---[341225]---> BDD-cost:  379
26.48/26.54	c ---[341224]---> BDD-cost:  379
26.48/26.55	c ---[341223]---> BDD-cost:  379
26.48/26.56	c ---[341222]---> BDD-cost:  379
26.48/26.56	c ---[341221]---> BDD-cost:  379
26.48/26.57	c ---[341220]---> BDD-cost:  379
26.48/26.58	c ---[341219]---> BDD-cost:  379
26.48/26.59	c ---[341218]---> BDD-cost:  379
26.57/26.60	c ---[341217]---> BDD-cost:  379
26.57/26.61	c ---[341216]---> BDD-cost:  379
26.57/26.61	c ---[341215]---> BDD-cost:  379
26.57/26.62	c ---[341214]---> BDD-cost:  379
26.57/26.63	c ---[341213]---> BDD-cost:  379
26.57/26.64	c ---[341212]---> BDD-cost:  379
26.57/26.65	c ---[341211]---> BDD-cost:  379
26.57/26.65	c ---[341210]---> BDD-cost:  379
26.57/26.66	c ---[341209]---> BDD-cost:  379
26.57/26.67	c ---[341208]---> BDD-cost:  379
26.57/26.68	c ---[341207]---> BDD-cost:  379
26.57/26.69	c ---[341206]---> BDD-cost:  379
26.57/26.69	c ---[341205]---> BDD-cost:  379
26.67/26.70	c ---[341204]---> BDD-cost:  379
26.67/26.71	c ---[341203]---> BDD-cost:  379
26.67/26.72	c ---[341202]---> BDD-cost:  379
26.67/26.73	c ---[341201]---> BDD-cost:  379
26.67/26.74	c ---[341200]---> BDD-cost:  379
26.67/26.74	c ---[341199]---> BDD-cost:  379
26.67/26.75	c ---[341198]---> BDD-cost:  379
26.67/26.76	c ---[341197]---> BDD-cost:  379
26.67/26.77	c ---[341196]---> BDD-cost:  379
26.67/26.78	c ---[341195]---> BDD-cost:  379
26.67/26.78	c ---[341194]---> BDD-cost:  379
26.67/26.79	c ---[341193]---> BDD-cost:  379
26.77/26.80	c ---[341192]---> BDD-cost:  379
26.77/26.81	c ---[341191]---> BDD-cost:  379
26.77/26.82	c ---[341190]---> BDD-cost:  379
26.77/26.82	c ---[341189]---> BDD-cost:  379
26.77/26.83	c ---[341188]---> BDD-cost:  379
26.77/26.84	c ---[341187]---> BDD-cost:  379
26.77/26.85	c ---[341186]---> BDD-cost:  379
26.77/26.86	c ---[341185]---> BDD-cost:  379
26.77/26.86	c ---[341184]---> BDD-cost:  379
26.77/26.87	c ---[341183]---> BDD-cost:  379
26.77/26.88	c ---[341182]---> BDD-cost:  379
26.77/26.89	c ---[341181]---> BDD-cost:  379
26.87/26.90	c ---[341180]---> BDD-cost:  379
26.87/26.91	c ---[341179]---> BDD-cost:  379
26.87/26.91	c ---[341178]---> BDD-cost:  379
26.87/26.92	c ---[341177]---> BDD-cost:  379
26.87/26.93	c ---[341176]---> BDD-cost:  379
26.87/26.94	c ---[341175]---> BDD-cost:  379
26.87/26.95	c ---[341174]---> BDD-cost:  379
26.87/26.95	c ---[341173]---> BDD-cost:  379
26.87/26.96	c ---[341172]---> BDD-cost:  379
26.87/26.97	c ---[341171]---> BDD-cost:  379
26.87/26.98	c ---[341170]---> BDD-cost:  379
26.87/26.99	c ---[341169]---> BDD-cost:  379
26.87/27.00	c ---[341168]---> BDD-cost:  379
26.97/27.00	c ---[341167]---> BDD-cost:  379
26.97/27.01	c ---[341166]---> BDD-cost:  379
26.97/27.02	c ---[341165]---> BDD-cost:  379
26.97/27.03	c ---[341164]---> BDD-cost:  379
26.97/27.04	c ---[341163]---> BDD-cost:  379
26.97/27.04	c ---[341162]---> BDD-cost:  379
26.97/27.05	c ---[341161]---> BDD-cost:  379
26.97/27.06	c ---[341160]---> BDD-cost:  379
26.97/27.07	c ---[341159]---> BDD-cost:  379
26.97/27.08	c ---[341158]---> BDD-cost:  379
26.97/27.08	c ---[341157]---> BDD-cost:  379
26.97/27.09	c ---[341156]---> BDD-cost:  379
27.07/27.10	c ---[341155]---> BDD-cost:  379
27.07/27.11	c ---[341154]---> BDD-cost:  379
27.07/27.12	c ---[341153]---> BDD-cost:  379
27.07/27.13	c ---[341152]---> BDD-cost:  379
27.07/27.13	c ---[341151]---> BDD-cost:  379
27.07/27.14	c ---[341150]---> BDD-cost:  379
27.07/27.15	c ---[341149]---> BDD-cost:  379
27.07/27.16	c ---[341148]---> BDD-cost:  379
27.07/27.17	c ---[341147]---> BDD-cost:  379
27.07/27.17	c ---[341146]---> BDD-cost:  379
27.07/27.18	c ---[341145]---> BDD-cost:  379
27.07/27.19	c ---[341144]---> BDD-cost:  379
27.17/27.20	c ---[341143]---> BDD-cost:  379
27.17/27.21	c ---[341142]---> BDD-cost:  379
27.17/27.22	c ---[341141]---> BDD-cost:  379
27.17/27.22	c ---[341140]---> BDD-cost:  379
27.17/27.23	c ---[341139]---> BDD-cost:  379
27.17/27.24	c ---[341138]---> BDD-cost:  379
27.17/27.25	c ---[341137]---> BDD-cost:  379
27.17/27.26	c ---[341136]---> BDD-cost:  379
27.17/27.26	c ---[341135]---> BDD-cost:  379
27.17/27.27	c ---[341134]---> BDD-cost:  379
27.17/27.28	c ---[341133]---> BDD-cost:  379
27.17/27.29	c ---[341132]---> BDD-cost:  379
27.27/27.30	c ---[341131]---> BDD-cost:  379
27.27/27.30	c ---[341130]---> BDD-cost:  379
27.27/27.31	c ---[341129]---> BDD-cost:  379
27.27/27.32	c ---[341128]---> BDD-cost:  379
27.27/27.33	c ---[341127]---> BDD-cost:  379
27.27/27.34	c ---[341126]---> BDD-cost:  379
27.27/27.34	c ---[341125]---> BDD-cost:  379
27.27/27.35	c ---[341124]---> BDD-cost:  379
27.27/27.36	c ---[341123]---> BDD-cost:  379
27.27/27.37	c ---[341122]---> BDD-cost:  379
27.27/27.38	c ---[341121]---> BDD-cost:  379
27.27/27.38	c ---[341120]---> BDD-cost:  379
27.27/27.39	c ---[341119]---> BDD-cost:  379
27.37/27.40	c ---[341118]---> BDD-cost:  379
27.37/27.41	c ---[341117]---> BDD-cost:  379
27.37/27.42	c ---[341116]---> BDD-cost:  379
27.37/27.43	c ---[341115]---> BDD-cost:  379
27.37/27.43	c ---[341114]---> BDD-cost:  379
27.37/27.44	c ---[341113]---> BDD-cost:  379
27.37/27.45	c ---[341112]---> BDD-cost:  379
27.37/27.46	c ---[341111]---> BDD-cost:  379
27.37/27.47	c ---[341110]---> BDD-cost:  379
27.37/27.47	c ---[341109]---> BDD-cost:  379
27.37/27.48	c ---[341108]---> BDD-cost:  379
27.37/27.49	c ---[341107]---> BDD-cost:  379
27.37/27.50	c ---[341106]---> BDD-cost:  379
27.48/27.51	c ---[341105]---> BDD-cost:  379
27.48/27.51	c ---[341104]---> BDD-cost:  379
27.48/27.52	c ---[341103]---> BDD-cost:  379
27.48/27.53	c ---[341102]---> BDD-cost:  379
27.48/27.54	c ---[341101]---> BDD-cost:  379
27.48/27.55	c ---[341100]---> BDD-cost:  379
27.48/27.55	c ---[341099]---> BDD-cost:  379
27.48/27.56	c ---[341098]---> BDD-cost:  379
27.48/27.57	c ---[341097]---> BDD-cost:  379
27.48/27.58	c ---[341096]---> BDD-cost:  379
27.48/27.59	c ---[341095]---> BDD-cost:  379
27.48/27.60	c ---[341094]---> BDD-cost:  379
27.58/27.60	c ---[341093]---> BDD-cost:  379
27.58/27.61	c ---[341092]---> BDD-cost:  379
27.58/27.62	c ---[341091]---> BDD-cost:  379
27.58/27.63	c ---[341090]---> BDD-cost:  379
27.58/27.64	c ---[341089]---> BDD-cost:  379
27.58/27.64	c ---[341088]---> BDD-cost:  379
27.58/27.65	c ---[341087]---> BDD-cost:  379
27.58/27.66	c ---[341086]---> BDD-cost:  379
27.58/27.67	c ---[341085]---> BDD-cost:  379
27.58/27.68	c ---[341084]---> BDD-cost:  379
27.58/27.68	c ---[341083]---> BDD-cost:  379
27.58/27.69	c ---[341082]---> BDD-cost:  379
27.67/27.70	c ---[341081]---> BDD-cost:  379
27.67/27.71	c ---[341080]---> BDD-cost:  379
27.67/27.72	c ---[341079]---> BDD-cost:  379
27.67/27.73	c ---[341078]---> BDD-cost:  379
27.67/27.73	c ---[341077]---> BDD-cost:  379
27.67/27.74	c ---[341076]---> BDD-cost:  379
27.67/27.75	c ---[341075]---> BDD-cost:  379
27.67/27.76	c ---[341074]---> BDD-cost:  379
27.67/27.77	c ---[341073]---> BDD-cost:  379
27.67/27.77	c ---[341072]---> BDD-cost:  379
27.67/27.78	c ---[341071]---> BDD-cost:  379
27.67/27.79	c ---[341070]---> BDD-cost:  379
27.77/27.80	c ---[341069]---> BDD-cost:  379
27.77/27.81	c ---[341068]---> BDD-cost:  379
27.77/27.81	c ---[341067]---> BDD-cost:  379
27.77/27.82	c ---[341066]---> BDD-cost:  379
27.77/27.83	c ---[341065]---> BDD-cost:  379
27.77/27.84	c ---[341064]---> BDD-cost:  379
27.77/27.85	c ---[341063]---> BDD-cost:  379
27.77/27.85	c ---[341062]---> BDD-cost:  379
27.77/27.86	c ---[341061]---> BDD-cost:  379
27.77/27.87	c ---[341060]---> BDD-cost:  379
27.77/27.88	c ---[341059]---> BDD-cost:  379
27.77/27.89	c ---[341058]---> BDD-cost:  379
27.77/27.90	c ---[341057]---> BDD-cost:  379
27.87/27.90	c ---[341056]---> BDD-cost:  379
27.87/27.91	c ---[341055]---> BDD-cost:  379
27.87/27.92	c ---[341054]---> BDD-cost:  379
27.87/27.93	c ---[341053]---> BDD-cost:  379
27.87/27.94	c ---[341052]---> BDD-cost:  379
27.87/27.94	c ---[341051]---> BDD-cost:  379
27.87/27.95	c ---[341050]---> BDD-cost:  379
27.87/27.96	c ---[341049]---> BDD-cost:  379
27.87/27.97	c ---[341048]---> BDD-cost:  379
27.87/27.98	c ---[341047]---> BDD-cost:  379
27.87/27.98	c ---[341046]---> BDD-cost:  379
27.87/27.99	c ---[341045]---> BDD-cost:  379
27.97/28.00	c ---[341044]---> BDD-cost:  379
27.97/28.01	c ---[341043]---> BDD-cost:  379
27.97/28.02	c ---[341042]---> BDD-cost:  379
27.97/28.03	c ---[341041]---> BDD-cost:  379
27.97/28.03	c ---[341040]---> BDD-cost:  379
27.97/28.04	c ---[341039]---> BDD-cost:  379
27.97/28.05	c ---[341038]---> BDD-cost:  379
27.97/28.06	c ---[341037]---> BDD-cost:  379
27.97/28.07	c ---[341036]---> BDD-cost:  379
27.97/28.07	c ---[341035]---> BDD-cost:  379
27.97/28.08	c ---[341034]---> BDD-cost:  379
27.97/28.09	c ---[341033]---> BDD-cost:  379
28.07/28.10	c ---[341032]---> BDD-cost:  379
28.07/28.11	c ---[341031]---> BDD-cost:  379
28.07/28.12	c ---[341030]---> BDD-cost:  379
28.07/28.12	c ---[341029]---> BDD-cost:  379
28.07/28.13	c ---[341028]---> BDD-cost:  379
28.07/28.14	c ---[341027]---> BDD-cost:  379
28.07/28.15	c ---[341026]---> BDD-cost:  379
28.07/28.16	c ---[341025]---> BDD-cost:  379
28.07/28.16	c ---[341024]---> BDD-cost:  379
28.07/28.17	c ---[341023]---> BDD-cost:  379
28.07/28.18	c ---[341022]---> BDD-cost:  379
28.07/28.19	c ---[341021]---> BDD-cost:  379
28.17/28.20	c ---[341020]---> BDD-cost:  379
28.17/28.21	c ---[341019]---> BDD-cost:  379
28.17/28.21	c ---[341018]---> BDD-cost:  379
28.17/28.22	c ---[341017]---> BDD-cost:  379
28.17/28.23	c ---[341016]---> BDD-cost:  379
28.17/28.24	c ---[341015]---> BDD-cost:  379
28.17/28.25	c ---[341014]---> BDD-cost:  379
28.17/28.25	c ---[341013]---> BDD-cost:  379
28.17/28.26	c ---[341012]---> BDD-cost:  379
28.17/28.27	c ---[341011]---> BDD-cost:  379
28.17/28.28	c ---[341010]---> BDD-cost:  379
28.17/28.29	c ---[341009]---> BDD-cost:  379
28.17/28.29	c ---[341008]---> BDD-cost:  379
28.27/28.30	c ---[341007]---> BDD-cost:  379
28.27/28.31	c ---[341006]---> BDD-cost:  379
28.27/28.32	c ---[341005]---> BDD-cost:  379
28.27/28.33	c ---[341004]---> BDD-cost:  379
28.27/28.33	c ---[341003]---> BDD-cost:  379
28.27/28.34	c ---[341002]---> BDD-cost:  379
28.27/28.35	c ---[341001]---> BDD-cost:  379
28.27/28.36	c ---[341000]---> BDD-cost:  379
28.27/28.37	c ---[340999]---> BDD-cost:  379
28.27/28.37	c ---[340998]---> BDD-cost:  379
28.27/28.38	c ---[340997]---> BDD-cost:  379
28.27/28.39	c ---[340996]---> BDD-cost:  379
28.37/28.40	c ---[340995]---> BDD-cost:  379
28.37/28.41	c ---[340994]---> BDD-cost:  379
28.37/28.42	c ---[340993]---> BDD-cost:  379
28.37/28.42	c ---[340992]---> BDD-cost:  379
28.37/28.43	c ---[340991]---> BDD-cost:  379
28.37/28.44	c ---[340990]---> BDD-cost:  379
28.37/28.45	c ---[340989]---> BDD-cost:  379
28.37/28.46	c ---[340988]---> BDD-cost:  379
28.37/28.46	c ---[340987]---> BDD-cost:  379
28.37/28.47	c ---[340986]---> BDD-cost:  379
28.37/28.48	c ---[340985]---> BDD-cost:  379
28.37/28.49	c ---[340984]---> BDD-cost:  379
28.47/28.50	c ---[340983]---> BDD-cost:  379
28.47/28.50	c ---[340982]---> BDD-cost:  379
28.47/28.51	c ---[340981]---> BDD-cost:  379
28.47/28.52	c ---[340980]---> BDD-cost:  379
28.47/28.53	c ---[340979]---> BDD-cost:  379
28.47/28.54	c ---[340978]---> BDD-cost:  379
28.47/28.55	c ---[340977]---> BDD-cost:  379
28.47/28.55	c ---[340976]---> BDD-cost:  379
28.47/28.56	c ---[340975]---> BDD-cost:  379
28.47/28.57	c ---[340974]---> BDD-cost:  379
28.47/28.58	c ---[340973]---> BDD-cost:  379
28.47/28.59	c ---[340972]---> BDD-cost:  379
28.47/28.59	c ---[340971]---> BDD-cost:  379
28.47/28.60	c ---[340970]---> BDD-cost:  379
28.58/28.61	c ---[340969]---> BDD-cost:  379
28.58/28.62	c ---[340968]---> BDD-cost:  379
28.58/28.63	c ---[340967]---> BDD-cost:  379
28.58/28.63	c ---[340966]---> BDD-cost:  379
28.58/28.64	c ---[340965]---> BDD-cost:  379
28.58/28.65	c ---[340964]---> BDD-cost:  379
28.58/28.66	c ---[340963]---> BDD-cost:  379
28.58/28.67	c ---[340962]---> BDD-cost:  379
28.58/28.67	c ---[340961]---> BDD-cost:  379
28.58/28.68	c ---[340960]---> BDD-cost:  379
28.58/28.69	c ---[340959]---> BDD-cost:  379
28.58/28.70	c ---[340958]---> BDD-cost:  379
28.68/28.71	c ---[340957]---> BDD-cost:  379
28.68/28.72	c ---[340956]---> BDD-cost:  379
28.68/28.72	c ---[340955]---> BDD-cost:  379
28.68/28.73	c ---[340954]---> BDD-cost:  379
28.68/28.74	c ---[340953]---> BDD-cost:  379
28.68/28.75	c ---[340952]---> BDD-cost:  379
28.68/28.76	c ---[340951]---> BDD-cost:  379
28.68/28.76	c ---[340950]---> BDD-cost:  379
28.68/28.77	c ---[340949]---> BDD-cost:  379
28.68/28.78	c ---[340948]---> BDD-cost:  379
28.68/28.79	c ---[340947]---> BDD-cost:  379
28.77/28.80	c ---[340946]---> BDD-cost:  379
28.77/28.80	c ---[340945]---> BDD-cost:  379
28.77/28.81	c ---[340944]---> BDD-cost:  379
28.77/28.82	c ---[340943]---> BDD-cost:  379
28.77/28.83	c ---[340942]---> BDD-cost:  379
28.77/28.84	c ---[340941]---> BDD-cost:  379
28.77/28.85	c ---[340940]---> BDD-cost:  379
28.77/28.85	c ---[340939]---> BDD-cost:  379
28.77/28.86	c ---[340938]---> BDD-cost:  379
28.77/28.87	c ---[340937]---> BDD-cost:  379
28.77/28.88	c ---[340936]---> BDD-cost:  379
28.77/28.89	c ---[340935]---> BDD-cost:  379
28.77/28.89	c ---[340934]---> BDD-cost:  379
28.87/28.90	c ---[340933]---> BDD-cost:  379
28.87/28.91	c ---[340932]---> BDD-cost:  379
28.87/28.92	c ---[340931]---> BDD-cost:  379
28.87/28.93	c ---[340930]---> BDD-cost:  379
28.87/28.93	c ---[340929]---> BDD-cost:  379
28.87/28.94	c ---[340928]---> BDD-cost:  379
28.87/28.95	c ---[340927]---> BDD-cost:  379
28.87/28.96	c ---[340926]---> BDD-cost:  379
28.87/28.97	c ---[340925]---> BDD-cost:  379
28.87/28.97	c ---[340924]---> BDD-cost:  379
28.87/28.98	c ---[340923]---> BDD-cost:  379
28.87/28.99	c ---[340922]---> BDD-cost:  379
28.97/29.00	c ---[340921]---> BDD-cost:  379
28.97/29.01	c ---[340920]---> BDD-cost:  379
28.97/29.02	c ---[340919]---> BDD-cost:  379
28.97/29.02	c ---[340918]---> BDD-cost:  379
28.97/29.03	c ---[340917]---> BDD-cost:  379
28.97/29.04	c ---[340916]---> BDD-cost:  379
28.97/29.05	c ---[340915]---> BDD-cost:  379
28.97/29.06	c ---[340914]---> BDD-cost:  379
28.97/29.06	c ---[340913]---> BDD-cost:  379
28.97/29.07	c ---[340912]---> BDD-cost:  379
28.97/29.08	c ---[340911]---> BDD-cost:  379
28.97/29.09	c ---[340910]---> BDD-cost:  379
29.07/29.10	c ---[340909]---> BDD-cost:  379
29.07/29.10	c ---[340908]---> BDD-cost:  379
29.07/29.11	c ---[340907]---> BDD-cost:  379
29.07/29.12	c ---[340906]---> BDD-cost:  379
29.07/29.13	c ---[340905]---> BDD-cost:  379
29.07/29.14	c ---[340904]---> BDD-cost:  379
29.07/29.14	c ---[340903]---> BDD-cost:  379
29.07/29.15	c ---[340902]---> BDD-cost:  379
29.07/29.16	c ---[340901]---> BDD-cost:  379
29.07/29.17	c ---[340900]---> BDD-cost:  379
29.07/29.18	c ---[340899]---> BDD-cost:  379
29.07/29.19	c ---[340898]---> BDD-cost:  379
29.07/29.19	c ---[340897]---> BDD-cost:  379
29.17/29.20	c ---[340896]---> BDD-cost:  379
29.17/29.21	c ---[340895]---> BDD-cost:  379
29.17/29.22	c ---[340894]---> BDD-cost:  379
29.17/29.23	c ---[340893]---> BDD-cost:  379
29.17/29.24	c ---[340892]---> BDD-cost:  379
29.17/29.24	c ---[340891]---> BDD-cost:  379
29.17/29.25	c ---[340890]---> BDD-cost:  379
29.17/29.26	c ---[340889]---> BDD-cost:  379
29.17/29.27	c ---[340888]---> BDD-cost:  379
29.17/29.28	c ---[340887]---> BDD-cost:  379
29.17/29.28	c ---[340886]---> BDD-cost:  379
29.17/29.29	c ---[340885]---> BDD-cost:  379
29.27/29.30	c ---[340884]---> BDD-cost:  379
29.27/29.31	c ---[340883]---> BDD-cost:  379
29.27/29.32	c ---[340882]---> BDD-cost:  379
29.27/29.33	c ---[340881]---> BDD-cost:  379
29.27/29.33	c ---[340880]---> BDD-cost:  379
29.27/29.34	c ---[340879]---> BDD-cost:  379
29.27/29.35	c ---[340878]---> BDD-cost:  379
29.27/29.36	c ---[340877]---> BDD-cost:  379
29.27/29.37	c ---[340876]---> BDD-cost:  379
29.27/29.37	c ---[340875]---> BDD-cost:  379
29.27/29.38	c ---[340874]---> BDD-cost:  379
29.27/29.39	c ---[340873]---> BDD-cost:  379
29.37/29.40	c ---[340872]---> BDD-cost:  379
29.37/29.41	c ---[340871]---> BDD-cost:  379
29.37/29.41	c ---[340870]---> BDD-cost:  379
29.37/29.42	c ---[340869]---> BDD-cost:  379
29.37/29.43	c ---[340868]---> BDD-cost:  379
29.37/29.44	c ---[340867]---> BDD-cost:  379
29.37/29.45	c ---[340866]---> BDD-cost:  379
29.37/29.45	c ---[340865]---> BDD-cost:  379
29.37/29.46	c ---[340864]---> BDD-cost:  379
29.48/29.55	c ---[340863]---> BDD-cost:  379
29.48/29.56	c ---[340862]---> BDD-cost:  379
29.48/29.57	c ---[340861]---> BDD-cost:  379
29.48/29.58	c ---[340860]---> BDD-cost:  379
29.48/29.59	c ---[340859]---> BDD-cost:  379
29.48/29.59	c ---[340858]---> BDD-cost:  379
29.58/29.60	c ---[340857]---> BDD-cost:  379
29.58/29.61	c ---[340856]---> BDD-cost:  379
29.58/29.62	c ---[340855]---> BDD-cost:  379
29.58/29.63	c ---[340854]---> BDD-cost:  379
29.58/29.64	c ---[340853]---> BDD-cost:  379
29.58/29.64	c ---[340852]---> BDD-cost:  379
29.58/29.65	c ---[340851]---> BDD-cost:  379
29.58/29.66	c ---[340850]---> BDD-cost:  379
29.58/29.67	c ---[340849]---> BDD-cost:  379
29.58/29.68	c ---[340848]---> BDD-cost:  379
29.58/29.68	c ---[340847]---> BDD-cost:  379
29.58/29.69	c ---[340846]---> BDD-cost:  379
29.58/29.70	c ---[340845]---> BDD-cost:  379
29.68/29.71	c ---[340844]---> BDD-cost:  379
29.68/29.72	c ---[340843]---> BDD-cost:  379
29.68/29.72	c ---[340842]---> BDD-cost:  379
29.68/29.73	c ---[340841]---> BDD-cost:  379
29.68/29.74	c ---[340840]---> BDD-cost:  379
29.68/29.75	c ---[340839]---> BDD-cost:  379
29.68/29.76	c ---[340838]---> BDD-cost:  379
29.68/29.76	c ---[340837]---> BDD-cost:  379
29.68/29.77	c ---[340836]---> BDD-cost:  379
29.68/29.78	c ---[340835]---> BDD-cost:  379
29.68/29.79	c ---[340834]---> BDD-cost:  379
29.68/29.80	c ---[340833]---> BDD-cost:  379
29.78/29.81	c ---[340832]---> BDD-cost:  379
29.78/29.81	c ---[340831]---> BDD-cost:  379
29.78/29.82	c ---[340830]---> BDD-cost:  379
29.78/29.83	c ---[340829]---> BDD-cost:  379
29.78/29.84	c ---[340828]---> BDD-cost:  379
29.78/29.85	c ---[340827]---> BDD-cost:  379
29.78/29.85	c ---[340826]---> BDD-cost:  379
29.78/29.86	c ---[340825]---> BDD-cost:  379
29.78/29.87	c ---[340824]---> BDD-cost:  379
29.78/29.88	c ---[340823]---> BDD-cost:  379
29.78/29.89	c ---[340822]---> BDD-cost:  379
29.78/29.89	c ---[340821]---> BDD-cost:  379
29.88/29.90	c ---[340820]---> BDD-cost:  379
29.88/29.91	c ---[340819]---> BDD-cost:  379
29.88/29.92	c ---[340818]---> BDD-cost:  379
29.88/29.93	c ---[340817]---> BDD-cost:  379
29.88/29.94	c ---[340816]---> BDD-cost:  379
29.88/29.94	c ---[340815]---> BDD-cost:  379
29.88/29.95	c ---[340814]---> BDD-cost:  379
29.88/29.96	c ---[340813]---> BDD-cost:  379
29.88/29.97	c ---[340812]---> BDD-cost:  379
29.88/29.98	c ---[340811]---> BDD-cost:  379
29.88/29.98	c ---[340810]---> BDD-cost:  379
29.88/29.99	c ---[340809]---> BDD-cost:  379
29.98/30.00	c ---[340808]---> BDD-cost:  379
29.98/30.01	c ---[340807]---> BDD-cost:  379
29.98/30.02	c ---[340806]---> BDD-cost:  379
29.98/30.02	c ---[340805]---> BDD-cost:  379
29.98/30.03	c ---[340804]---> BDD-cost:  379
29.98/30.04	c ---[340803]---> BDD-cost:  379
29.98/30.05	c ---[340802]---> BDD-cost:  379
29.98/30.06	c ---[340801]---> BDD-cost:  379
29.98/30.06	c ---[340800]---> BDD-cost:  379
29.98/30.07	c ---[340799]---> BDD-cost:  379
29.98/30.08	c ---[340798]---> BDD-cost:  379
29.98/30.09	c ---[340797]---> BDD-cost:  379
30.08/30.10	c ---[340796]---> BDD-cost:  379
30.08/30.11	c ---[340795]---> BDD-cost:  379
30.08/30.12	c ---[340794]---> BDD-cost:  379
30.08/30.12	c ---[340793]---> BDD-cost:  379
30.08/30.13	c ---[340792]---> BDD-cost:  379
30.08/30.14	c ---[340791]---> BDD-cost:  379
30.08/30.15	c ---[340790]---> BDD-cost:  379
30.08/30.16	c ---[340789]---> BDD-cost:  379
30.08/30.16	c ---[340788]---> BDD-cost:  379
30.08/30.17	c ---[340787]---> BDD-cost:  379
30.08/30.18	c ---[340786]---> BDD-cost:  379
30.08/30.19	c ---[340785]---> BDD-cost:  379
30.18/30.20	c ---[340784]---> BDD-cost:  379
30.18/30.20	c ---[340783]---> BDD-cost:  379
30.18/30.21	c ---[340782]---> BDD-cost:  379
30.18/30.22	c ---[340781]---> BDD-cost:  379
30.18/30.23	c ---[340780]---> BDD-cost:  379
30.18/30.24	c ---[340779]---> BDD-cost:  379
30.18/30.24	c ---[340778]---> BDD-cost:  379
30.18/30.25	c ---[340777]---> BDD-cost:  379
30.18/30.26	c ---[340776]---> BDD-cost:  379
30.18/30.27	c ---[340775]---> BDD-cost:  379
30.18/30.28	c ---[340774]---> BDD-cost:  379
30.18/30.29	c ---[340773]---> BDD-cost:  379
30.18/30.29	c ---[340772]---> BDD-cost:  379
30.28/30.30	c ---[340771]---> BDD-cost:  379
30.28/30.31	c ---[340770]---> BDD-cost:  379
30.28/30.32	c ---[340769]---> BDD-cost:  379
30.28/30.33	c ---[340768]---> BDD-cost:  379
30.28/30.33	c ---[340767]---> BDD-cost:  379
30.28/30.34	c ---[340766]---> BDD-cost:  379
30.28/30.35	c ---[340765]---> BDD-cost:  379
30.28/30.36	c ---[340764]---> BDD-cost:  379
30.28/30.37	c ---[340763]---> BDD-cost:  379
30.28/30.38	c ---[340762]---> BDD-cost:  379
30.28/30.38	c ---[340761]---> BDD-cost:  379
30.28/30.39	c ---[340760]---> BDD-cost:  379
30.38/30.40	c ---[340759]---> BDD-cost:  379
30.38/30.41	c ---[340758]---> BDD-cost:  379
30.38/30.42	c ---[340757]---> BDD-cost:  379
30.38/30.42	c ---[340756]---> BDD-cost:  379
30.38/30.43	c ---[340755]---> BDD-cost:  379
30.38/30.44	c ---[340754]---> BDD-cost:  379
30.38/30.45	c ---[340753]---> BDD-cost:  379
30.38/30.46	c ---[340752]---> BDD-cost:  379
30.38/30.47	c ---[340751]---> BDD-cost:  379
30.38/30.47	c ---[340750]---> BDD-cost:  379
30.38/30.48	c ---[340749]---> BDD-cost:  379
30.38/30.49	c ---[340748]---> BDD-cost:  379
30.48/30.50	c ---[340747]---> BDD-cost:  379
30.48/30.51	c ---[340746]---> BDD-cost:  379
30.48/30.51	c ---[340745]---> BDD-cost:  379
30.48/30.52	c ---[340744]---> BDD-cost:  379
30.48/30.53	c ---[340743]---> BDD-cost:  379
30.48/30.54	c ---[340742]---> BDD-cost:  379
30.48/30.55	c ---[340741]---> BDD-cost:  379
30.48/30.55	c ---[340740]---> BDD-cost:  379
30.48/30.56	c ---[340739]---> BDD-cost:  379
30.48/30.57	c ---[340738]---> BDD-cost:  379
30.48/30.58	c ---[340737]---> BDD-cost:  379
30.48/30.59	c ---[340736]---> BDD-cost:  379
30.48/30.59	c ---[340735]---> BDD-cost:  379
30.58/30.60	c ---[340734]---> BDD-cost:  379
30.58/30.61	c ---[340733]---> BDD-cost:  379
30.58/30.62	c ---[340732]---> BDD-cost:  379
30.58/30.63	c ---[340731]---> BDD-cost:  379
30.58/30.64	c ---[340730]---> BDD-cost:  379
30.58/30.64	c ---[340729]---> BDD-cost:  379
30.58/30.65	c ---[340728]---> BDD-cost:  379
30.58/30.66	c ---[340727]---> BDD-cost:  379
30.58/30.67	c ---[340726]---> BDD-cost:  379
30.58/30.68	c ---[340725]---> BDD-cost:  379
30.58/30.68	c ---[340724]---> BDD-cost:  379
30.58/30.69	c ---[340723]---> BDD-cost:  379
30.67/30.70	c ---[340722]---> BDD-cost:  379
30.67/30.71	c ---[340721]---> BDD-cost:  379
30.67/30.72	c ---[340720]---> BDD-cost:  379
30.67/30.72	c ---[340719]---> BDD-cost:  379
30.67/30.73	c ---[340718]---> BDD-cost:  379
30.67/30.74	c ---[340717]---> BDD-cost:  379
30.67/30.75	c ---[340716]---> BDD-cost:  379
30.67/30.76	c ---[340715]---> BDD-cost:  379
30.67/30.76	c ---[340714]---> BDD-cost:  379
30.67/30.77	c ---[340713]---> BDD-cost:  379
30.67/30.78	c ---[340712]---> BDD-cost:  379
30.67/30.79	c ---[340711]---> BDD-cost:  379
30.67/30.80	c ---[340710]---> BDD-cost:  379
30.78/30.81	c ---[340709]---> BDD-cost:  379
30.78/30.81	c ---[340708]---> BDD-cost:  379
30.78/30.82	c ---[340707]---> BDD-cost:  379
30.78/30.83	c ---[340706]---> BDD-cost:  379
30.78/30.84	c ---[340705]---> BDD-cost:  379
30.78/30.85	c ---[340704]---> BDD-cost:  379
30.78/30.85	c ---[340703]---> BDD-cost:  379
30.78/30.86	c ---[340702]---> BDD-cost:  379
30.78/30.87	c ---[340701]---> BDD-cost:  379
30.78/30.88	c ---[340700]---> BDD-cost:  379
30.78/30.89	c ---[340699]---> BDD-cost:  379
30.78/30.89	c ---[340698]---> BDD-cost:  379
30.88/30.90	c ---[340697]---> BDD-cost:  379
30.88/30.91	c ---[340696]---> BDD-cost:  379
30.88/30.92	c ---[340695]---> BDD-cost:  379
30.88/30.93	c ---[340694]---> BDD-cost:  379
30.88/30.94	c ---[340693]---> BDD-cost:  379
30.88/30.94	c ---[340692]---> BDD-cost:  379
30.88/30.95	c ---[340691]---> BDD-cost:  379
30.88/30.96	c ---[340690]---> BDD-cost:  379
30.88/30.97	c ---[340689]---> BDD-cost:  379
30.88/30.98	c ---[340688]---> BDD-cost:  379
30.88/30.98	c ---[340687]---> BDD-cost:  379
30.88/30.99	c ---[340686]---> BDD-cost:  379
30.97/31.00	c ---[340685]---> BDD-cost:  379
30.97/31.01	c ---[340684]---> BDD-cost:  379
30.97/31.02	c ---[340683]---> BDD-cost:  379
30.97/31.03	c ---[340682]---> BDD-cost:  379
30.97/31.03	c ---[340681]---> BDD-cost:  379
30.97/31.04	c ---[340680]---> BDD-cost:  379
30.97/31.05	c ---[340679]---> BDD-cost:  379
30.97/31.06	c ---[340678]---> BDD-cost:  379
30.97/31.07	c ---[340677]---> BDD-cost:  379
30.97/31.07	c ---[340676]---> BDD-cost:  379
30.97/31.08	c ---[340675]---> BDD-cost:  379
30.97/31.09	c ---[340674]---> BDD-cost:  379
31.07/31.10	c ---[340673]---> BDD-cost:  379
31.07/31.11	c ---[340672]---> BDD-cost:  379
31.07/31.11	c ---[340671]---> BDD-cost:  379
31.07/31.12	c ---[340670]---> BDD-cost:  379
31.07/31.13	c ---[340669]---> BDD-cost:  379
31.07/31.14	c ---[340668]---> BDD-cost:  379
31.07/31.15	c ---[340667]---> BDD-cost:  379
31.07/31.15	c ---[340666]---> BDD-cost:  379
31.07/31.16	c ---[340665]---> BDD-cost:  379
31.07/31.17	c ---[340664]---> BDD-cost:  379
31.07/31.18	c ---[340663]---> BDD-cost:  379
31.07/31.19	c ---[340662]---> BDD-cost:  379
31.07/31.20	c ---[340661]---> BDD-cost:  379
31.17/31.20	c ---[340660]---> BDD-cost:  379
31.17/31.21	c ---[340659]---> BDD-cost:  379
31.17/31.22	c ---[340658]---> BDD-cost:  379
31.17/31.23	c ---[340657]---> BDD-cost:  379
31.17/31.24	c ---[340656]---> BDD-cost:  379
31.17/31.24	c ---[340655]---> BDD-cost:  379
31.17/31.25	c ---[340654]---> BDD-cost:  379
31.17/31.26	c ---[340653]---> BDD-cost:  379
31.17/31.27	c ---[340652]---> BDD-cost:  379
31.17/31.28	c ---[340651]---> BDD-cost:  379
31.17/31.28	c ---[340650]---> BDD-cost:  379
31.17/31.29	c ---[340649]---> BDD-cost:  379
31.27/31.30	c ---[340648]---> BDD-cost:  379
31.27/31.31	c ---[340647]---> BDD-cost:  379
31.27/31.32	c ---[340646]---> BDD-cost:  379
31.27/31.32	c ---[340645]---> BDD-cost:  379
31.27/31.33	c ---[340644]---> BDD-cost:  379
31.27/31.34	c ---[340643]---> BDD-cost:  379
31.27/31.35	c ---[340642]---> BDD-cost:  379
31.27/31.36	c ---[340641]---> BDD-cost:  379
31.27/31.36	c ---[340640]---> BDD-cost:  379
31.27/31.37	c ---[340639]---> BDD-cost:  379
31.27/31.38	c ---[340638]---> BDD-cost:  379
31.27/31.39	c ---[340637]---> BDD-cost:  379
31.37/31.40	c ---[340636]---> BDD-cost:  379
31.37/31.41	c ---[340635]---> BDD-cost:  379
31.37/31.41	c ---[340634]---> BDD-cost:  379
31.37/31.42	c ---[340633]---> BDD-cost:  379
31.37/31.43	c ---[340632]---> BDD-cost:  379
31.37/31.44	c ---[340631]---> BDD-cost:  379
31.37/31.45	c ---[340630]---> BDD-cost:  379
31.37/31.45	c ---[340629]---> BDD-cost:  379
31.37/31.46	c ---[340628]---> BDD-cost:  379
31.37/31.47	c ---[340627]---> BDD-cost:  379
31.37/31.48	c ---[340626]---> BDD-cost:  379
31.37/31.49	c ---[340625]---> BDD-cost:  379
31.37/31.49	c ---[340624]---> BDD-cost:  379
31.47/31.50	c ---[340623]---> BDD-cost:  379
31.47/31.51	c ---[340622]---> BDD-cost:  379
31.47/31.52	c ---[340621]---> BDD-cost:  379
31.47/31.53	c ---[340620]---> BDD-cost:  379
31.47/31.54	c ---[340619]---> BDD-cost:  379
31.47/31.54	c ---[340618]---> BDD-cost:  379
31.47/31.55	c ---[340617]---> BDD-cost:  379
31.47/31.56	c ---[340616]---> BDD-cost:  379
31.47/31.57	c ---[340615]---> BDD-cost:  379
31.47/31.58	c ---[340614]---> BDD-cost:  379
31.47/31.58	c ---[340613]---> BDD-cost:  379
31.47/31.59	c ---[340612]---> BDD-cost:  379
31.57/31.60	c ---[340611]---> BDD-cost:  379
31.57/31.61	c ---[340610]---> BDD-cost:  379
31.57/31.62	c ---[340609]---> BDD-cost:  379
31.57/31.63	c ---[340608]---> BDD-cost:  379
31.57/31.63	c ---[340607]---> BDD-cost:  379
31.57/31.64	c ---[340606]---> BDD-cost:  379
31.57/31.65	c ---[340605]---> BDD-cost:  379
31.57/31.66	c ---[340604]---> BDD-cost:  379
31.57/31.67	c ---[340603]---> BDD-cost:  379
31.57/31.67	c ---[340602]---> BDD-cost:  379
31.57/31.68	c ---[340601]---> BDD-cost:  379
31.57/31.69	c ---[340600]---> BDD-cost:  379
31.67/31.70	c ---[340599]---> BDD-cost:  379
31.67/31.71	c ---[340598]---> BDD-cost:  379
31.67/31.71	c ---[340597]---> BDD-cost:  379
31.67/31.72	c ---[340596]---> BDD-cost:  379
31.67/31.73	c ---[340595]---> BDD-cost:  379
31.67/31.74	c ---[340594]---> BDD-cost:  379
31.67/31.75	c ---[340593]---> BDD-cost:  379
31.67/31.76	c ---[340592]---> BDD-cost:  379
31.67/31.76	c ---[340591]---> BDD-cost:  379
31.67/31.77	c ---[340590]---> BDD-cost:  379
31.67/31.78	c ---[340589]---> BDD-cost:  379
31.67/31.79	c ---[340588]---> BDD-cost:  379
31.67/31.80	c ---[340587]---> BDD-cost:  379
31.77/31.80	c ---[340586]---> BDD-cost:  379
31.77/31.81	c ---[340585]---> BDD-cost:  379
31.77/31.82	c ---[340584]---> BDD-cost:  379
31.77/31.83	c ---[340583]---> BDD-cost:  379
31.77/31.84	c ---[340582]---> BDD-cost:  379
31.77/31.84	c ---[340581]---> BDD-cost:  379
31.77/31.85	c ---[340580]---> BDD-cost:  379
31.77/31.86	c ---[340579]---> BDD-cost:  379
31.77/31.87	c ---[340578]---> BDD-cost:  379
31.77/31.88	c ---[340577]---> BDD-cost:  379
31.77/31.88	c ---[340576]---> BDD-cost:  379
31.77/31.89	c ---[340575]---> BDD-cost:  379
31.77/31.90	c ---[340574]---> BDD-cost:  379
31.88/31.91	c ---[340573]---> BDD-cost:  379
31.88/31.92	c ---[340572]---> BDD-cost:  379
31.88/31.93	c ---[340571]---> BDD-cost:  379
31.88/31.93	c ---[340570]---> BDD-cost:  379
31.88/31.94	c ---[340569]---> BDD-cost:  379
31.88/31.95	c ---[340568]---> BDD-cost:  379
31.88/31.96	c ---[340567]---> BDD-cost:  379
31.88/31.97	c ---[340566]---> BDD-cost:  379
31.88/31.97	c ---[340565]---> BDD-cost:  379
31.88/31.98	c ---[340564]---> BDD-cost:  379
31.88/31.99	c ---[340563]---> BDD-cost:  379
31.88/32.00	c ---[340562]---> BDD-cost:  379
31.98/32.01	c ---[340561]---> BDD-cost:  379
31.98/32.01	c ---[340560]---> BDD-cost:  379
31.98/32.02	c ---[340559]---> BDD-cost:  379
31.98/32.03	c ---[340558]---> BDD-cost:  379
31.98/32.04	c ---[340557]---> BDD-cost:  379
31.98/32.05	c ---[340556]---> BDD-cost:  379
31.98/32.05	c ---[340555]---> BDD-cost:  379
31.98/32.06	c ---[340554]---> BDD-cost:  379
31.98/32.07	c ---[   0]---> 

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4112184-1467320742/watcher-4112184-1467320742 -o /tmp/evaluation-result-4112184-1467320742/solver-4112184-1467320742 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1467318834-29664 --watchdog 1960 -S 80 minisatp HOME/instance-4112184-1467320742.opb 

pid=30259
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 Stack size limit: 81920 KiB
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: 81920 KiB


[startup+0 s]
/proc/loadavg: 2.47 2.41 2.35 3/170 30262
/proc/meminfo: memFree=30385040/32872528 swapFree=1370584/1517752
[pid=30262] ppid=30259 vsize=6748 CPUtime=0 cores=0,2,4,6
/proc/30262/stat : 30262 (minisatp) R 30259 30262 23751 0 -1 4202496 366 0 0 0 0 0 0 0 20 0 1 0 13029184 6909952 243 33554432000 4194304 5646918 140734721508880 140734905038296 4826286 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30262/statm: 1687 244 84 355 0 1328 0

[startup+0.100118 s]
/proc/loadavg: 2.47 2.41 2.35 3/170 30262
/proc/meminfo: memFree=30385040/32872528 swapFree=1370584/1517752
[pid=30262] ppid=30259 vsize=27192 CPUtime=0.08 cores=0,2,4,6
/proc/30262/stat : 30262 (minisatp) R 30259 30262 23751 0 -1 4202496 5314 0 0 0 8 0 0 0 20 0 1 0 13029184 27844608 4873 33554432000 4194304 5646918 140734721508880 140734905038296 4388025 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30262/statm: 6798 4878 84 355 0 6439 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27192

[startup+0.200268 s]
/proc/loadavg: 2.47 2.41 2.35 3/170 30262
/proc/meminfo: memFree=30385040/32872528 swapFree=1370584/1517752
[pid=30262] ppid=30259 vsize=51072 CPUtime=0.19 cores=0,2,4,6
/proc/30262/stat : 30262 (minisatp) R 30259 30262 23751 0 -1 4202496 10786 0 0 0 18 1 0 0 20 0 1 0 13029184 52297728 9950 33554432000 4194304 5646918 140734721508880 140734905038296 4212439 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30262/statm: 12768 9951 84 355 0 12409 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 51072

[startup+0.300321 s]
/proc/loadavg: 2.47 2.41 2.35 3/170 30262
/proc/meminfo: memFree=30385040/32872528 swapFree=1370584/1517752
[pid=30262] ppid=30259 vsize=74612 CPUtime=0.29 cores=0,2,4,6
/proc/30262/stat : 30262 (minisatp) R 30259 30262 23751 0 -1 4202496 16166 0 0 0 27 2 0 0 20 0 1 0 13029184 76402688 15123 33554432000 4194304 5646918 140734721508880 140734905038296 4826286 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30262/statm: 18653 15123 84 355 0 18294 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 74612

[startup+0.700262 s]
/proc/loadavg: 2.47 2.41 2.35 3/170 30262
/proc/meminfo: memFree=30385040/32872528 swapFree=1370584/1517752
[pid=30262] ppid=30259 vsize=127696 CPUtime=0.68 cores=0,2,4,6
/proc/30262/stat : 30262 (minisatp) R 30259 30262 23751 0 -1 4202496 28319 0 0 0 64 4 0 0 20 0 1 0 13029184 130760704 28121 33554432000 4194304 5646918 140734721508880 140734905038296 4824645 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30262/statm: 31924 28122 94 355 0 31565 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 127696

[startup+1.50025 s]
/proc/loadavg: 2.47 2.41 2.35 2/171 30263
/proc/meminfo: memFree=30254816/32872528 swapFree=1370584/1517752
[pid=30262] ppid=30259 vsize=157744 CPUtime=1.49 cores=0,2,4,6
/proc/30262/stat : 30262 (minisatp) R 30259 30262 23751 0 -1 4202496 34786 0 0 0 143 6 0 0 20 0 1 0 13029184 161529856 35825 33554432000 4194304 5646918 140734721508880 140734721508248 4273602 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30262/statm: 39436 35825 94 355 0 39077 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 157744

[startup+3.10021 s]
/proc/loadavg: 2.47 2.41 2.35 2/171 30263
/proc/meminfo: memFree=30219628/32872528 swapFree=1370584/1517752
[pid=30262] ppid=30259 vsize=207524 CPUtime=3.09 cores=0,2,4,6
/proc/30262/stat : 30262 (minisatp) R 30259 30262 23751 0 -1 4202496 47592 0 0 0 301 8 0 0 20 0 1 0 13029184 212504576 48631 33554432000 4194304 5646918 140734721508880 140734721508248 4817458 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30262/statm: 51881 48631 94 355 0 51522 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 207524

[startup+6.30023 s]
/proc/loadavg: 2.59 2.44 2.36 2/171 30263
/proc/meminfo: memFree=30083164/32872528 swapFree=1370584/1517752
[pid=30262] ppid=30259 vsize=352792 CPUtime=6.29 cores=0,2,4,6
/proc/30262/stat : 30262 (minisatp) R 30259 30262 23751 0 -1 4202496 84287 0 0 0 614 15 0 0 20 0 1 0 13029184 361259008 85837 33554432000 4194304 5646918 140734721508880 140734721508248 4263104 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30262/statm: 88231 85837 94 355 0 87872 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 352792

[startup+12.7003 s]
/proc/loadavg: 2.46 2.41 2.35 2/171 30263
/proc/meminfo: memFree=29651808/32872528 swapFree=1370584/1517752
[pid=30262] ppid=30259 vsize=746036 CPUtime=12.68 cores=0,2,4,6
/proc/30262/stat : 30262 (minisatp) R 30259 30262 23751 0 -1 4202496 174298 0 0 0 1239 29 0 0 20 0 1 0 13029184 763940864 183513 33554432000 4194304 5646918 140734721508880 140734721507080 4817691 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30262/statm: 186509 183513 94 355 0 186150 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 746036

[startup+25.5002 s]
/proc/loadavg: 2.14 2.34 2.33 2/171 30263
/proc/meminfo: memFree=29714760/32872528 swapFree=1370584/1517752
[pid=30262] ppid=30259 vsize=680468 CPUtime=25.48 cores=0,2,4,6
/proc/30262/stat : 30262 (minisatp) R 30259 30262 23751 0 -1 4202496 178320 0 0 0 2503 45 0 0 20 0 1 0 13029184 696799232 168157 33554432000 4194304 5646918 140734721508880 140734721507544 4832127 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/30262/statm: 170117 168157 116 355 0 169758 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 680468

[startup+51.1003 s]
/proc/loadavg: 2.47 2.40 2.35 1/172 30264
/proc/meminfo: memFree=27797920/32872528 swapFree=1370584/1517752
[pid=30262] ppid=30259 vsize=856248 CPUtime=33.64 cores=0,2,4,6
/proc/30262/stat : 30262 (minisatp) S 30259 30262 23751 0 -1 4204032 224470 0 0 0 3237 127 0 0 20 0 1 0 13029184 876797952 212537 33554432000 4194304 5646918 140734721508880 140734635548504 4823292 0 0 4096 16386 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30262/statm: 214062 212537 116 355 0 213703 0
Current children cumulated CPU time (s) 33.64
Current children cumulated vsize (KiB) 856248
heavy processes:
  %CPU=32 pid=1817 uid=0 cmd=
  %CPU=18 pid=30264 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 30262 11 506 18446744073709551615 

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

[startup+51.2066 s]
/proc/loadavg: 2.47 2.40 2.35 1/172 30264
/proc/meminfo: memFree=27797672/32872528 swapFree=1370584/1517752
[pid=30262] ppid=30259 vsize=856248 CPUtime=33.64 cores=0,2,4,6
/proc/30262/stat : 30262 (minisatp) S 30259 30262 23751 0 -1 4204032 224470 0 0 0 3237 127 0 0 20 0 1 0 13029184 876797952 212537 33554432000 4194304 5646918 140734721508880 140734635548504 4823292 0 0 4096 16386 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30262/statm: 214062 212537 116 355 0 213703 0
Current children cumulated CPU time (s) 33.64
Current children cumulated vsize (KiB) 856248

[startup+52.8003 s]
/proc/loadavg: 2.47 2.40 2.35 1/172 30264
/proc/meminfo: memFree=27797920/32872528 swapFree=1370584/1517752
[pid=30262] ppid=30259 vsize=856248 CPUtime=33.64 cores=0,2,4,6
/proc/30262/stat : 30262 (minisatp) S 30259 30262 23751 0 -1 4204032 224470 0 0 0 3237 127 0 0 20 0 1 0 13029184 876797952 212537 33554432000 4194304 5646918 140734721508880 140734635548504 4823292 0 0 4096 16386 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30262/statm: 214062 212537 116 355 0 213703 0
Current children cumulated CPU time (s) 33.64
Current children cumulated vsize (KiB) 856248

[startup+54.4003 s]
/proc/loadavg: 2.47 2.40 2.35 1/172 30264
/proc/meminfo: memFree=27797640/32872528 swapFree=1370584/1517752
[pid=30262] ppid=30259 vsize=856248 CPUtime=33.64 cores=0,2,4,6
/proc/30262/stat : 30262 (minisatp) S 30259 30262 23751 0 -1 4204032 224470 0 0 0 3237 127 0 0 20 0 1 0 13029184 876797952 212537 33554432000 4194304 5646918 140734721508880 140734635548504 4823292 0 0 4096 16386 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30262/statm: 214062 212537 116 355 0 213703 0
Current children cumulated CPU time (s) 33.64
Current children cumulated vsize (KiB) 856248

[startup+55.2003 s]
/proc/loadavg: 2.51 2.41 2.35 1/172 30264
/proc/meminfo: memFree=27797392/32872528 swapFree=1370584/1517752
[pid=30262] ppid=30259 vsize=856248 CPUtime=33.64 cores=0,2,4,6
/proc/30262/stat : 30262 (minisatp) S 30259 30262 23751 0 -1 4204032 224470 0 0 0 3237 127 0 0 20 0 1 0 13029184 876797952 212537 33554432000 4194304 5646918 140734721508880 140734635548504 4823292 0 0 4096 16386 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30262/statm: 214062 212537 116 355 0 213703 0
Current children cumulated CPU time (s) 33.64
Current children cumulated vsize (KiB) 856248

[startup+55.4003 s]
/proc/loadavg: 2.51 2.41 2.35 1/172 30264
/proc/meminfo: memFree=27797392/32872528 swapFree=1370584/1517752
[pid=30262] ppid=30259 vsize=856248 CPUtime=33.64 cores=0,2,4,6
/proc/30262/stat : 30262 (minisatp) S 30259 30262 23751 0 -1 4204032 224470 0 0 0 3237 127 0 0 20 0 1 0 13029184 876797952 212537 33554432000 4194304 5646918 140734721508880 140734635548504 4823292 0 0 4096 16386 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30262/statm: 214062 212537 116 355 0 213703 0
Current children cumulated CPU time (s) 33.64
Current children cumulated vsize (KiB) 856248

[startup+55.5003 s]
/proc/loadavg: 2.51 2.41 2.35 1/172 30264
/proc/meminfo: memFree=27797392/32872528 swapFree=1370584/1517752
[pid=30262] ppid=30259 vsize=856248 CPUtime=33.64 cores=0,2,4,6
/proc/30262/stat : 30262 (minisatp) S 30259 30262 23751 0 -1 4204032 224470 0 0 0 3237 127 0 0 20 0 1 0 13029184 876797952 212537 33554432000 4194304 5646918 140734721508880 140734635548504 4823292 0 0 4096 16386 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/30262/statm: 214062 212537 116 355 0 213703 0
Current children cumulated CPU time (s) 33.64
Current children cumulated vsize (KiB) 856248

Child ended because it received signal 11 (SIGSEGV)
Child dumped core
Real time (s): 55.5592
CPU time (s): 33.7009
CPU user time (s): 32.3721
CPU system time (s): 1.3288
CPU usage (%): 60.6576
Max. virtual memory (cumulated for all children) (KiB): 856248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.3721
system time used= 1.3288
maximum resident set size= 850148
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224470
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= 198869
involuntary context switches= 67

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.253961 second user time and 0.894863 second system time

The end

Launcher Data

Begin job on node129 at 2016-06-30 23:05:43
IDJOB=4112184
IDBENCH=92189
IDSOLVER=2555
FILE ID=node129/4112184-1467320742
RUNJOBID= node129-1467318834-29664
PBS_JOBID= 20005258
Free space on /tmp= 71572 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/sroussel/NG/normalized-NG.dot_fibo_10null10mast_rapportOE1.0_TMAX300_K192_cod1.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112184-1467320742/watcher-4112184-1467320742 -o /tmp/evaluation-result-4112184-1467320742/solver-4112184-1467320742 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1467318834-29664 --watchdog 1960 -S 80 minisatp HOME/instance-4112184-1467320742.opb

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

MD5SUM BENCH= 086965ba422b805d68e9d1d8816ed313
RANDOM SEED=731314428

node129.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.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.36
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.683
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
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.683
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30385716 kB
Buffers:           43080 kB
Cached:           128456 kB
SwapCached:            0 kB
Active:           122080 kB
Inactive:          65104 kB
Active(anon):       1360 kB
Inactive(anon):    17100 kB
Active(file):     120720 kB
Inactive(file):    48004 kB
Unevictable:     1517752 kB
Mlocked:         1370584 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             37008 kB
Writeback:             0 kB
AnonPages:       1533692 kB
Mapped:            13912 kB
Shmem:               204 kB
Slab:             647700 kB
SReclaimable:      91344 kB
SUnreclaim:       556356 kB
KernelStack:        1392 kB
PageTables:         6824 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1618076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4112184-1467320742.opb

Free space on /tmp at the end= 70760 MiB
End job on node129 at 2016-06-30 23:06:39