Trace number 3721165

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: minisat+ 1.14Signal 1580.56 1719.72

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
MD5SUMca3282cf347faf21ba3550ec87dd7af4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark483
Best CPU time to get the best result obtained on this benchmark1792.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 466
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 494728
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 494728
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.00/0.00	c Parsing PB file...
7.08/7.10	c Converting 656900 PB-constraints to clauses...
7.08/7.14	c   -- Unit propagations: (none)
7.08/7.14	c   -- Detecting intervals from adjacent constraints: (none)
7.08/7.15	c   -- Clauses(.)/Splits(s): ....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
7.79/7.87	c ==================================[MINISAT+]==================================
7.79/7.87	c | Conflicts | Original         | Learnt                           | Progress |
7.79/7.87	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
7.79/7.87	c ==============================================================================
7.79/7.87	c |         0 |  656900  1333400 |  218966       0        0     nan |  0.000 % |
7.89/7.91	c |       101 |  656900  1333400 |  240862     101   187426  1855.7 |  0.000 % |
7.89/7.94	c |       251 |  656900  1333400 |  264948     251   305532  1217.3 |  0.000 % |
7.89/7.99	c |       477 |  656900  1333400 |  291443     477   540583  1133.3 |  0.000 % |
7.99/8.09	c |       817 |  656900  1333400 |  320588     817  1045447  1279.6 |  0.000 % |
8.19/8.20	c ==============================================================================
8.19/8.20	c Found solution: 7743
8.19/8.20	o 7743
8.19/8.27	c ---[   0]---> Adder-cost: 54118   maxlim: 486985   bits: 19/19
11.68/11.73	c ==================================[MINISAT+]==================================
11.68/11.73	c | Conflicts | Original         | Learnt                           | Progress |
11.68/11.73	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
11.68/11.73	c ==============================================================================
11.68/11.73	c |      1126 | 1035622  2685981 |  345207    1126  1497324  1329.8 |  0.000 % |
11.68/11.78	c ==============================================================================
11.68/11.78	c Found solution: 7155
11.68/11.78	o 7155
11.78/11.85	c ---[   0]---> Adder-cost: 0   maxlim: 487573   bits: 19/19
14.88/14.90	c ==================================[MINISAT+]==================================
14.88/14.90	c | Conflicts | Original         | Learnt                           | Progress |
14.88/14.90	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
14.88/14.90	c ==============================================================================
14.88/14.90	c |      1142 | 1035637  2686074 |  345212    1142  1499661  1313.2 |  0.000 % |
15.08/15.11	c |      1242 | 1035637  2686074 |  379733    1242  1518336  1222.5 |  0.028 % |
15.28/15.31	c |      1397 | 1035637  2686074 |  417706    1397  1703137  1219.1 |  0.028 % |
15.39/15.46	c ==============================================================================
15.39/15.47	c Found solution: 6600
15.39/15.47	o 6600
15.49/15.54	c ---[   0]---> Adder-cost: 0   maxlim: 488128   bits: 19/19
18.39/18.49	c ==================================[MINISAT+]==================================
18.39/18.49	c | Conflicts | Original         | Learnt                           | Progress |
18.39/18.49	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
18.39/18.49	c ==============================================================================
18.39/18.49	c |      1580 | 1035643  2686126 |  345214    1580  1783907  1129.1 |  0.028 % |
18.59/18.60	c |      1681 | 1035643  2686126 |  379735    1681  1785194  1062.0 |  0.034 % |
18.59/18.67	c |      1831 | 1035643  2686126 |  417708    1831  1786799   975.9 |  0.034 % |
18.70/18.77	c |      2057 | 1035643  2686126 |  459479    2057  1789134   869.8 |  0.034 % |
19.39/19.40	c |      2394 | 1035643  2686126 |  505427    2394  1792896   748.9 |  0.034 % |
19.99/20.03	c |      2900 | 1035643  2686126 |  555970    2900  1798174   620.1 |  0.034 % |
21.39/21.49	c |      3659 | 1035643  2686126 |  611567    3659  1807977   494.1 |  0.034 % |
22.88/22.99	c ==============================================================================
22.88/22.99	c Found solution: 6564
22.88/22.99	o 6564
22.98/23.06	c ---[   0]---> Adder-cost: 0   maxlim: 488164   bits: 19/19
26.08/26.15	c ==================================[MINISAT+]==================================
26.08/26.15	c | Conflicts | Original         | Learnt                           | Progress |
26.08/26.15	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
26.08/26.15	c ==============================================================================
26.08/26.15	c |      4538 | 1035648  2686176 |  345216    4538  1876213   413.4 |  0.034 % |
26.08/26.15	c |      4638 | 1035648  2686176 |  379737    4638  1884096   406.2 |  0.039 % |
26.39/26.46	c |      4788 | 1035547  2685826 |  417711    4718  1879755   398.4 |  0.065 % |
26.68/26.70	c |      5013 | 1035335  2685099 |  459482    4897  1878093   383.5 |  0.122 % |
26.88/26.95	c |      5351 | 1035293  2684957 |  505430    5220  1882423   360.6 |  0.131 % |
27.68/27.71	c |      5857 | 1035269  2684875 |  555973    5717  1889563   330.5 |  0.136 % |
28.88/28.95	c |      6616 | 1035234  2684748 |  611571    6469  1895567   293.0 |  0.145 % |
31.58/31.67	c |      7756 | 1035234  2684748 |  672728    7609  1906526   250.6 |  0.145 % |
34.97/35.07	c |      9464 | 1035234  2684748 |  740001    9317  1928476   207.0 |  0.145 % |
41.57/41.64	c |     12026 | 1035225  2684717 |  814001   11874  1952526   164.4 |  0.147 % |
46.96/47.04	c |     15872 | 1035198  2684626 |  895401   15714  3076002   195.7 |  0.153 % |
47.27/47.37	c ==============================================================================
47.27/47.38	c Found solution: 6453
47.27/47.38	o 6453
47.37/47.45	c ---[   0]---> Adder-cost: 0   maxlim: 488275   bits: 19/19
50.46/50.52	c ==================================[MINISAT+]==================================
50.46/50.52	c | Conflicts | Original         | Learnt                           | Progress |
50.46/50.52	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
50.46/50.52	c ==============================================================================
50.46/50.52	c |     16996 | 1035205  2684682 |  345068   16838  3381445   200.8 |  0.153 % |
50.67/50.78	c |     17096 | 1035047  2684140 |  379574   16914  3382917   200.0 |  0.204 % |
51.06/51.16	c |     17246 | 1035047  2684140 |  417532   17064  3385802   198.4 |  0.204 % |
51.56/51.60	c |     17472 | 1035047  2684140 |  459285   17290  3388923   196.0 |  0.204 % |
52.56/52.60	c |     17811 | 1035047  2684140 |  505214   17629  3396978   192.7 |  0.204 % |
53.76/53.86	c |     18317 | 1034973  2683884 |  555735   18124  3403491   187.8 |  0.224 % |
54.96/55.03	c |     19078 | 1034973  2683884 |  611309   18885  3412572   180.7 |  0.224 % |
57.96/58.01	c |     20217 | 1034973  2683884 |  672439   20024  3424320   171.0 |  0.224 % |
60.86/60.95	c |     21925 | 1034973  2683884 |  739683   21732  3444375   158.5 |  0.224 % |
65.35/65.49	c |     24487 | 1034885  2683580 |  813652   24275  3790290   156.1 |  0.249 % |
71.75/71.89	c |     28332 | 1034885  2683580 |  895017   28120  3835343   136.4 |  0.249 % |
79.34/79.41	c |     34098 | 1034885  2683580 |  984519   33886 11207028   330.7 |  0.249 % |
80.14/80.27	c ==============================================================================
80.14/80.27	c Found solution: 6396
80.14/80.27	o 6396
80.24/80.35	c ---[   0]---> Adder-cost: 0   maxlim: 488332   bits: 19/19
83.24/83.37	c ==================================[MINISAT+]==================================
83.24/83.37	c | Conflicts | Original         | Learnt                           | Progress |
83.24/83.37	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
83.24/83.37	c ==============================================================================
83.24/83.37	c |     36342 | 1034891  2683640 |  344963   36130 12435642   344.2 |  0.249 % |
83.54/83.61	c |     36443 | 1034891  2683640 |  379459   36231 12437293   343.3 |  0.256 % |
83.94/84.00	c |     36593 | 1034891  2683640 |  417405   36381 12440239   341.9 |  0.256 % |
84.44/84.58	c |     36819 | 1034891  2683640 |  459145   36607 12441677   339.9 |  0.256 % |
85.14/85.28	c |     37156 | 1034891  2683640 |  505060   36944 12444531   336.8 |  0.256 % |
86.34/86.40	c |     37662 | 1034891  2683640 |  555566   37450 12451890   332.5 |  0.256 % |
88.04/88.12	c |     38421 | 1034891  2683640 |  611122   38209 12461768   326.1 |  0.256 % |
88.94/89.08	c |     39560 | 1034891  2683640 |  672235   39348 12479407   317.2 |  0.256 % |
92.04/92.17	c |     41268 | 1034891  2683640 |  739458   41056 12494829   304.3 |  0.256 % |
96.23/96.39	c |     43830 | 1034815  2683379 |  813404   43608 12530477   287.3 |  0.277 % |
103.03/103.18	c |     47674 | 1034815  2683379 |  894745   47452 12571786   264.9 |  0.277 % |
104.63/104.73	c ==============================================================================
104.63/104.73	c Found solution: 6147
104.63/104.73	o 6147
104.73/104.80	c ---[   0]---> Adder-cost: 0   maxlim: 488581   bits: 19/19
107.62/107.80	c ==================================[MINISAT+]==================================
107.62/107.80	c | Conflicts | Original         | Learnt                           | Progress |
107.62/107.80	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
107.62/107.80	c ==============================================================================
107.62/107.80	c |     48744 | 1034822  2683433 |  344940   48522 12903560   265.9 |  0.277 % |
107.92/108.05	c |     48845 | 1034822  2683433 |  379434   48623 12907491   265.5 |  0.284 % |
108.32/108.45	c |     48995 | 1034822  2683433 |  417377   48773 12910109   264.7 |  0.284 % |
108.82/108.94	c |     49220 | 1034822  2683433 |  459115   48998 12914082   263.6 |  0.284 % |
109.32/109.49	c |     49557 | 1034822  2683433 |  505026   49335 13054876   264.6 |  0.284 % |
109.62/109.78	c |     50065 | 1034822  2683433 |  555529   49843 13289384   266.6 |  0.284 % |
111.22/111.31	c |     50824 | 1034822  2683433 |  611082   50602 13304358   262.9 |  0.284 % |
113.71/113.86	c |     51963 | 1034822  2683433 |  672190   51741 13316990   257.4 |  0.284 % |
117.51/117.69	c |     53671 | 1034822  2683433 |  739409   53449 13335441   249.5 |  0.284 % |
120.71/120.83	c |     56236 | 1034822  2683433 |  813350   56014 16556253   295.6 |  0.284 % |
124.21/124.37	c |     60080 | 1034822  2683433 |  894685   59858 24058746   401.9 |  0.284 % |
131.91/132.10	c |     65846 | 1034822  2683433 |  984154   65624 24398064   371.8 |  0.284 % |
146.59/146.70	c |     74496 | 1034822  2683433 | 1082569   74274 46031674   619.8 |  0.284 % |
146.69/146.88	c ==============================================================================
146.69/146.88	c Found solution: 5828
146.69/146.88	o 5828
146.79/146.96	c ---[   0]---> Adder-cost: 0   maxlim: 488900   bits: 19/19
149.89/150.02	c ==================================[MINISAT+]==================================
149.89/150.02	c | Conflicts | Original         | Learnt                           | Progress |
149.89/150.02	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
149.89/150.02	c ==============================================================================
149.89/150.02	c |     74637 | 1034829  2683497 |  344943   74415 46063052   619.0 |  0.284 % |
149.99/150.19	c |     74737 | 1034829  2683497 |  379437   74515 46073923   618.3 |  0.291 % |
150.39/150.55	c |     74888 | 1034829  2683497 |  417381   74666 46079550   617.1 |  0.291 % |
151.08/151.24	c |     75113 | 1034829  2683497 |  459119   74891 46084244   615.4 |  0.291 % |
151.98/152.11	c |     75450 | 1034829  2683497 |  505031   75228 46087968   612.6 |  0.291 % |
153.08/153.21	c |     75956 | 1034829  2683497 |  555534   75734 46095775   608.7 |  0.291 % |
153.89/154.09	c |     76716 | 1034829  2683497 |  611087   76494 46486868   607.7 |  0.291 % |
155.88/156.08	c |     77855 | 1034829  2683497 |  672196   77633 46501792   599.0 |  0.291 % |
159.28/159.44	c |     79564 | 1034829  2683497 |  739415   79342 46520836   586.3 |  0.291 % |
163.18/163.38	c |     82126 | 1034829  2683497 |  813357   81904 46551230   568.4 |  0.291 % |
167.57/167.76	c |     85971 | 1034829  2683497 |  894693   85749 46630453   543.8 |  0.291 % |
176.08/176.25	c |     91737 | 1034829  2683497 |  984162   91515 46700958   510.3 |  0.291 % |
188.08/188.24	c |    100387 | 1034829  2683497 | 1082578  100165 47469273   473.9 |  0.291 % |
203.07/203.25	c |    113361 | 1034829  2683497 | 1190836  113139 70551552   623.6 |  0.291 % |
226.76/226.95	c |    132822 | 1034829  2683497 | 1309920  132600 105888324   798.6 |  0.291 % |
257.53/257.78	c |    162015 | 1034829  2683497 | 1440912  161793 134417484   830.8 |  0.291 % |
294.63/294.81	c ==============================================================================
294.63/294.81	c Found solution: 5708
294.63/294.81	o 5708
294.63/294.89	c ---[   0]---> Adder-cost: 0   maxlim: 489020   bits: 19/19
298.11/298.32	c ==================================[MINISAT+]==================================
298.11/298.32	c | Conflicts | Original         | Learnt                           | Progress |
298.11/298.32	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
298.11/298.32	c ==============================================================================
298.11/298.32	c |    185666 | 1034836  2683577 |  344945  185444 163027186   879.1 |  0.291 % |
298.21/298.40	c |    185766 | 1034836  2683577 |  379439  185544 163029540   878.7 |  0.301 % |
298.61/298.89	c |    185916 | 1034836  2683577 |  417383  185694 163035065   878.0 |  0.301 % |
299.41/299.64	c |    186142 | 1034836  2683577 |  459121  185920 163039540   876.9 |  0.301 % |
300.51/300.74	c |    186481 | 1034836  2683577 |  505033  186259 163044671   875.4 |  0.301 % |
301.22/301.46	c |    186988 | 1034836  2683577 |  555537  186766 163050725   873.0 |  0.301 % |
302.71/302.97	c |    187747 | 1034836  2683577 |  611091  187525 163060697   869.5 |  0.301 % |
305.21/305.40	c |    188887 | 1034836  2683577 |  672200  188665 163075162   864.4 |  0.301 % |
306.11/306.30	c |    190595 | 1034836  2683577 |  739420  190373 163121185   856.9 |  0.301 % |
310.61/310.86	c |    193157 | 1034836  2683577 |  813362  192935 164199548   851.1 |  0.301 % |
315.61/315.89	c |    197003 | 1034836  2683577 |  894698  196781 171204983   870.0 |  0.301 % |
320.60/320.89	c |    202769 | 1034836  2683577 |  984168  202547 172206308   850.2 |  0.301 % |
327.90/328.15	c |    211421 | 1034836  2683577 | 1082585  211199 172367570   816.1 |  0.301 % |
351.28/351.57	c |    224396 | 1034836  2683577 | 1190843  224174 173722738   774.9 |  0.301 % |
376.37/376.63	c |    243860 | 1034836  2683577 | 1309928  243638 178685764   733.4 |  0.301 % |
443.82/444.11	c |    273052 | 1034836  2683577 | 1440920  272830 250635973   918.7 |  0.301 % |
541.76/542.11	c |    316841 | 1034836  2683577 | 1585012  316619 353487516  1116.4 |  0.301 % |
542.46/542.82	c ==============================================================================
542.46/542.82	c Found solution: 5674
542.46/542.82	o 5674
542.56/542.90	c ---[   0]---> Adder-cost: 0   maxlim: 489054   bits: 19/19
546.66/547.03	c ==================================[MINISAT+]==================================
546.66/547.03	c | Conflicts | Original         | Learnt                           | Progress |
546.66/547.03	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
546.66/547.03	c ==============================================================================
546.66/547.03	c |    318221 | 1034847  2683675 |  344949  317999 353932984  1113.0 |  0.301 % |
546.76/547.19	c |    318321 | 1034847  2683675 |  379443  318099 353935144  1112.7 |  0.310 % |
547.26/547.61	c |    318471 | 1034847  2683675 |  417388  318249 353939037  1112.1 |  0.310 % |
547.46/547.82	c |    318696 | 1034847  2683675 |  459127  318474 353942101  1111.4 |  0.310 % |
547.95/548.33	c |    319033 | 1034847  2683675 |  505039  318811 353948932  1110.2 |  0.310 % |
549.06/549.41	c |    319539 | 1034847  2683675 |  555543  319317 353959341  1108.5 |  0.310 % |
550.16/550.53	c |    320298 | 1034847  2683675 |  611098  320076 353978943  1105.9 |  0.310 % |
552.76/553.14	c |    321437 | 1034847  2683675 |  672208  321215 353996930  1102.1 |  0.310 % |
554.46/554.83	c |    323145 | 1034847  2683675 |  739428  322923 354071378  1096.5 |  0.310 % |
559.06/559.49	c |    325707 | 1034847  2683675 |  813371  325485 354115525  1088.0 |  0.310 % |
566.26/566.62	c |    329551 | 1034847  2683675 |  894708  329329 354219770  1075.6 |  0.310 % |
574.34/574.79	c |    335317 | 1034847  2683675 |  984179  335095 354389026  1057.6 |  0.310 % |
588.93/589.33	c |    343966 | 1034847  2683675 | 1082597  343744 356207555  1036.3 |  0.310 % |
618.93/619.34	c |    356941 | 1034847  2683675 | 1190857  356719 375394031  1052.4 |  0.310 % |
647.00/647.46	c |    376403 | 1034847  2683675 | 1309943  376181 401850975  1068.2 |  0.310 % |
705.17/705.60	c |    405597 | 1034847  2683675 | 1440937  405375 460676912  1136.4 |  0.310 % |
793.12/793.63	c |    449387 | 1034847  2683675 | 1585031  449165 539299338  1200.7 |  0.310 % |
942.64/943.26	c |    515071 | 1034847  2683675 | 1743534  514849 573233928  1113.4 |  0.310 % |
1253.66/1254.44	c |    613600 | 1034847  2683675 | 1917887  613378 787219493  1283.4 |  0.310 % |
1577.31/1578.22	minisat+: ADTs/Global.h:107: T* xmalloc(size_t) [with T = char]: Assertion `size == 0 || tmp != __null' failed.

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3721165-1338552757/watcher-3721165-1338552757 -o /tmp/evaluation-result-3721165-1338552757/solver-3721165-1338552757 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721165-1338552757.opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.88 0.86 0.33 4/176 8558
/proc/meminfo: memFree=28589292/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=1796 CPUtime=0 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 291 0 0 0 0 0 0 0 20 0 1 0 321401758 1839104 248 33554432000 134512640 135395479 4293351632 4293350416 134569966 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8558/statm: 449 248 67 216 0 231 0

[startup+0.101651 s]
/proc/loadavg: 1.88 0.86 0.33 4/176 8558
/proc/meminfo: memFree=28589292/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=4560 CPUtime=0.09 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 972 0 0 0 9 0 0 0 20 0 1 0 321401758 4669440 929 33554432000 134512640 135395479 4293351632 4293350464 134618678 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8558/statm: 1140 929 74 216 0 922 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4560

[startup+0.200151 s]
/proc/loadavg: 1.88 0.86 0.33 4/176 8558
/proc/meminfo: memFree=28589292/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=6648 CPUtime=0.19 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 1483 0 0 0 19 0 0 0 20 0 1 0 321401758 6807552 1440 33554432000 134512640 135395479 4293351632 4293349996 135007481 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8558/statm: 1662 1440 74 216 0 1444 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6648

[startup+0.300133 s]
/proc/loadavg: 1.88 0.86 0.33 4/176 8558
/proc/meminfo: memFree=28589292/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=8736 CPUtime=0.29 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 2008 0 0 0 29 0 0 0 20 0 1 0 321401758 8945664 1965 33554432000 134512640 135395479 4293351632 4293350600 135031278 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8558/statm: 2184 1965 74 216 0 1966 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8736

[startup+0.700108 s]
/proc/loadavg: 1.88 0.86 0.33 4/176 8558
/proc/meminfo: memFree=28589292/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=17328 CPUtime=0.68 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 4109 0 0 0 68 0 0 0 20 0 1 0 321401758 17743872 4066 33554432000 134512640 135395479 4293351632 4293349996 135007481 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8558/statm: 4332 4066 74 216 0 4114 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 17328

[startup+1.5001 s]
/proc/loadavg: 1.97 0.90 0.34 3/177 8559
/proc/meminfo: memFree=28564544/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=34180 CPUtime=1.48 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 8295 0 0 0 147 1 0 0 20 0 1 0 321401758 35000320 8252 33554432000 134512640 135395479 4293351632 4293350552 135031278 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8558/statm: 8545 8252 74 216 0 8327 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 34180

[startup+3.1001 s]
/proc/loadavg: 1.97 0.90 0.34 3/177 8559
/proc/meminfo: memFree=28540984/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=67388 CPUtime=3.09 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 16659 0 0 0 307 2 0 0 20 0 1 0 321401758 69005312 16616 33554432000 134512640 135395479 4293351632 4293350600 135031278 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8558/statm: 16847 16616 74 216 0 16629 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 67388

[startup+6.3001 s]
/proc/loadavg: 1.97 0.91 0.35 3/176 8559
/proc/meminfo: memFree=28472032/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=134928 CPUtime=6.29 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 33428 0 0 0 624 5 0 0 20 0 1 0 321401758 138166272 33385 33554432000 134512640 135395479 4293351632 4293350268 135007864 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8558/statm: 33732 33385 74 216 0 33514 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 134928

[startup+12.7002 s]
/proc/loadavg: 1.97 0.93 0.36 3/177 8560
/proc/meminfo: memFree=28351684/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=239796 CPUtime=12.68 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 55251 0 0 0 1233 35 0 0 20 0 1 0 321401758 245551104 59121 33554432000 134512640 135395479 4293351632 4293348780 135005847 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8558/statm: 59949 59121 123 216 0 59731 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 239796

[startup+25.5002 s]
/proc/loadavg: 1.98 0.98 0.38 3/177 8560
/proc/meminfo: memFree=28350596/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=239656 CPUtime=25.48 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 57097 0 0 0 2512 36 0 0 20 0 1 0 321401758 245407744 59269 33554432000 134512640 135395479 4293351632 4293349224 135012160 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8558/statm: 59914 59269 123 216 0 59696 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 239656

[startup+51.1004 s]
/proc/loadavg: 1.98 1.06 0.42 3/177 8560
/proc/meminfo: memFree=28350688/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=239480 CPUtime=51.06 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 58146 0 0 0 5070 36 0 0 20 0 1 0 321401758 245227520 59284 33554432000 134512640 135395479 4293351632 4293350096 134588792 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8558/statm: 59870 59284 123 216 0 59652 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 239480

[startup+102.3 s]
/proc/loadavg: 1.99 1.21 0.50 3/177 8560
/proc/meminfo: memFree=28318864/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=271628 CPUtime=102.24 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 68941 0 0 0 10185 39 0 0 20 0 1 0 321401758 278147072 67326 33554432000 134512640 135395479 4293351632 4293349952 134573079 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8558/statm: 67907 67326 123 216 0 67689 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 271628

[startup+162.3 s]
/proc/loadavg: 2.07 1.36 0.60 3/177 8560
/proc/meminfo: memFree=28183484/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=407280 CPUtime=162.18 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 108196 0 0 0 16171 47 0 0 20 0 1 0 321401758 417054720 101216 33554432000 134512640 135395479 4293351632 4293350096 134588343 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8558/statm: 101820 101216 123 216 0 101602 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 407280

[startup+222.307 s]
/proc/loadavg: 2.02 1.48 0.69 3/177 8560
/proc/meminfo: memFree=27978292/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=612780 CPUtime=222.17 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 159589 0 0 0 22157 60 0 0 20 0 1 0 321401758 627486720 152577 33554432000 134512640 135395479 4293351632 4293349984 134580840 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8558/statm: 153195 152577 123 216 0 152977 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 612780

[startup+282.3 s]
/proc/loadavg: 2.01 1.57 0.77 3/177 8560
/proc/meminfo: memFree=27786120/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=807932 CPUtime=282.13 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 208396 0 0 0 28141 72 0 0 20 0 1 0 321401758 827322368 201351 33554432000 134512640 135395479 4293351632 4293349984 134580768 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8558/statm: 201983 201351 123 216 0 201765 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 807932

[startup+342.3 s]
/proc/loadavg: 2.00 1.64 0.84 3/177 8561
/proc/meminfo: memFree=27678372/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=912096 CPUtime=342.09 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 237074 0 0 0 34128 81 0 0 20 0 1 0 321401758 933986304 227350 33554432000 134512640 135395479 4293351632 4293349984 134580732 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8558/statm: 228024 227350 123 216 0 227806 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 912096

[startup+402.3 s]
/proc/loadavg: 2.00 1.71 0.91 3/177 8561
/proc/meminfo: memFree=27531420/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=1062860 CPUtime=402.05 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 274822 0 0 0 40114 91 0 0 20 0 1 0 321401758 1088368640 265054 33554432000 134512640 135395479 4293351632 4293349984 134581488 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8558/statm: 265715 265054 123 216 0 265497 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 1062860

[startup+462.3 s]
/proc/loadavg: 2.00 1.76 0.97 3/178 8564
/proc/meminfo: memFree=27295164/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=1295176 CPUtime=462.01 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 332975 0 0 0 46094 107 0 0 20 0 1 0 321401758 1326260224 323170 33554432000 134512640 135395479 4293351632 4293349984 134580765 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8558/statm: 323794 323170 123 216 0 323576 0
Current children cumulated CPU time (s) 462.01
Current children cumulated vsize (KiB) 1295176

[startup+522.3 s]
/proc/loadavg: 2.00 1.80 1.04 3/177 8564
/proc/meminfo: memFree=27038380/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=1553804 CPUtime=521.98 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 397671 0 0 0 52072 126 0 0 20 0 1 0 321401758 1591095296 387837 33554432000 134512640 135395479 4293351632 4293349984 134580732 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8558/statm: 388451 387837 123 216 0 388233 0
Current children cumulated CPU time (s) 521.98
Current children cumulated vsize (KiB) 1553804

[startup+582.3 s]
/proc/loadavg: 2.03 1.85 1.10 3/177 8564
/proc/meminfo: memFree=26956940/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=1632628 CPUtime=581.95 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 419424 0 0 0 58063 132 0 0 20 0 1 0 321401758 1671811072 407431 33554432000 134512640 135395479 4293351632 4293349984 134580765 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8558/statm: 408157 407431 123 216 0 407939 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 1632628

[startup+642.3 s]

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

[pid=8558] ppid=8556 vsize=2966484 CPUtime=1121.64 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 753201 0 0 0 111939 225 0 0 20 0 1 0 321401758 3037679616 740896 33554432000 134512640 135395479 4293351632 4293349984 134580765 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8558/statm: 741621 740896 123 216 0 741403 0
Current children cumulated CPU time (s) 1121.64
Current children cumulated vsize (KiB) 2966484

[startup+1182.3 s]
/proc/loadavg: 2.02 1.99 1.52 3/177 8570
/proc/meminfo: memFree=25399560/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=3137596 CPUtime=1181.6 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 796047 0 0 0 117925 235 0 0 20 0 1 0 321401758 3212898304 783708 33554432000 134512640 135395479 4293351632 4293349680 134582953 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8558/statm: 784399 783708 123 216 0 784181 0
Current children cumulated CPU time (s) 1181.6
Current children cumulated vsize (KiB) 3137596

[startup+1242.3 s]
/proc/loadavg: 2.00 1.99 1.55 3/177 8571
/proc/meminfo: memFree=25117996/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=3293900 CPUtime=1241.58 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 835143 0 0 0 123911 247 0 0 20 0 1 0 321401758 3372953600 822786 33554432000 134512640 135395479 4293351632 4293349680 134582953 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8558/statm: 823475 822786 123 216 0 823257 0
Current children cumulated CPU time (s) 1241.58
Current children cumulated vsize (KiB) 3293900

[startup+1302.3 s]
/proc/loadavg: 2.00 1.99 1.57 3/177 8571
/proc/meminfo: memFree=24868040/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=3481852 CPUtime=1301.54 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 882184 0 0 0 129892 262 0 0 20 0 1 0 321401758 3565416448 869795 33554432000 134512640 135395479 4293351632 4293349680 134582953 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8558/statm: 870463 869795 123 216 0 870245 0
Current children cumulated CPU time (s) 1301.54
Current children cumulated vsize (KiB) 3481852

[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.60 3/177 8571
/proc/meminfo: memFree=24687904/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=3660472 CPUtime=1361.51 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 926887 0 0 0 135876 275 0 0 20 0 1 0 321401758 3748323328 914458 33554432000 134512640 135395479 4293351632 4293349504 134574480 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8558/statm: 915118 914458 123 216 0 914900 0
Current children cumulated CPU time (s) 1361.51
Current children cumulated vsize (KiB) 3660472

[startup+1422.3 s]
/proc/loadavg: 2.00 1.99 1.62 3/177 8571
/proc/meminfo: memFree=24524996/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=3822300 CPUtime=1421.49 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 967350 0 0 0 141862 287 0 0 20 0 1 0 321401758 3914035200 954903 33554432000 134512640 135395479 4293351632 4293349984 134580959 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8558/statm: 955575 954903 123 216 0 955357 0
Current children cumulated CPU time (s) 1421.49
Current children cumulated vsize (KiB) 3822300

[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.64 3/177 8571
/proc/meminfo: memFree=24374000/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=3974728 CPUtime=1481.45 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 1005447 0 0 0 147847 298 0 0 20 0 1 0 321401758 4070121472 992972 33554432000 134512640 135395479 4293351632 4293349984 134580941 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8558/statm: 993682 992972 123 216 0 993464 0
Current children cumulated CPU time (s) 1481.45
Current children cumulated vsize (KiB) 3974728

[startup+1542.31 s]
/proc/loadavg: 2.00 1.99 1.66 3/177 8572
/proc/meminfo: memFree=24238752/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=4108872 CPUtime=1541.44 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 1038849 0 0 0 153836 308 0 0 20 0 1 0 321401758 4207484928 1026354 33554432000 134512640 135395479 4293351632 4293349984 134580941 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8558/statm: 1027218 1026354 123 216 0 1027000 0
Current children cumulated CPU time (s) 1541.44
Current children cumulated vsize (KiB) 4108872

[startup+1602.3 s]
/proc/loadavg: 3.07 2.24 1.76 2/178 8573
/proc/meminfo: memFree=16706976/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=4188744 CPUtime=1579.86 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) S 8556 8558 8161 0 -1 4204032 1059069 0 0 0 157419 567 0 0 20 0 1 0 321401758 4289273856 1046555 33554432000 134512640 135395479 4293351632 4293349328 135087641 0 0 4096 16386 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 1047186 1046555 127 216 0 1046968 0
Current children cumulated CPU time (s) 1579.86
Current children cumulated vsize (KiB) 4188744

[startup+1662.3 s]
/proc/loadavg: 4.70 2.83 1.99 1/179 8577
/proc/meminfo: memFree=15877564/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=4188744 CPUtime=1580.46 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) S 8556 8558 8161 0 -1 4204032 1059069 0 0 0 157419 627 0 0 20 0 1 0 321401758 4289273856 1046555 33554432000 134512640 135395479 4293351632 4293349328 135087641 0 0 4096 16386 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 1047186 1046555 127 216 0 1046968 0
Current children cumulated CPU time (s) 1580.46
Current children cumulated vsize (KiB) 4188744

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

[startup+1690.4 s]
/proc/loadavg: 5.28 3.12 2.11 2/181 8673
/proc/meminfo: memFree=15833936/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=4188744 CPUtime=1580.46 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) S 8556 8558 8161 0 -1 4204032 1059069 0 0 0 157419 627 0 0 20 0 1 0 321401758 4289273856 1046555 33554432000 134512640 135395479 4293351632 4293349328 135087641 0 0 4096 16386 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 1047186 1046555 127 216 0 1046968 0
Current children cumulated CPU time (s) 1580.46
Current children cumulated vsize (KiB) 4188744

[startup+1703.2 s]
/proc/loadavg: 5.65 3.31 2.18 2/181 8673
/proc/meminfo: memFree=15831688/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=4188744 CPUtime=1580.46 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) S 8556 8558 8161 0 -1 4204032 1059069 0 0 0 157419 627 0 0 20 0 1 0 321401758 4289273856 1046555 33554432000 134512640 135395479 4293351632 4293349328 135087641 0 0 4096 16386 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 1047186 1046555 127 216 0 1046968 0
Current children cumulated CPU time (s) 1580.46
Current children cumulated vsize (KiB) 4188744

[startup+1709.6 s]
/proc/loadavg: 5.68 3.35 2.20 2/180 8673
/proc/meminfo: memFree=15831680/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=4188744 CPUtime=1580.46 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) S 8556 8558 8161 0 -1 4204032 1059069 0 0 0 157419 627 0 0 20 0 1 0 321401758 4289273856 1046555 33554432000 134512640 135395479 4293351632 4293349328 135087641 0 0 4096 16386 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 1047186 1046555 127 216 0 1046968 0
Current children cumulated CPU time (s) 1580.46
Current children cumulated vsize (KiB) 4188744

[startup+1716 s]
/proc/loadavg: 5.88 3.47 2.25 2/180 8673
/proc/meminfo: memFree=15830920/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=4188744 CPUtime=1580.46 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) S 8556 8558 8161 0 -1 4204032 1059069 0 0 0 157419 627 0 0 20 0 1 0 321401758 4289273856 1046555 33554432000 134512640 135395479 4293351632 4293349328 135087641 0 0 4096 16386 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 1047186 1046555 127 216 0 1046968 0
Current children cumulated CPU time (s) 1580.46
Current children cumulated vsize (KiB) 4188744

[startup+1717.6 s]
/proc/loadavg: 5.88 3.47 2.25 2/180 8673
/proc/meminfo: memFree=15831292/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=4188744 CPUtime=1580.46 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) S 8556 8558 8161 0 -1 4204032 1059069 0 0 0 157419 627 0 0 20 0 1 0 321401758 4289273856 1046555 33554432000 134512640 135395479 4293351632 4293349328 135087641 0 0 4096 16386 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 1047186 1046555 127 216 0 1046968 0
Current children cumulated CPU time (s) 1580.46
Current children cumulated vsize (KiB) 4188744

[startup+1718.4 s]
/proc/loadavg: 5.88 3.47 2.25 2/180 8673
/proc/meminfo: memFree=15830796/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=4188744 CPUtime=1580.46 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) S 8556 8558 8161 0 -1 4204032 1059069 0 0 0 157419 627 0 0 20 0 1 0 321401758 4289273856 1046555 33554432000 134512640 135395479 4293351632 4293349328 135087641 0 0 4096 16386 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 1047186 1046555 127 216 0 1046968 0
Current children cumulated CPU time (s) 1580.46
Current children cumulated vsize (KiB) 4188744

[startup+1719.2 s]
/proc/loadavg: 5.88 3.47 2.25 2/180 8673
/proc/meminfo: memFree=15832656/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=4188744 CPUtime=1580.46 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) S 8556 8558 8161 0 -1 4204032 1059069 0 0 0 157419 627 0 0 20 0 1 0 321401758 4289273856 1046555 33554432000 134512640 135395479 4293351632 4293349328 135087641 0 0 4096 16386 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 1047186 1046555 127 216 0 1046968 0
Current children cumulated CPU time (s) 1580.46
Current children cumulated vsize (KiB) 4188744

[startup+1719.6 s]
/proc/loadavg: 5.88 3.47 2.25 2/180 8673
/proc/meminfo: memFree=15832656/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=4188744 CPUtime=1580.46 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) S 8556 8558 8161 0 -1 4204032 1059069 0 0 0 157419 627 0 0 20 0 1 0 321401758 4289273856 1046555 33554432000 134512640 135395479 4293351632 4293349328 135087641 0 0 4096 16386 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 1047186 1046555 127 216 0 1046968 0
Current children cumulated CPU time (s) 1580.46
Current children cumulated vsize (KiB) 4188744

[startup+1719.7 s]
/proc/loadavg: 5.88 3.47 2.25 2/180 8673
/proc/meminfo: memFree=15832656/32873648 swapFree=6864/6864
[pid=8558] ppid=8556 vsize=0 CPUtime=1580.53 cores=1,3,5,7
/proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4204036 1059069 0 0 0 157419 634 0 0 20 0 1 0 321401758 0 0 33554432000 0 0 0 0 0 0 0 4096 16386 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8558/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1580.53
Current children cumulated vsize (KiB) 0

Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 1719.72
CPU time (s): 1580.56
CPU user time (s): 1574.2
CPU system time (s): 6.36803
CPU usage (%): 91.9081
Max. virtual memory (cumulated for all children) (KiB): 4188744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1574.2
system time used= 6.36803
maximum resident set size= 4186220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1059069
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= 1031599
involuntary context switches= 1597

runsolver used 3.84142 second user time and 10.6344 second system time

The end

Launcher Data

Begin job on node120 at 2012-06-01 14:12:38
IDJOB=3721165
IDBENCH=1968
IDSOLVER=2306
FILE ID=node120/3721165-1338552757
RUNJOBID= node120-1338552574-8178
PBS_JOBID= 14635864
Free space on /tmp= 70772 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
COMMAND LINE= HOME/minisat+ BENCHNAME            
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3721165-1338552757/watcher-3721165-1338552757 -o /tmp/evaluation-result-3721165-1338552757/solver-3721165-1338552757 -C 1800 -W 1900 -M 15500  HOME/minisat+ HOME/instance-3721165-1338552757.opb            

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

MD5SUM BENCH= ca3282cf347faf21ba3550ec87dd7af4
RANDOM SEED=842707596

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28589928 kB
Buffers:          503044 kB
Cached:          2658080 kB
SwapCached:         1628 kB
Active:          1777060 kB
Inactive:        1585860 kB
Active(anon):     194228 kB
Inactive(anon):     9236 kB
Active(file):    1582832 kB
Inactive(file):  1576624 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67103460 kB
Dirty:             18848 kB
Writeback:             0 kB
AnonPages:        210504 kB
Mapped:            11312 kB
Shmem:                32 kB
Slab:             781168 kB
SReclaimable:     225376 kB
SUnreclaim:       555792 kB
KernelStack:        1464 kB
PageTables:         4168 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     318432 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    172032 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3721165-1338552757.opb

Free space on /tmp at the end= 66680 MiB
End job on node120 at 2012-06-01 14:41:18