Trace number 360462

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, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat+ 1.14? (TO) 1800.18 1800.8

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k5_l4_n750.opb
MD5SUM84dfc4b706a5e82746c96ff285501708
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark31.2183
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables3750
Total number of constraints467625
Number of constraints which are clauses466875
Number of constraints which are cardinality constraints (but not clauses)750
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint4
Maximum length of a constraint5
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c Parsing PB file...
20.44/20.55	c Converting 468375 PB-constraints to clauses...
20.54/20.64	c   -- Unit propagations: (none)
20.54/20.64	c   -- Detecting intervals from adjacent constraints: ##############################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################
20.54/20.69	c   -- Clauses(.)/Splits(s): ...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
21.72/21.83	c ---[1498]---> BDD-cost:    7
21.72/21.83	c ---[1496]---> BDD-cost:    7
21.72/21.83	c ---[1494]---> BDD-cost:    7
21.72/21.83	c ---[1492]---> BDD-cost:    7
21.72/21.83	c ---[1490]---> BDD-cost:    7
21.72/21.83	c ---[1488]---> BDD-cost:    7
21.72/21.83	c ---[1486]---> BDD-cost:    7
21.72/21.83	c ---[1484]---> BDD-cost:    7
21.72/21.83	c ---[1482]---> BDD-cost:    7
21.72/21.83	c ---[1480]---> BDD-cost:    7
21.72/21.83	c ---[1478]---> BDD-cost:    7
21.72/21.83	c ---[1476]---> BDD-cost:    7
21.72/21.83	c ---[1474]---> BDD-cost:    7
21.72/21.83	c ---[1472]---> BDD-cost:    7
21.72/21.83	c ---[1470]---> BDD-cost:    7
21.72/21.83	c ---[1468]---> BDD-cost:    7
21.72/21.83	c ---[1466]---> BDD-cost:    7
21.72/21.83	c ---[1464]---> BDD-cost:    7
21.72/21.83	c ---[1462]---> BDD-cost:    7
21.72/21.83	c ---[1460]---> BDD-cost:    7
21.72/21.83	c ---[1458]---> BDD-cost:    7
21.72/21.83	c ---[1456]---> BDD-cost:    7
21.72/21.83	c ---[1454]---> BDD-cost:    7
21.72/21.83	c ---[1452]---> BDD-cost:    7
21.72/21.83	c ---[1450]---> BDD-cost:    7
21.72/21.83	c ---[1448]---> BDD-cost:    7
21.72/21.83	c ---[1446]---> BDD-cost:    7
21.72/21.83	c ---[1444]---> BDD-cost:    7
21.72/21.83	c ---[1442]---> BDD-cost:    7
21.72/21.83	c ---[1440]---> BDD-cost:    7
21.72/21.83	c ---[1438]---> BDD-cost:    7
21.72/21.83	c ---[1436]---> BDD-cost:    7
21.72/21.83	c ---[1434]---> BDD-cost:    7
21.72/21.83	c ---[1432]---> BDD-cost:    7
21.72/21.83	c ---[1430]---> BDD-cost:    7
21.72/21.83	c ---[1428]---> BDD-cost:    7
21.72/21.83	c ---[1426]---> BDD-cost:    7
21.72/21.83	c ---[1424]---> BDD-cost:    7
21.72/21.83	c ---[1422]---> BDD-cost:    7
21.72/21.83	c ---[1420]---> BDD-cost:    7
21.72/21.83	c ---[1418]---> BDD-cost:    7
21.72/21.83	c ---[1416]---> BDD-cost:    7
21.72/21.83	c ---[1414]---> BDD-cost:    7
21.72/21.83	c ---[1412]---> BDD-cost:    7
21.72/21.83	c ---[1410]---> BDD-cost:    7
21.72/21.83	c ---[1408]---> BDD-cost:    7
21.72/21.83	c ---[1406]---> BDD-cost:    7
21.72/21.83	c ---[1404]---> BDD-cost:    7
21.72/21.83	c ---[1402]---> BDD-cost:    7
21.72/21.83	c ---[1400]---> BDD-cost:    7
21.72/21.83	c ---[1398]---> BDD-cost:    7
21.72/21.83	c ---[1396]---> BDD-cost:    7
21.72/21.83	c ---[1394]---> BDD-cost:    7
21.72/21.83	c ---[1392]---> BDD-cost:    7
21.72/21.83	c ---[1390]---> BDD-cost:    7
21.72/21.83	c ---[1388]---> BDD-cost:    7
21.72/21.83	c ---[1386]---> BDD-cost:    7
21.72/21.83	c ---[1384]---> BDD-cost:    7
21.72/21.83	c ---[1382]---> BDD-cost:    7
21.72/21.83	c ---[1380]---> BDD-cost:    7
21.72/21.83	c ---[1378]---> BDD-cost:    7
21.72/21.83	c ---[1376]---> BDD-cost:    7
21.72/21.83	c ---[1374]---> BDD-cost:    7
21.72/21.83	c ---[1372]---> BDD-cost:    7
21.72/21.83	c ---[1370]---> BDD-cost:    7
21.72/21.83	c ---[1368]---> BDD-cost:    7
21.72/21.83	c ---[1366]---> BDD-cost:    7
21.72/21.83	c ---[1364]---> BDD-cost:    7
21.72/21.83	c ---[1362]---> BDD-cost:    7
21.72/21.83	c ---[1360]---> BDD-cost:    7
21.72/21.83	c ---[1358]---> BDD-cost:    7
21.72/21.83	c ---[1356]---> BDD-cost:    7
21.72/21.83	c ---[1354]---> BDD-cost:    7
21.72/21.83	c ---[1352]---> BDD-cost:    7
21.72/21.83	c ---[1350]---> BDD-cost:    7
21.72/21.83	c ---[1348]---> BDD-cost:    7
21.72/21.83	c ---[1346]---> BDD-cost:    7
21.72/21.83	c ---[1344]---> BDD-cost:    7
21.72/21.83	c ---[1342]---> BDD-cost:    7
21.72/21.83	c ---[1340]---> BDD-cost:    7
21.72/21.83	c ---[1338]---> BDD-cost:    7
21.72/21.83	c ---[1336]---> BDD-cost:    7
21.72/21.83	c ---[1334]---> BDD-cost:    7
21.72/21.83	c ---[1332]---> BDD-cost:    7
21.72/21.83	c ---[1330]---> BDD-cost:    7
21.72/21.83	c ---[1328]---> BDD-cost:    7
21.72/21.83	c ---[1326]---> BDD-cost:    7
21.72/21.83	c ---[1324]---> BDD-cost:    7
21.72/21.83	c ---[1322]---> BDD-cost:    7
21.72/21.83	c ---[1320]---> BDD-cost:    7
21.72/21.83	c ---[1318]---> BDD-cost:    7
21.72/21.83	c ---[1316]---> BDD-cost:    7
21.72/21.83	c ---[1314]---> BDD-cost:    7
21.72/21.83	c ---[1312]---> BDD-cost:    7
21.72/21.83	c ---[1310]---> BDD-cost:    7
21.72/21.83	c ---[1308]---> BDD-cost:    7
21.72/21.83	c ---[1306]---> BDD-cost:    7
21.72/21.83	c ---[1304]---> BDD-cost:    7
21.72/21.83	c ---[1302]---> BDD-cost:    7
21.72/21.83	c ---[1300]---> BDD-cost:    7
21.72/21.83	c ---[1298]---> BDD-cost:    7
21.72/21.83	c ---[1296]---> BDD-cost:    7
21.72/21.83	c ---[1294]---> BDD-cost:    7
21.72/21.83	c ---[1292]---> BDD-cost:    7
21.72/21.83	c ---[1290]---> BDD-cost:    7
21.72/21.83	c ---[1288]---> BDD-cost:    7
21.72/21.83	c ---[1286]---> BDD-cost:    7
21.72/21.83	c ---[1284]---> BDD-cost:    7
21.72/21.83	c ---[1282]---> BDD-cost:    7
21.72/21.83	c ---[1280]---> BDD-cost:    7
21.72/21.83	c ---[1278]---> BDD-cost:    7
21.72/21.83	c ---[1276]---> BDD-cost:    7
21.72/21.83	c ---[1274]---> BDD-cost:    7
21.72/21.83	c ---[1272]---> BDD-cost:    7
21.72/21.83	c ---[1270]---> BDD-cost:    7
21.72/21.83	c ---[1268]---> BDD-cost:    7
21.72/21.83	c ---[1266]---> BDD-cost:    7
21.72/21.83	c ---[1264]---> BDD-cost:    7
21.72/21.83	c ---[1262]---> BDD-cost:    7
21.72/21.83	c ---[1260]---> BDD-cost:    7
21.72/21.83	c ---[1258]---> BDD-cost:    7
21.72/21.83	c ---[1256]---> BDD-cost:    7
21.72/21.84	c ---[1254]---> BDD-cost:    7
21.72/21.84	c ---[1252]---> BDD-cost:    7
21.72/21.84	c ---[1250]---> BDD-cost:    7
21.72/21.84	c ---[1248]---> BDD-cost:    7
21.72/21.84	c ---[1246]---> BDD-cost:    7
21.72/21.84	c ---[1244]---> BDD-cost:    7
21.72/21.84	c ---[1242]---> BDD-cost:    7
21.72/21.84	c ---[1240]---> BDD-cost:    7
21.72/21.84	c ---[1238]---> BDD-cost:    7
21.72/21.84	c ---[1236]---> BDD-cost:    7
21.72/21.84	c ---[1234]---> BDD-cost:    7
21.72/21.84	c ---[1232]---> BDD-cost:    7
21.72/21.84	c ---[1230]---> BDD-cost:    7
21.72/21.84	c ---[1228]---> BDD-cost:    7
21.72/21.84	c ---[1226]---> BDD-cost:    7
21.72/21.84	c ---[1224]---> BDD-cost:    7
21.72/21.84	c ---[1222]---> BDD-cost:    7
21.72/21.84	c ---[1220]---> BDD-cost:    7
21.72/21.84	c ---[1218]---> BDD-cost:    7
21.72/21.84	c ---[1216]---> BDD-cost:    7
21.72/21.84	c ---[1214]---> BDD-cost:    7
21.72/21.84	c ---[1212]---> BDD-cost:    7
21.72/21.84	c ---[1210]---> BDD-cost:    7
21.72/21.84	c ---[1208]---> BDD-cost:    7
21.72/21.84	c ---[1206]---> BDD-cost:    7
21.72/21.84	c ---[1204]---> BDD-cost:    7
21.72/21.84	c ---[1202]---> BDD-cost:    7
21.72/21.84	c ---[1200]---> BDD-cost:    7
21.72/21.84	c ---[1198]---> BDD-cost:    7
21.72/21.84	c ---[1196]---> BDD-cost:    7
21.72/21.84	c ---[1194]---> BDD-cost:    7
21.72/21.84	c ---[1192]---> BDD-cost:    7
21.72/21.84	c ---[1190]---> BDD-cost:    7
21.72/21.84	c ---[1188]---> BDD-cost:    7
21.72/21.84	c ---[1186]---> BDD-cost:    7
21.72/21.84	c ---[1184]---> BDD-cost:    7
21.72/21.84	c ---[1182]---> BDD-cost:    7
21.72/21.84	c ---[1180]---> BDD-cost:    7
21.72/21.84	c ---[1178]---> BDD-cost:    7
21.72/21.84	c ---[1176]---> BDD-cost:    7
21.72/21.84	c ---[1174]---> BDD-cost:    7
21.72/21.84	c ---[1172]---> BDD-cost:    7
21.72/21.84	c ---[1170]---> BDD-cost:    7
21.72/21.84	c ---[1168]---> BDD-cost:    7
21.72/21.84	c ---[1166]---> BDD-cost:    7
21.72/21.84	c ---[1164]---> BDD-cost:    7
21.72/21.84	c ---[1162]---> BDD-cost:    7
21.72/21.84	c ---[1160]---> BDD-cost:    7
21.72/21.84	c ---[1158]---> BDD-cost:    7
21.72/21.84	c ---[1156]---> BDD-cost:    7
21.72/21.84	c ---[1154]---> BDD-cost:    7
21.72/21.84	c ---[1152]---> BDD-cost:    7
21.72/21.84	c ---[1150]---> BDD-cost:    7
21.72/21.84	c ---[1148]---> BDD-cost:    7
21.72/21.84	c ---[1146]---> BDD-cost:    7
21.72/21.84	c ---[1144]---> BDD-cost:    7
21.72/21.84	c ---[1142]---> BDD-cost:    7
21.72/21.84	c ---[1140]---> BDD-cost:    7
21.72/21.84	c ---[1138]---> BDD-cost:    7
21.72/21.84	c ---[1136]---> BDD-cost:    7
21.72/21.84	c ---[1134]---> BDD-cost:    7
21.72/21.84	c ---[1132]---> BDD-cost:    7
21.72/21.84	c ---[1130]---> BDD-cost:    7
21.72/21.84	c ---[1128]---> BDD-cost:    7
21.72/21.84	c ---[1126]---> BDD-cost:    7
21.72/21.84	c ---[1124]---> BDD-cost:    7
21.72/21.84	c ---[1122]---> BDD-cost:    7
21.72/21.84	c ---[1120]---> BDD-cost:    7
21.72/21.84	c ---[1118]---> BDD-cost:    7
21.72/21.84	c ---[1116]---> BDD-cost:    7
21.72/21.84	c ---[1114]---> BDD-cost:    7
21.72/21.84	c ---[1112]---> BDD-cost:    7
21.72/21.84	c ---[1110]---> BDD-cost:    7
21.72/21.84	c ---[1108]---> BDD-cost:    7
21.72/21.84	c ---[1106]---> BDD-cost:    7
21.72/21.84	c ---[1104]---> BDD-cost:    7
21.72/21.84	c ---[1102]---> BDD-cost:    7
21.72/21.84	c ---[1100]---> BDD-cost:    7
21.72/21.84	c ---[1098]---> BDD-cost:    7
21.72/21.84	c ---[1096]---> BDD-cost:    7
21.72/21.84	c ---[1094]---> BDD-cost:    7
21.72/21.84	c ---[1092]---> BDD-cost:    7
21.72/21.84	c ---[1090]---> BDD-cost:    7
21.72/21.84	c ---[1088]---> BDD-cost:    7
21.72/21.84	c ---[1086]---> BDD-cost:    7
21.72/21.84	c ---[1084]---> BDD-cost:    7
21.72/21.84	c ---[1082]---> BDD-cost:    7
21.72/21.84	c ---[1080]---> BDD-cost:    7
21.72/21.84	c ---[1078]---> BDD-cost:    7
21.72/21.84	c ---[1076]---> BDD-cost:    7
21.72/21.84	c ---[1074]---> BDD-cost:    7
21.72/21.84	c ---[1072]---> BDD-cost:    7
21.72/21.84	c ---[1070]---> BDD-cost:    7
21.72/21.84	c ---[1068]---> BDD-cost:    7
21.72/21.84	c ---[1066]---> BDD-cost:    7
21.72/21.84	c ---[1064]---> BDD-cost:    7
21.72/21.84	c ---[1062]---> BDD-cost:    7
21.72/21.84	c ---[1060]---> BDD-cost:    7
21.72/21.84	c ---[1058]---> BDD-cost:    7
21.72/21.84	c ---[1056]---> BDD-cost:    7
21.72/21.84	c ---[1054]---> BDD-cost:    7
21.72/21.84	c ---[1052]---> BDD-cost:    7
21.72/21.84	c ---[1050]---> BDD-cost:    7
21.72/21.84	c ---[1048]---> BDD-cost:    7
21.72/21.84	c ---[1046]---> BDD-cost:    7
21.72/21.84	c ---[1044]---> BDD-cost:    7
21.72/21.84	c ---[1042]---> BDD-cost:    7
21.72/21.84	c ---[1040]---> BDD-cost:    7
21.72/21.84	c ---[1038]---> BDD-cost:    7
21.72/21.84	c ---[1036]---> BDD-cost:    7
21.72/21.84	c ---[1034]---> BDD-cost:    7
21.72/21.84	c ---[1032]---> BDD-cost:    7
21.72/21.84	c ---[1030]---> BDD-cost:    7
21.72/21.84	c ---[1028]---> BDD-cost:    7
21.72/21.84	c ---[1026]---> BDD-cost:    7
21.72/21.84	c ---[1024]---> BDD-cost:    7
21.72/21.84	c ---[1022]---> BDD-cost:    7
21.72/21.84	c ---[1020]---> BDD-cost:    7
21.72/21.84	c ---[1018]---> BDD-cost:    7
21.72/21.84	c ---[1016]---> BDD-cost:    7
21.72/21.84	c ---[1014]---> BDD-cost:    7
21.72/21.84	c ---[1012]---> BDD-cost:    7
21.72/21.84	c ---[1010]---> BDD-cost:    7
21.72/21.84	c ---[1008]---> BDD-cost:    7
21.72/21.84	c ---[1006]---> BDD-cost:    7
21.72/21.84	c ---[1004]---> BDD-cost:    7
21.72/21.84	c ---[1002]---> BDD-cost:    7
21.72/21.84	c ---[1000]---> BDD-cost:    7
21.72/21.84	c ---[ 998]---> BDD-cost:    7
21.72/21.84	c ---[ 996]---> BDD-cost:    7
21.72/21.84	c ---[ 994]---> BDD-cost:    7
21.72/21.84	c ---[ 992]---> BDD-cost:    7
21.72/21.84	c ---[ 990]---> BDD-cost:    7
21.72/21.84	c ---[ 988]---> BDD-cost:    7
21.72/21.84	c ---[ 986]---> BDD-cost:    7
21.72/21.84	c ---[ 984]---> BDD-cost:    7
21.72/21.84	c ---[ 982]---> BDD-cost:    7
21.72/21.85	c ---[ 980]---> BDD-cost:    7
21.72/21.85	c ---[ 978]---> BDD-cost:    7
21.72/21.85	c ---[ 976]---> BDD-cost:    7
21.72/21.85	c ---[ 974]---> BDD-cost:    7
21.72/21.85	c ---[ 972]---> BDD-cost:    7
21.72/21.85	c ---[ 970]---> BDD-cost:    7
21.72/21.85	c ---[ 968]---> BDD-cost:    7
21.72/21.85	c ---[ 966]---> BDD-cost:    7
21.72/21.85	c ---[ 964]---> BDD-cost:    7
21.72/21.85	c ---[ 962]---> BDD-cost:    7
21.72/21.85	c ---[ 960]---> BDD-cost:    7
21.72/21.85	c ---[ 958]---> BDD-cost:    7
21.72/21.85	c ---[ 956]---> BDD-cost:    7
21.72/21.85	c ---[ 954]---> BDD-cost:    7
21.72/21.85	c ---[ 952]---> BDD-cost:    7
21.72/21.85	c ---[ 950]---> BDD-cost:    7
21.72/21.85	c ---[ 948]---> BDD-cost:    7
21.72/21.85	c ---[ 946]---> BDD-cost:    7
21.72/21.85	c ---[ 944]---> BDD-cost:    7
21.72/21.85	c ---[ 942]---> BDD-cost:    7
21.72/21.85	c ---[ 940]---> BDD-cost:    7
21.72/21.85	c ---[ 938]---> BDD-cost:    7
21.72/21.85	c ---[ 936]---> BDD-cost:    7
21.72/21.85	c ---[ 934]---> BDD-cost:    7
21.72/21.85	c ---[ 932]---> BDD-cost:    7
21.72/21.85	c ---[ 930]---> BDD-cost:    7
21.72/21.85	c ---[ 928]---> BDD-cost:    7
21.72/21.85	c ---[ 926]---> BDD-cost:    7
21.72/21.85	c ---[ 924]---> BDD-cost:    7
21.72/21.85	c ---[ 922]---> BDD-cost:    7
21.72/21.85	c ---[ 920]---> BDD-cost:    7
21.72/21.85	c ---[ 918]---> BDD-cost:    7
21.72/21.85	c ---[ 916]---> BDD-cost:    7
21.72/21.85	c ---[ 914]---> BDD-cost:    7
21.72/21.85	c ---[ 912]---> BDD-cost:    7
21.72/21.85	c ---[ 910]---> BDD-cost:    7
21.72/21.85	c ---[ 908]---> BDD-cost:    7
21.72/21.85	c ---[ 906]---> BDD-cost:    7
21.72/21.85	c ---[ 904]---> BDD-cost:    7
21.72/21.85	c ---[ 902]---> BDD-cost:    7
21.72/21.85	c ---[ 900]---> BDD-cost:    7
21.72/21.85	c ---[ 898]---> BDD-cost:    7
21.72/21.85	c ---[ 896]---> BDD-cost:    7
21.72/21.85	c ---[ 894]---> BDD-cost:    7
21.72/21.85	c ---[ 892]---> BDD-cost:    7
21.72/21.85	c ---[ 890]---> BDD-cost:    7
21.72/21.85	c ---[ 888]---> BDD-cost:    7
21.72/21.85	c ---[ 886]---> BDD-cost:    7
21.72/21.85	c ---[ 884]---> BDD-cost:    7
21.72/21.85	c ---[ 882]---> BDD-cost:    7
21.72/21.85	c ---[ 880]---> BDD-cost:    7
21.72/21.85	c ---[ 878]---> BDD-cost:    7
21.72/21.85	c ---[ 876]---> BDD-cost:    7
21.72/21.85	c ---[ 874]---> BDD-cost:    7
21.72/21.85	c ---[ 872]---> BDD-cost:    7
21.72/21.85	c ---[ 870]---> BDD-cost:    7
21.72/21.85	c ---[ 868]---> BDD-cost:    7
21.72/21.85	c ---[ 866]---> BDD-cost:    7
21.72/21.85	c ---[ 864]---> BDD-cost:    7
21.72/21.85	c ---[ 862]---> BDD-cost:    7
21.72/21.85	c ---[ 860]---> BDD-cost:    7
21.72/21.85	c ---[ 858]---> BDD-cost:    7
21.72/21.85	c ---[ 856]---> BDD-cost:    7
21.72/21.85	c ---[ 854]---> BDD-cost:    7
21.72/21.85	c ---[ 852]---> BDD-cost:    7
21.72/21.85	c ---[ 850]---> BDD-cost:    7
21.72/21.85	c ---[ 848]---> BDD-cost:    7
21.72/21.85	c ---[ 846]---> BDD-cost:    7
21.72/21.85	c ---[ 844]---> BDD-cost:    7
21.72/21.85	c ---[ 842]---> BDD-cost:    7
21.72/21.85	c ---[ 840]---> BDD-cost:    7
21.72/21.85	c ---[ 838]---> BDD-cost:    7
21.72/21.85	c ---[ 836]---> BDD-cost:    7
21.72/21.85	c ---[ 834]---> BDD-cost:    7
21.72/21.85	c ---[ 832]---> BDD-cost:    7
21.72/21.85	c ---[ 830]---> BDD-cost:    7
21.72/21.85	c ---[ 828]---> BDD-cost:    7
21.72/21.85	c ---[ 826]---> BDD-cost:    7
21.72/21.85	c ---[ 824]---> BDD-cost:    7
21.72/21.85	c ---[ 822]---> BDD-cost:    7
21.72/21.85	c ---[ 820]---> BDD-cost:    7
21.72/21.85	c ---[ 818]---> BDD-cost:    7
21.72/21.85	c ---[ 816]---> BDD-cost:    7
21.72/21.85	c ---[ 814]---> BDD-cost:    7
21.72/21.85	c ---[ 812]---> BDD-cost:    7
21.72/21.85	c ---[ 810]---> BDD-cost:    7
21.72/21.85	c ---[ 808]---> BDD-cost:    7
21.72/21.85	c ---[ 806]---> BDD-cost:    7
21.72/21.85	c ---[ 804]---> BDD-cost:    7
21.72/21.85	c ---[ 802]---> BDD-cost:    7
21.72/21.85	c ---[ 800]---> BDD-cost:    7
21.72/21.85	c ---[ 798]---> BDD-cost:    7
21.72/21.85	c ---[ 796]---> BDD-cost:    7
21.72/21.85	c ---[ 794]---> BDD-cost:    7
21.72/21.85	c ---[ 792]---> BDD-cost:    7
21.72/21.85	c ---[ 790]---> BDD-cost:    7
21.72/21.85	c ---[ 788]---> BDD-cost:    7
21.72/21.85	c ---[ 786]---> BDD-cost:    7
21.72/21.85	c ---[ 784]---> BDD-cost:    7
21.72/21.85	c ---[ 782]---> BDD-cost:    7
21.72/21.85	c ---[ 780]---> BDD-cost:    7
21.72/21.85	c ---[ 778]---> BDD-cost:    7
21.72/21.85	c ---[ 776]---> BDD-cost:    7
21.72/21.85	c ---[ 774]---> BDD-cost:    7
21.72/21.85	c ---[ 772]---> BDD-cost:    7
21.72/21.85	c ---[ 770]---> BDD-cost:    7
21.72/21.85	c ---[ 768]---> BDD-cost:    7
21.72/21.85	c ---[ 766]---> BDD-cost:    7
21.72/21.85	c ---[ 764]---> BDD-cost:    7
21.72/21.85	c ---[ 762]---> BDD-cost:    7
21.72/21.85	c ---[ 760]---> BDD-cost:    7
21.72/21.85	c ---[ 758]---> BDD-cost:    7
21.72/21.85	c ---[ 756]---> BDD-cost:    7
21.72/21.85	c ---[ 754]---> BDD-cost:    7
21.72/21.85	c ---[ 752]---> BDD-cost:    7
21.72/21.85	c ---[ 750]---> BDD-cost:    7
21.72/21.85	c ---[ 748]---> BDD-cost:    7
21.72/21.85	c ---[ 746]---> BDD-cost:    7
21.72/21.85	c ---[ 744]---> BDD-cost:    7
21.72/21.85	c ---[ 742]---> BDD-cost:    7
21.72/21.85	c ---[ 740]---> BDD-cost:    7
21.72/21.85	c ---[ 738]---> BDD-cost:    7
21.72/21.85	c ---[ 736]---> BDD-cost:    7
21.72/21.85	c ---[ 734]---> BDD-cost:    7
21.72/21.85	c ---[ 732]---> BDD-cost:    7
21.72/21.85	c ---[ 730]---> BDD-cost:    7
21.72/21.85	c ---[ 728]---> BDD-cost:    7
21.72/21.85	c ---[ 726]---> BDD-cost:    7
21.72/21.85	c ---[ 724]---> BDD-cost:    7
21.72/21.85	c ---[ 722]---> BDD-cost:    7
21.72/21.85	c ---[ 720]---> BDD-cost:    7
21.72/21.85	c ---[ 718]---> BDD-cost:    7
21.72/21.85	c ---[ 716]---> BDD-cost:    7
21.72/21.85	c ---[ 714]---> BDD-cost:    7
21.72/21.85	c ---[ 712]---> BDD-cost:    7
21.72/21.85	c ---[ 710]---> BDD-cost:    7
21.72/21.86	c ---[ 708]---> BDD-cost:    7
21.72/21.86	c ---[ 706]---> BDD-cost:    7
21.72/21.86	c ---[ 704]---> BDD-cost:    7
21.72/21.86	c ---[ 702]---> BDD-cost:    7
21.72/21.86	c ---[ 700]---> BDD-cost:    7
21.72/21.86	c ---[ 698]---> BDD-cost:    7
21.72/21.86	c ---[ 696]---> BDD-cost:    7
21.72/21.86	c ---[ 694]---> BDD-cost:    7
21.72/21.86	c ---[ 692]---> BDD-cost:    7
21.72/21.86	c ---[ 690]---> BDD-cost:    7
21.72/21.86	c ---[ 688]---> BDD-cost:    7
21.72/21.86	c ---[ 686]---> BDD-cost:    7
21.72/21.86	c ---[ 684]---> BDD-cost:    7
21.72/21.86	c ---[ 682]---> BDD-cost:    7
21.72/21.86	c ---[ 680]---> BDD-cost:    7
21.72/21.86	c ---[ 678]---> BDD-cost:    7
21.72/21.86	c ---[ 676]---> BDD-cost:    7
21.72/21.86	c ---[ 674]---> BDD-cost:    7
21.72/21.86	c ---[ 672]---> BDD-cost:    7
21.72/21.86	c ---[ 670]---> BDD-cost:    7
21.72/21.86	c ---[ 668]---> BDD-cost:    7
21.72/21.86	c ---[ 666]---> BDD-cost:    7
21.72/21.86	c ---[ 664]---> BDD-cost:    7
21.72/21.86	c ---[ 662]---> BDD-cost:    7
21.72/21.86	c ---[ 660]---> BDD-cost:    7
21.72/21.86	c ---[ 658]---> BDD-cost:    7
21.72/21.86	c ---[ 656]---> BDD-cost:    7
21.72/21.86	c ---[ 654]---> BDD-cost:    7
21.72/21.86	c ---[ 652]---> BDD-cost:    7
21.72/21.86	c ---[ 650]---> BDD-cost:    7
21.72/21.86	c ---[ 648]---> BDD-cost:    7
21.72/21.86	c ---[ 646]---> BDD-cost:    7
21.72/21.86	c ---[ 644]---> BDD-cost:    7
21.72/21.86	c ---[ 642]---> BDD-cost:    7
21.72/21.86	c ---[ 640]---> BDD-cost:    7
21.72/21.86	c ---[ 638]---> BDD-cost:    7
21.72/21.86	c ---[ 636]---> BDD-cost:    7
21.72/21.86	c ---[ 634]---> BDD-cost:    7
21.72/21.86	c ---[ 632]---> BDD-cost:    7
21.72/21.86	c ---[ 630]---> BDD-cost:    7
21.72/21.86	c ---[ 628]---> BDD-cost:    7
21.72/21.86	c ---[ 626]---> BDD-cost:    7
21.72/21.86	c ---[ 624]---> BDD-cost:    7
21.72/21.86	c ---[ 622]---> BDD-cost:    7
21.72/21.86	c ---[ 620]---> BDD-cost:    7
21.72/21.86	c ---[ 618]---> BDD-cost:    7
21.72/21.86	c ---[ 616]---> BDD-cost:    7
21.72/21.86	c ---[ 614]---> BDD-cost:    7
21.72/21.86	c ---[ 612]---> BDD-cost:    7
21.72/21.86	c ---[ 610]---> BDD-cost:    7
21.72/21.86	c ---[ 608]---> BDD-cost:    7
21.72/21.86	c ---[ 606]---> BDD-cost:    7
21.72/21.86	c ---[ 604]---> BDD-cost:    7
21.72/21.86	c ---[ 602]---> BDD-cost:    7
21.72/21.86	c ---[ 600]---> BDD-cost:    7
21.72/21.86	c ---[ 598]---> BDD-cost:    7
21.72/21.86	c ---[ 596]---> BDD-cost:    7
21.72/21.86	c ---[ 594]---> BDD-cost:    7
21.72/21.86	c ---[ 592]---> BDD-cost:    7
21.72/21.86	c ---[ 590]---> BDD-cost:    7
21.72/21.86	c ---[ 588]---> BDD-cost:    7
21.72/21.86	c ---[ 586]---> BDD-cost:    7
21.72/21.86	c ---[ 584]---> BDD-cost:    7
21.72/21.86	c ---[ 582]---> BDD-cost:    7
21.72/21.86	c ---[ 580]---> BDD-cost:    7
21.72/21.86	c ---[ 578]---> BDD-cost:    7
21.72/21.86	c ---[ 576]---> BDD-cost:    7
21.72/21.86	c ---[ 574]---> BDD-cost:    7
21.72/21.86	c ---[ 572]---> BDD-cost:    7
21.72/21.86	c ---[ 570]---> BDD-cost:    7
21.72/21.86	c ---[ 568]---> BDD-cost:    7
21.72/21.86	c ---[ 566]---> BDD-cost:    7
21.72/21.86	c ---[ 564]---> BDD-cost:    7
21.72/21.86	c ---[ 562]---> BDD-cost:    7
21.72/21.86	c ---[ 560]---> BDD-cost:    7
21.72/21.86	c ---[ 558]---> BDD-cost:    7
21.72/21.86	c ---[ 556]---> BDD-cost:    7
21.72/21.86	c ---[ 554]---> BDD-cost:    7
21.72/21.86	c ---[ 552]---> BDD-cost:    7
21.72/21.86	c ---[ 550]---> BDD-cost:    7
21.72/21.86	c ---[ 548]---> BDD-cost:    7
21.72/21.86	c ---[ 546]---> BDD-cost:    7
21.72/21.86	c ---[ 544]---> BDD-cost:    7
21.72/21.86	c ---[ 542]---> BDD-cost:    7
21.72/21.86	c ---[ 540]---> BDD-cost:    7
21.72/21.86	c ---[ 538]---> BDD-cost:    7
21.72/21.86	c ---[ 536]---> BDD-cost:    7
21.72/21.86	c ---[ 534]---> BDD-cost:    7
21.72/21.86	c ---[ 532]---> BDD-cost:    7
21.72/21.86	c ---[ 530]---> BDD-cost:    7
21.72/21.86	c ---[ 528]---> BDD-cost:    7
21.72/21.86	c ---[ 526]---> BDD-cost:    7
21.72/21.86	c ---[ 524]---> BDD-cost:    7
21.72/21.86	c ---[ 522]---> BDD-cost:    7
21.72/21.86	c ---[ 520]---> BDD-cost:    7
21.72/21.86	c ---[ 518]---> BDD-cost:    7
21.72/21.86	c ---[ 516]---> BDD-cost:    7
21.72/21.86	c ---[ 514]---> BDD-cost:    7
21.72/21.86	c ---[ 512]---> BDD-cost:    7
21.72/21.86	c ---[ 510]---> BDD-cost:    7
21.72/21.86	c ---[ 508]---> BDD-cost:    7
21.72/21.86	c ---[ 506]---> BDD-cost:    7
21.72/21.86	c ---[ 504]---> BDD-cost:    7
21.72/21.86	c ---[ 502]---> BDD-cost:    7
21.72/21.86	c ---[ 500]---> BDD-cost:    7
21.72/21.86	c ---[ 498]---> BDD-cost:    7
21.72/21.86	c ---[ 496]---> BDD-cost:    7
21.72/21.86	c ---[ 494]---> BDD-cost:    7
21.72/21.86	c ---[ 492]---> BDD-cost:    7
21.72/21.86	c ---[ 490]---> BDD-cost:    7
21.72/21.86	c ---[ 488]---> BDD-cost:    7
21.72/21.86	c ---[ 486]---> BDD-cost:    7
21.72/21.86	c ---[ 484]---> BDD-cost:    7
21.72/21.86	c ---[ 482]---> BDD-cost:    7
21.72/21.86	c ---[ 480]---> BDD-cost:    7
21.72/21.86	c ---[ 478]---> BDD-cost:    7
21.72/21.86	c ---[ 476]---> BDD-cost:    7
21.72/21.86	c ---[ 474]---> BDD-cost:    7
21.72/21.86	c ---[ 472]---> BDD-cost:    7
21.72/21.86	c ---[ 470]---> BDD-cost:    7
21.72/21.86	c ---[ 468]---> BDD-cost:    7
21.72/21.86	c ---[ 466]---> BDD-cost:    7
21.72/21.86	c ---[ 464]---> BDD-cost:    7
21.72/21.86	c ---[ 462]---> BDD-cost:    7
21.72/21.86	c ---[ 460]---> BDD-cost:    7
21.72/21.86	c ---[ 458]---> BDD-cost:    7
21.72/21.86	c ---[ 456]---> BDD-cost:    7
21.72/21.86	c ---[ 454]---> BDD-cost:    7
21.72/21.86	c ---[ 452]---> BDD-cost:    7
21.72/21.86	c ---[ 450]---> BDD-cost:    7
21.72/21.86	c ---[ 448]---> BDD-cost:    7
21.72/21.86	c ---[ 446]---> BDD-cost:    7
21.72/21.86	c ---[ 444]---> BDD-cost:    7
21.72/21.86	c ---[ 442]---> BDD-cost:    7
21.72/21.86	c ---[ 440]---> BDD-cost:    7
21.72/21.86	c ---[ 438]---> BDD-cost:    7
21.72/21.86	c ---[ 436]---> BDD-cost:    7
21.72/21.86	c ---[ 434]---> BDD-cost:    7
21.72/21.86	c ---[ 432]---> BDD-cost:    7
21.72/21.87	c ---[ 430]---> BDD-cost:    7
21.72/21.87	c ---[ 428]---> BDD-cost:    7
21.72/21.87	c ---[ 426]---> BDD-cost:    7
21.72/21.87	c ---[ 424]---> BDD-cost:    7
21.72/21.87	c ---[ 422]---> BDD-cost:    7
21.72/21.87	c ---[ 420]---> BDD-cost:    7
21.72/21.87	c ---[ 418]---> BDD-cost:    7
21.72/21.87	c ---[ 416]---> BDD-cost:    7
21.72/21.87	c ---[ 414]---> BDD-cost:    7
21.72/21.87	c ---[ 412]---> BDD-cost:    7
21.72/21.87	c ---[ 410]---> BDD-cost:    7
21.72/21.87	c ---[ 408]---> BDD-cost:    7
21.72/21.87	c ---[ 406]---> BDD-cost:    7
21.72/21.87	c ---[ 404]---> BDD-cost:    7
21.72/21.87	c ---[ 402]---> BDD-cost:    7
21.72/21.87	c ---[ 400]---> BDD-cost:    7
21.72/21.87	c ---[ 398]---> BDD-cost:    7
21.72/21.87	c ---[ 396]---> BDD-cost:    7
21.72/21.87	c ---[ 394]---> BDD-cost:    7
21.72/21.87	c ---[ 392]---> BDD-cost:    7
21.72/21.87	c ---[ 390]---> BDD-cost:    7
21.72/21.87	c ---[ 388]---> BDD-cost:    7
21.72/21.87	c ---[ 386]---> BDD-cost:    7
21.72/21.87	c ---[ 384]---> BDD-cost:    7
21.72/21.87	c ---[ 382]---> BDD-cost:    7
21.72/21.87	c ---[ 380]---> BDD-cost:    7
21.72/21.87	c ---[ 378]---> BDD-cost:    7
21.72/21.87	c ---[ 376]---> BDD-cost:    7
21.72/21.87	c ---[ 374]---> BDD-cost:    7
21.72/21.87	c ---[ 372]---> BDD-cost:    7
21.72/21.87	c ---[ 370]---> BDD-cost:    7
21.72/21.87	c ---[ 368]---> BDD-cost:    7
21.72/21.87	c ---[ 366]---> BDD-cost:    7
21.72/21.87	c ---[ 364]---> BDD-cost:    7
21.72/21.87	c ---[ 362]---> BDD-cost:    7
21.72/21.87	c ---[ 360]---> BDD-cost:    7
21.72/21.87	c ---[ 358]---> BDD-cost:    7
21.72/21.87	c ---[ 356]---> BDD-cost:    7
21.72/21.87	c ---[ 354]---> BDD-cost:    7
21.72/21.87	c ---[ 352]---> BDD-cost:    7
21.72/21.87	c ---[ 350]---> BDD-cost:    7
21.72/21.87	c ---[ 348]---> BDD-cost:    7
21.72/21.87	c ---[ 346]---> BDD-cost:    7
21.72/21.87	c ---[ 344]---> BDD-cost:    7
21.72/21.87	c ---[ 342]---> BDD-cost:    7
21.72/21.87	c ---[ 340]---> BDD-cost:    7
21.72/21.87	c ---[ 338]---> BDD-cost:    7
21.72/21.87	c ---[ 336]---> BDD-cost:    7
21.72/21.87	c ---[ 334]---> BDD-cost:    7
21.72/21.87	c ---[ 332]---> BDD-cost:    7
21.72/21.87	c ---[ 330]---> BDD-cost:    7
21.72/21.87	c ---[ 328]---> BDD-cost:    7
21.72/21.87	c ---[ 326]---> BDD-cost:    7
21.72/21.87	c ---[ 324]---> BDD-cost:    7
21.72/21.87	c ---[ 322]---> BDD-cost:    7
21.72/21.87	c ---[ 320]---> BDD-cost:    7
21.72/21.87	c ---[ 318]---> BDD-cost:    7
21.72/21.87	c ---[ 316]---> BDD-cost:    7
21.72/21.87	c ---[ 314]---> BDD-cost:    7
21.72/21.87	c ---[ 312]---> BDD-cost:    7
21.72/21.87	c ---[ 310]---> BDD-cost:    7
21.72/21.87	c ---[ 308]---> BDD-cost:    7
21.72/21.87	c ---[ 306]---> BDD-cost:    7
21.72/21.87	c ---[ 304]---> BDD-cost:    7
21.72/21.87	c ---[ 302]---> BDD-cost:    7
21.72/21.87	c ---[ 300]---> BDD-cost:    7
21.72/21.87	c ---[ 298]---> BDD-cost:    7
21.72/21.87	c ---[ 296]---> BDD-cost:    7
21.72/21.87	c ---[ 294]---> BDD-cost:    7
21.72/21.87	c ---[ 292]---> BDD-cost:    7
21.72/21.87	c ---[ 290]---> BDD-cost:    7
21.72/21.87	c ---[ 288]---> BDD-cost:    7
21.72/21.87	c ---[ 286]---> BDD-cost:    7
21.72/21.87	c ---[ 284]---> BDD-cost:    7
21.72/21.87	c ---[ 282]---> BDD-cost:    7
21.72/21.87	c ---[ 280]---> BDD-cost:    7
21.72/21.87	c ---[ 278]---> BDD-cost:    7
21.72/21.87	c ---[ 276]---> BDD-cost:    7
21.72/21.87	c ---[ 274]---> BDD-cost:    7
21.72/21.87	c ---[ 272]---> BDD-cost:    7
21.72/21.87	c ---[ 270]---> BDD-cost:    7
21.72/21.87	c ---[ 268]---> BDD-cost:    7
21.72/21.87	c ---[ 266]---> BDD-cost:    7
21.72/21.87	c ---[ 264]---> BDD-cost:    7
21.72/21.87	c ---[ 262]---> BDD-cost:    7
21.72/21.87	c ---[ 260]---> BDD-cost:    7
21.72/21.87	c ---[ 258]---> BDD-cost:    7
21.72/21.87	c ---[ 256]---> BDD-cost:    7
21.72/21.87	c ---[ 254]---> BDD-cost:    7
21.72/21.87	c ---[ 252]---> BDD-cost:    7
21.72/21.87	c ---[ 250]---> BDD-cost:    7
21.72/21.87	c ---[ 248]---> BDD-cost:    7
21.72/21.87	c ---[ 246]---> BDD-cost:    7
21.72/21.87	c ---[ 244]---> BDD-cost:    7
21.72/21.87	c ---[ 242]---> BDD-cost:    7
21.72/21.87	c ---[ 240]---> BDD-cost:    7
21.72/21.87	c ---[ 238]---> BDD-cost:    7
21.72/21.87	c ---[ 236]---> BDD-cost:    7
21.72/21.87	c ---[ 234]---> BDD-cost:    7
21.72/21.87	c ---[ 232]---> BDD-cost:    7
21.72/21.87	c ---[ 230]---> BDD-cost:    7
21.72/21.87	c ---[ 228]---> BDD-cost:    7
21.72/21.87	c ---[ 226]---> BDD-cost:    7
21.72/21.87	c ---[ 224]---> BDD-cost:    7
21.72/21.87	c ---[ 222]---> BDD-cost:    7
21.72/21.87	c ---[ 220]---> BDD-cost:    7
21.72/21.87	c ---[ 218]---> BDD-cost:    7
21.72/21.87	c ---[ 216]---> BDD-cost:    7
21.72/21.87	c ---[ 214]---> BDD-cost:    7
21.72/21.87	c ---[ 212]---> BDD-cost:    7
21.72/21.87	c ---[ 210]---> BDD-cost:    7
21.72/21.87	c ---[ 208]---> BDD-cost:    7
21.72/21.87	c ---[ 206]---> BDD-cost:    7
21.72/21.87	c ---[ 204]---> BDD-cost:    7
21.72/21.87	c ---[ 202]---> BDD-cost:    7
21.72/21.87	c ---[ 200]---> BDD-cost:    7
21.72/21.87	c ---[ 198]---> BDD-cost:    7
21.72/21.87	c ---[ 196]---> BDD-cost:    7
21.72/21.87	c ---[ 194]---> BDD-cost:    7
21.72/21.87	c ---[ 192]---> BDD-cost:    7
21.72/21.87	c ---[ 190]---> BDD-cost:    7
21.72/21.87	c ---[ 188]---> BDD-cost:    7
21.72/21.87	c ---[ 186]---> BDD-cost:    7
21.72/21.87	c ---[ 184]---> BDD-cost:    7
21.72/21.87	c ---[ 182]---> BDD-cost:    7
21.72/21.87	c ---[ 180]---> BDD-cost:    7
21.72/21.87	c ---[ 178]---> BDD-cost:    7
21.72/21.87	c ---[ 176]---> BDD-cost:    7
21.72/21.87	c ---[ 174]---> BDD-cost:    7
21.72/21.87	c ---[ 172]---> BDD-cost:    7
21.72/21.87	c ---[ 170]---> BDD-cost:    7
21.72/21.87	c ---[ 168]---> BDD-cost:    7
21.72/21.87	c ---[ 166]---> BDD-cost:    7
21.72/21.87	c ---[ 164]---> BDD-cost:    7
21.72/21.87	c ---[ 162]---> BDD-cost:    7
21.72/21.87	c ---[ 160]---> BDD-cost:    7
21.72/21.88	c ---[ 158]---> BDD-cost:    7
21.72/21.88	c ---[ 156]---> BDD-cost:    7
21.72/21.88	c ---[ 154]---> BDD-cost:    7
21.72/21.88	c ---[ 152]---> BDD-cost:    7
21.72/21.88	c ---[ 150]---> BDD-cost:    7
21.72/21.88	c ---[ 148]---> BDD-cost:    7
21.72/21.88	c ---[ 146]---> BDD-cost:    7
21.72/21.88	c ---[ 144]---> BDD-cost:    7
21.72/21.88	c ---[ 142]---> BDD-cost:    7
21.72/21.88	c ---[ 140]---> BDD-cost:    7
21.72/21.88	c ---[ 138]---> BDD-cost:    7
21.72/21.88	c ---[ 136]---> BDD-cost:    7
21.72/21.88	c ---[ 134]---> BDD-cost:    7
21.72/21.88	c ---[ 132]---> BDD-cost:    7
21.72/21.88	c ---[ 130]---> BDD-cost:    7
21.72/21.88	c ---[ 128]---> BDD-cost:    7
21.72/21.88	c ---[ 126]---> BDD-cost:    7
21.72/21.88	c ---[ 124]---> BDD-cost:    7
21.72/21.88	c ---[ 122]---> BDD-cost:    7
21.72/21.88	c ---[ 120]---> BDD-cost:    7
21.72/21.88	c ---[ 118]---> BDD-cost:    7
21.72/21.88	c ---[ 116]---> BDD-cost:    7
21.72/21.88	c ---[ 114]---> BDD-cost:    7
21.72/21.88	c ---[ 112]---> BDD-cost:    7
21.72/21.88	c ---[ 110]---> BDD-cost:    7
21.72/21.88	c ---[ 108]---> BDD-cost:    7
21.72/21.88	c ---[ 106]---> BDD-cost:    7
21.72/21.88	c ---[ 104]---> BDD-cost:    7
21.72/21.88	c ---[ 102]---> BDD-cost:    7
21.72/21.88	c ---[ 100]---> BDD-cost:    7
21.72/21.88	c ---[  98]---> BDD-cost:    7
21.72/21.88	c ---[  96]---> BDD-cost:    7
21.72/21.88	c ---[  94]---> BDD-cost:    7
21.72/21.88	c ---[  92]---> BDD-cost:    7
21.72/21.88	c ---[  90]---> BDD-cost:    7
21.72/21.88	c ---[  88]---> BDD-cost:    7
21.72/21.88	c ---[  86]---> BDD-cost:    7
21.72/21.88	c ---[  84]---> BDD-cost:    7
21.72/21.88	c ---[  82]---> BDD-cost:    7
21.72/21.88	c ---[  80]---> BDD-cost:    7
21.72/21.88	c ---[  78]---> BDD-cost:    7
21.72/21.88	c ---[  76]---> BDD-cost:    7
21.72/21.88	c ---[  74]---> BDD-cost:    7
21.72/21.88	c ---[  72]---> BDD-cost:    7
21.72/21.88	c ---[  70]---> BDD-cost:    7
21.72/21.88	c ---[  68]---> BDD-cost:    7
21.72/21.88	c ---[  66]---> BDD-cost:    7
21.72/21.88	c ---[  64]---> BDD-cost:    7
21.72/21.88	c ---[  62]---> BDD-cost:    7
21.72/21.88	c ---[  60]---> BDD-cost:    7
21.72/21.88	c ---[  58]---> BDD-cost:    7
21.72/21.88	c ---[  56]---> BDD-cost:    7
21.72/21.88	c ---[  54]---> BDD-cost:    7
21.72/21.88	c ---[  52]---> BDD-cost:    7
21.72/21.88	c ---[  50]---> BDD-cost:    7
21.72/21.88	c ---[  48]---> BDD-cost:    7
21.72/21.88	c ---[  46]---> BDD-cost:    7
21.72/21.88	c ---[  44]---> BDD-cost:    7
21.72/21.88	c ---[  42]---> BDD-cost:    7
21.72/21.88	c ---[  40]---> BDD-cost:    7
21.72/21.88	c ---[  38]---> BDD-cost:    7
21.72/21.88	c ---[  36]---> BDD-cost:    7
21.72/21.88	c ---[  34]---> BDD-cost:    7
21.72/21.88	c ---[  32]---> BDD-cost:    7
21.72/21.88	c ---[  30]---> BDD-cost:    7
21.72/21.88	c ---[  28]---> BDD-cost:    7
21.72/21.88	c ---[  26]---> BDD-cost:    7
21.72/21.88	c ---[  24]---> BDD-cost:    7
21.72/21.88	c ---[  22]---> BDD-cost:    7
21.72/21.88	c ---[  20]---> BDD-cost:    7
21.72/21.88	c ---[  18]---> BDD-cost:    7
21.72/21.88	c ---[  16]---> BDD-cost:    7
21.72/21.88	c ---[  14]---> BDD-cost:    7
21.72/21.88	c ---[  12]---> BDD-cost:    7
21.72/21.88	c ---[  10]---> BDD-cost:    7
21.72/21.88	c ---[   8]---> BDD-cost:    7
21.72/21.88	c ---[   6]---> BDD-cost:    7
21.72/21.88	c ---[   4]---> BDD-cost:    7
21.72/21.88	c ---[   2]---> BDD-cost:    7
21.72/21.88	c ---[   0]---> BDD-cost:    7
21.83/21.91	c ==================================[MINISAT+]==================================
21.83/21.91	c | Conflicts | Original         | Learnt                           | Progress |
21.83/21.91	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
21.83/21.91	c ==============================================================================
21.83/21.91	c |         0 |  479625  1901250 |  159875       0        0     nan |  0.000 % |
21.83/21.93	c |       100 |  479625  1901250 |  175862     100     2133    21.3 |  8.333 % |
21.93/22.09	c |       251 |  479625  1901250 |  193448     251    17997    71.7 |  8.333 % |
22.22/22.33	c |       476 |  479625  1901250 |  212793     476    41695    87.6 |  8.333 % |
22.62/22.71	c |       813 |  479625  1901250 |  234072     813    80321    98.8 |  8.333 % |
23.03/23.14	c |      1319 |  479625  1901250 |  257480    1319   123538    93.7 |  8.333 % |
23.92/24.01	c |      2078 |  479625  1901250 |  283228    2078   223694   107.6 |  8.333 % |
25.02/25.17	c |      3217 |  479625  1901250 |  311551    3217   383736   119.3 |  8.333 % |
26.92/27.03	c |      4928 |  479625  1901250 |  342706    4928   597039   121.2 |  8.333 % |
29.72/29.86	c |      7490 |  479625  1901250 |  376976    7490   985450   131.6 |  8.333 % |
34.30/34.44	c |     11334 |  479625  1901250 |  414674   11334  1578030   139.2 |  8.333 % |
39.88/40.01	c |     17100 |  479625  1901250 |  456142   17100  2501880   146.3 |  8.333 % |
48.97/49.17	c |     25749 |  479625  1901250 |  501756   25749  3892350   151.2 |  8.333 % |
63.67/63.83	c |     38724 |  479625  1901250 |  551931   38724  5730280   148.0 |  8.333 % |
88.33/88.57	c |     58185 |  479625  1901250 |  607125   58185  8399827   144.4 |  8.333 % |
135.21/135.41	c |     87378 |  479625  1901250 |  667837   87378 12370172   141.6 |  8.333 % |
210.20/210.44	c |    131170 |  479625  1901250 |  734621  131170 19230828   146.6 |  8.333 % |
344.36/344.60	c |    196855 |  479625  1901250 |  808083  196855 29696237   150.9 |  8.333 % |
599.50/599.84	c |    295381 |  479625  1901250 |  888891  295381 48107812   162.9 |  8.333 % |
1142.04/1142.58	c |    443171 |  479625  1901250 |  977780  443171 71021645   160.3 |  8.333 % |
1800.08/1800.71	c 
1800.08/1800.71	c *** TERMINATED ***
1800.08/1800.71	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/360462-1176969644/instance-360462-1176969644.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node72/watcher-360462-1176969644 -o ROOT/results/node72/solver-360462-1176969644 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/360462-1176969644/minisat+ /tmp/evaluation/360462-1176969644/instance-360462-1176969644.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.88 0.97 0.99 3/77 30174
/proc/meminfo: memFree=1671472/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=1048 CPUtime=0
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 114 0 0 0 0 0 0 0 18 0 1 0 173002924 1073152 99 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 262 99 74 215 0 44 0

[startup+0.082103 s]
/proc/loadavg: 0.88 0.97 0.99 3/77 30174
/proc/meminfo: memFree=1671472/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=1996 CPUtime=0.07
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 338 0 0 0 7 0 0 0 18 0 1 0 173002924 2043904 323 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 499 323 74 215 0 281 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1996

[startup+0.102103 s]
/proc/loadavg: 0.88 0.97 0.99 3/77 30174
/proc/meminfo: memFree=1671472/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=2152 CPUtime=0.09
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 396 0 0 0 9 0 0 0 18 0 1 0 173002924 2203648 381 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 538 381 74 215 0 320 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2152

[startup+0.302121 s]
/proc/loadavg: 0.88 0.97 0.99 3/77 30174
/proc/meminfo: memFree=1671472/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=3892 CPUtime=0.29
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 831 0 0 0 29 0 0 0 19 0 1 0 173002924 3985408 816 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 973 816 74 215 0 755 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3892

[startup+0.701158 s]
/proc/loadavg: 0.88 0.97 0.99 3/77 30174
/proc/meminfo: memFree=1671472/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=7152 CPUtime=0.68
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 1632 0 0 0 68 0 0 0 23 0 1 0 173002924 7323648 1617 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 1788 1617 74 215 0 1570 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7152

[startup+1.50123 s]
/proc/loadavg: 0.88 0.97 0.99 2/78 30175
/proc/meminfo: memFree=1662824/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=13548 CPUtime=1.48
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 3219 0 0 0 147 1 0 0 25 0 1 0 173002924 13873152 3204 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 3387 3204 74 215 0 3169 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13548

[startup+3.10138 s]
/proc/loadavg: 0.88 0.97 0.99 2/78 30175
/proc/meminfo: memFree=1653992/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=26492 CPUtime=3.09
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 6459 0 0 0 306 3 0 0 25 0 1 0 173002924 27127808 6444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134648433 0 0 4096 16386 0 0 0 17 0 0 0
/proc/30174/statm: 6623 6444 74 215 0 6405 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26492

[startup+6.30167 s]
/proc/loadavg: 0.89 0.97 0.99 2/78 30175
/proc/meminfo: memFree=1627816/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=52284 CPUtime=6.28
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 12846 0 0 0 621 7 0 0 25 0 1 0 173002924 53538816 12831 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838344 0 0 4096 16386 0 0 0 17 0 0 0
/proc/30174/statm: 13071 12831 74 215 0 12853 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 52284

[startup+12.7013 s]
/proc/loadavg: 0.90 0.97 0.99 2/78 30175
/proc/meminfo: memFree=1575592/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=102516 CPUtime=12.68
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 25459 0 0 0 1253 15 0 0 25 0 1 0 173002924 104976384 25444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006367 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 25629 25444 74 215 0 25411 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 102516

[startup+25.5014 s]
/proc/loadavg: 0.92 0.97 0.99 2/84 30249
/proc/meminfo: memFree=1480680/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=191856 CPUtime=25.42
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 47373 0 0 0 2471 71 0 0 25 0 1 0 173002924 196460544 47358 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 47964 47358 106 215 0 47746 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 191856

[startup+51.1018 s]
/proc/loadavg: 0.95 0.97 0.99 2/84 30341
/proc/meminfo: memFree=1480488/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=192020 CPUtime=50.97
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 47427 0 0 0 5024 73 0 0 25 0 1 0 173002924 196628480 47412 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 48005 47412 106 215 0 47787 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 192020

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.99 2/78 30377
/proc/meminfo: memFree=1481448/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=192220 CPUtime=102.13
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 47466 0 0 0 10140 73 0 0 25 0 1 0 173002924 196833280 47451 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 48055 47451 106 215 0 47837 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 192220

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 30377
/proc/meminfo: memFree=1481384/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=192400 CPUtime=162.11
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 47503 0 0 0 16137 74 0 0 25 0 1 0 173002924 197017600 47488 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 48100 47488 106 215 0 47882 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 192400

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 30377
/proc/meminfo: memFree=1481192/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=192832 CPUtime=222.09
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 47546 0 0 0 22135 74 0 0 25 0 1 0 173002924 197459968 47531 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 48208 47531 106 215 0 47990 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 192832

[startup+282.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 30377
/proc/meminfo: memFree=1461096/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=213004 CPUtime=282.08
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 52620 0 0 0 28129 79 0 0 25 0 1 0 173002924 218116096 52605 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 53251 52605 106 215 0 53033 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 213004

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 30377
/proc/meminfo: memFree=1444072/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=229620 CPUtime=342.06
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 56807 0 0 0 34122 84 0 0 25 0 1 0 173002924 235130880 56792 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 57405 56792 106 215 0 57187 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 229620

[startup+402.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 30377
/proc/meminfo: memFree=1426216/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=247952 CPUtime=402.05
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 61329 0 0 0 40116 89 0 0 25 0 1 0 173002924 253902848 61314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 61988 61314 106 215 0 61770 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 247952

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 30377
/proc/meminfo: memFree=1406184/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=267888 CPUtime=462.03
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 66309 0 0 0 46109 94 0 0 25 0 1 0 173002924 274317312 66294 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 66972 66294 106 215 0 66754 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 267888

[startup+522.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 30377
/proc/meminfo: memFree=1390696/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=283420 CPUtime=522.01
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 70204 0 0 0 52103 98 0 0 25 0 1 0 173002924 290222080 70189 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 70855 70189 106 215 0 70637 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 283420

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 30377
/proc/meminfo: memFree=1372072/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=301924 CPUtime=581.99
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 74834 0 0 0 58096 103 0 0 25 0 1 0 173002924 309170176 74819 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 75481 74819 106 215 0 75263 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 301924

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 30377
/proc/meminfo: memFree=1357032/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=317312 CPUtime=641.98
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 78539 0 0 0 64091 107 0 0 25 0 1 0 173002924 324927488 78524 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 79328 78524 106 215 0 79110 0
Current children cumulated CPU time (s) 641.98
Current children cumulated vsize (KiB) 317312


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

[startup+882.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 30377
/proc/meminfo: memFree=1312040/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=362096 CPUtime=881.92
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 89791 0 0 0 88071 121 0 0 25 0 1 0 173002924 370786304 89776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 90524 89776 106 215 0 90306 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 362096

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30377
/proc/meminfo: memFree=1302248/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=371900 CPUtime=941.9
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 92270 0 0 0 94067 123 0 0 25 0 1 0 173002924 380825600 92255 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580426 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 92975 92255 106 215 0 92757 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 371900

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30377
/proc/meminfo: memFree=1292776/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=381272 CPUtime=1001.88
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 94631 0 0 0 100061 127 0 0 25 0 1 0 173002924 390422528 94616 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 95318 94616 106 215 0 95100 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 381272

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30377
/proc/meminfo: memFree=1283560/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=390448 CPUtime=1061.87
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 96944 0 0 0 106057 130 0 0 25 0 1 0 173002924 399818752 96929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 97612 96929 106 215 0 97394 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 390448

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30377
/proc/meminfo: memFree=1274600/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=399360 CPUtime=1121.85
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 99148 0 0 0 112053 132 0 0 25 0 1 0 173002924 408944640 99133 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 99840 99133 106 215 0 99622 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 399360

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30377
/proc/meminfo: memFree=1261928/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=412336 CPUtime=1181.84
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 102399 0 0 0 118047 137 0 0 25 0 1 0 173002924 422232064 102384 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580806 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 103084 102384 106 215 0 102866 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 412336

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30377
/proc/meminfo: memFree=1245480/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=429276 CPUtime=1241.82
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 106424 0 0 0 124040 142 0 0 25 0 1 0 173002924 439578624 106409 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 107319 106409 106 215 0 107101 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 429276

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30377
/proc/meminfo: memFree=1226024/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=448464 CPUtime=1301.81
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 111238 0 0 0 130033 148 0 0 25 0 1 0 173002924 459227136 111223 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 112116 111223 106 215 0 111898 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 448464

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30377
/proc/meminfo: memFree=1208936/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=465568 CPUtime=1361.79
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 115549 0 0 0 136026 153 0 0 25 0 1 0 173002924 476741632 115534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 116392 115534 106 215 0 116174 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 465568

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30377
/proc/meminfo: memFree=1190504/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=483732 CPUtime=1421.77
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 120105 0 0 0 142019 158 0 0 25 0 1 0 173002924 495341568 120090 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 120933 120090 106 215 0 120715 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 483732

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30377
/proc/meminfo: memFree=1174888/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=499496 CPUtime=1481.75
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 124055 0 0 0 148014 161 0 0 25 0 1 0 173002924 511483904 124040 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 124874 124040 106 215 0 124656 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 499496

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30377
/proc/meminfo: memFree=1157544/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=516684 CPUtime=1541.74
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 128362 0 0 0 154009 165 0 0 25 0 1 0 173002924 529084416 128347 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 129171 128347 106 215 0 128953 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 516684

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30377
/proc/meminfo: memFree=1141608/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=532660 CPUtime=1601.73
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 132372 0 0 0 160003 170 0 0 25 0 1 0 173002924 545443840 132357 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 133165 132357 106 215 0 132947 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 532660

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30377
/proc/meminfo: memFree=1125736/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=548292 CPUtime=1661.7
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 136294 0 0 0 165996 174 0 0 25 0 1 0 173002924 561451008 136279 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 137073 136279 106 215 0 136855 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 548292

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30377
/proc/meminfo: memFree=1113064/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=560984 CPUtime=1721.69
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 139469 0 0 0 171990 179 0 0 25 0 1 0 173002924 574447616 139454 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 140246 139454 106 215 0 140028 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 560984

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30377
/proc/meminfo: memFree=1100776/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=573032 CPUtime=1781.68
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 142509 0 0 0 177984 184 0 0 25 0 1 0 173002924 586784768 142494 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580854 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 143258 142494 106 215 0 143040 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 573032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30377
/proc/meminfo: memFree=1096296/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=577496 CPUtime=1800.08
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 143605 0 0 0 179822 186 0 0 25 0 1 0 173002924 591355904 143590 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 144374 143590 106 215 0 144156 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 577496

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 30377
/proc/meminfo: memFree=1096296/2055920 swapFree=4157116/4192956
[pid=30174] ppid=30172 vsize=577496 CPUtime=1800.08
/proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 143605 0 0 0 179822 186 0 0 25 0 1 0 173002924 591355904 143590 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/30174/statm: 144374 143590 106 215 0 144156 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 577496

Child status: 0
Real time (s): 1800.8
CPU time (s): 1800.18
CPU user time (s): 1798.23
CPU system time (s): 1.9517
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (KiB): 577496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.23
system time used= 1.9517
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143606
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= 4164
involuntary context switches= 37353

runsolver used 2.42263 second user time and 5.2892 second system time

The end

Launcher Data (download as text)

Begin job on node72 on Thu Apr 19 08:00:45 UTC 2007

IDJOB= 360462
IDBENCH= 1373
IDSOLVER= 156
FILE ID= node72/360462-1176969644

PBS_JOBID= 4630309

Free space on /tmp= 66386 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k5_l4_n750.opb
COMMAND LINE= /tmp/evaluation/360462-1176969644/minisat+ /tmp/evaluation/360462-1176969644/instance-360462-1176969644.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node72/convwatcher-360462-1176969644 -o ROOT/results/node72/conversion-360462-1176969644 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/360462-1176969644/instance-360462-1176969644.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node72/watcher-360462-1176969644 -o ROOT/results/node72/solver-360462-1176969644 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/360462-1176969644/minisat+ /tmp/evaluation/360462-1176969644/instance-360462-1176969644.opb            

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  84dfc4b706a5e82746c96ff285501708

RANDOM SEED= 224130222

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node72.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.222
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.222
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1671880 kB
Buffers:         35596 kB
Cached:         269064 kB
SwapCached:      16912 kB
Active:          89576 kB
Inactive:       237868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1671880 kB
SwapTotal:     4192956 kB
SwapFree:      4157116 kB
Dirty:           22364 kB
Writeback:           0 kB
Mapped:          29800 kB
Slab:            42100 kB
Committed_AS:  2762156 kB
PageTables:       1788 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66386 MiB

End job on node72 on Thu Apr 19 08:30:48 UTC 2007