Trace number 3721160

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 1544.17 1711.74

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
MD5SUMf8f4f876e372c51b5109e7995e83ce5e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark761
Best CPU time to get the best result obtained on this benchmark1800.23
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 443
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 492823
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 492823
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.48/7.57	c Converting 656900 PB-constraints to clauses...
7.58/7.61	c   -- Unit propagations: (none)
7.58/7.61	c   -- Detecting intervals from adjacent constraints: (none)
7.58/7.62	c   -- Clauses(.)/Splits(s): ....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
8.29/8.38	c ==================================[MINISAT+]==================================
8.29/8.38	c | Conflicts | Original         | Learnt                           | Progress |
8.29/8.38	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
8.29/8.38	c ==============================================================================
8.29/8.38	c |         0 |  656900  1333400 |  218966       0        0     nan |  0.000 % |
8.39/8.43	c |       101 |  656900  1333400 |  240862     101   187426  1855.7 |  0.000 % |
8.39/8.46	c |       251 |  656900  1333400 |  264948     251   305532  1217.3 |  0.000 % |
8.49/8.51	c |       477 |  656900  1333400 |  291443     477   540583  1133.3 |  0.000 % |
8.59/8.63	c |       817 |  656900  1333400 |  320588     817  1045447  1279.6 |  0.000 % |
8.69/8.74	c ==============================================================================
8.69/8.74	c Found solution: 7398
8.69/8.74	o 7398
8.79/8.82	c ---[   0]---> Adder-cost: 54672   maxlim: 485425   bits: 19/19
12.38/12.46	c ==================================[MINISAT+]==================================
12.38/12.46	c | Conflicts | Original         | Learnt                           | Progress |
12.38/12.46	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
12.38/12.46	c ==============================================================================
12.38/12.46	c |      1126 | 1039498  2699810 |  346499    1126  1497324  1329.8 |  0.000 % |
12.48/12.52	c ==============================================================================
12.48/12.52	c Found solution: 7222
12.48/12.52	o 7222
12.58/12.60	c ---[   0]---> Adder-cost: 0   maxlim: 485601   bits: 19/19
15.68/15.77	c ==================================[MINISAT+]==================================
15.68/15.77	c | Conflicts | Original         | Learnt                           | Progress |
15.68/15.77	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
15.68/15.77	c ==============================================================================
15.68/15.77	c |      1141 | 1039507  2699873 |  346502    1141  1502412  1316.8 |  0.000 % |
16.08/16.19	c |      1241 | 1039507  2699873 |  381152    1241  1505446  1213.1 |  0.023 % |
16.49/16.60	c |      1391 | 1039507  2699873 |  419267    1391  1507663  1083.9 |  0.023 % |
16.88/16.97	c |      1616 | 1039507  2699873 |  461194    1616  1514797   937.4 |  0.023 % |
17.28/17.31	c |      1954 | 1039507  2699873 |  507313    1954  1783855   912.9 |  0.023 % |
17.59/17.60	c |      2460 | 1039507  2699873 |  558044    2460  2000264   813.1 |  0.023 % |
18.18/18.28	c |      3219 | 1039441  2699651 |  613849    3211  2007828   625.3 |  0.042 % |
20.68/20.70	c |      4358 | 1039066  2698356 |  675234    4272  2027348   474.6 |  0.138 % |
21.58/21.63	c |      6066 | 1039066  2698356 |  742757    5980  2072671   346.6 |  0.138 % |
24.78/24.88	c |      8628 | 1039031  2698237 |  817033    8533  2099002   246.0 |  0.147 % |
32.17/32.22	c |     12472 | 1038957  2697981 |  898736   12367  2143217   173.3 |  0.167 % |
44.96/45.06	c |     18238 | 1038948  2697950 |  988610   18129  2216796   122.3 |  0.169 % |
56.66/56.74	c |     26889 | 1038925  2697871 | 1087471   26777  9787136   365.5 |  0.175 % |
56.96/57.07	c ==============================================================================
56.96/57.07	c Found solution: 6445
56.96/57.07	o 6445
57.06/57.15	c ---[   0]---> Adder-cost: 0   maxlim: 486378   bits: 19/19
60.46/60.54	c ==================================[MINISAT+]==================================
60.46/60.54	c | Conflicts | Original         | Learnt                           | Progress |
60.46/60.54	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
60.46/60.54	c ==============================================================================
60.46/60.54	c |     27274 | 1038950  2698030 |  346316   27162  9820412   361.5 |  0.175 % |
60.86/60.98	c |     27374 | 1038950  2698030 |  380947   27262  9823600   360.3 |  0.187 % |
61.56/61.63	c |     27524 | 1038950  2698030 |  419042   27412  9825721   358.4 |  0.187 % |
61.96/62.06	c |     27750 | 1038950  2698030 |  460946   27638  9829069   355.6 |  0.187 % |
62.86/62.91	c |     28090 | 1038950  2698030 |  507041   27978  9834574   351.5 |  0.187 % |
63.56/63.63	c |     28596 | 1038945  2698014 |  557745   28483  9840943   345.5 |  0.189 % |
65.56/65.62	c |     29355 | 1038945  2698014 |  613519   29242  9848903   336.8 |  0.189 % |
67.95/68.07	c |     30494 | 1038939  2697994 |  674871   30378  9873600   325.0 |  0.190 % |
69.65/69.77	c |     32202 | 1038939  2697994 |  742359   32086 12841342   400.2 |  0.190 % |
71.35/71.42	c |     34765 | 1038939  2697994 |  816595   34649 15319732   442.1 |  0.190 % |
79.54/79.64	c |     38611 | 1038939  2697994 |  898254   38495 15366256   399.2 |  0.190 % |
92.24/92.37	c |     44377 | 1038939  2697994 |  988079   44261 15428733   348.6 |  0.190 % |
105.53/105.68	c |     53026 | 1038797  2697504 | 1086887   52889 16759217   316.9 |  0.230 % |
112.42/112.53	c |     66000 | 1038797  2697504 | 1195576   65863 17201403   261.2 |  0.230 % |
113.43/113.51	c ==============================================================================
113.43/113.51	c Found solution: 6422
113.43/113.51	o 6422
113.43/113.59	c ---[   0]---> Adder-cost: 0   maxlim: 486401   bits: 19/19
116.72/116.84	c ==================================[MINISAT+]==================================
116.72/116.84	c | Conflicts | Original         | Learnt                           | Progress |
116.72/116.84	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
116.72/116.84	c ==============================================================================
116.72/116.84	c |     68659 | 1038804  2697544 |  346268   68522 18409738   268.7 |  0.230 % |
116.82/116.93	c |     68761 | 1038804  2697544 |  380894   68624 18410789   268.3 |  0.233 % |
116.92/117.08	c |     68912 | 1038804  2697544 |  418984   68775 18411942   267.7 |  0.233 % |
117.22/117.39	c |     69138 | 1038804  2697544 |  460882   69001 18413749   266.9 |  0.233 % |
117.73/117.85	c |     69477 | 1038804  2697544 |  506970   69340 18416880   265.6 |  0.233 % |
118.62/118.70	c |     69983 | 1038804  2697544 |  557668   69846 18424075   263.8 |  0.233 % |
119.62/119.77	c |     70742 | 1038804  2697544 |  613434   70605 18431752   261.1 |  0.233 % |
120.82/120.90	c |     71881 | 1038804  2697544 |  674778   71744 18443208   257.1 |  0.233 % |
123.92/124.02	c |     73589 | 1038804  2697544 |  742256   73452 18458638   251.3 |  0.233 % |
127.52/127.68	c |     76151 | 1038804  2697544 |  816481   76014 18483495   243.2 |  0.233 % |
132.61/132.78	c |     79996 | 1038804  2697544 |  898130   79859 18629999   233.3 |  0.233 % |
139.21/139.31	c |     85762 | 1038804  2697544 |  987943   85625 30990242   361.9 |  0.233 % |
149.90/150.00	c |     94411 | 1038804  2697544 | 1086737   94274 48969553   519.4 |  0.233 % |
150.10/150.25	c ==============================================================================
150.10/150.25	c Found solution: 6234
150.10/150.25	o 6234
150.20/150.33	c ---[   0]---> Adder-cost: 0   maxlim: 486589   bits: 19/19
153.50/153.65	c ==================================[MINISAT+]==================================
153.50/153.65	c | Conflicts | Original         | Learnt                           | Progress |
153.50/153.65	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
153.50/153.65	c ==============================================================================
153.50/153.65	c |     94635 | 1038816  2697644 |  346272   94498 49205842   520.7 |  0.233 % |
153.80/153.99	c |     94735 | 1038816  2697644 |  380899   94598 49211026   520.2 |  0.243 % |
154.30/154.45	c |     94885 | 1038816  2697644 |  418989   94748 49214663   519.4 |  0.243 % |
154.80/154.95	c |     95110 | 1038816  2697644 |  460888   94973 49218258   518.2 |  0.243 % |
155.60/155.77	c |     95449 | 1038816  2697644 |  506976   95312 49229657   516.5 |  0.243 % |
156.21/156.31	c |     95958 | 1038816  2697644 |  557674   95821 49767652   519.4 |  0.243 % |
156.70/156.89	c |     96717 | 1038816  2697644 |  613441   96580 50785652   525.8 |  0.243 % |
158.59/158.71	c |     97856 | 1038816  2697644 |  674786   97719 50803131   519.9 |  0.243 % |
161.79/161.92	c |     99565 | 1038816  2697644 |  742264   99428 50822150   511.1 |  0.243 % |
165.99/166.18	c |    102131 | 1038816  2697644 |  816491  101994 50857305   498.6 |  0.243 % |
171.18/171.36	c |    105976 | 1038816  2697644 |  898140  105839 50908201   481.0 |  0.243 % |
175.19/175.38	c ==============================================================================
175.19/175.38	c Found solution: 6222
175.19/175.38	o 6222
175.29/175.46	c ---[   0]---> Adder-cost: 0   maxlim: 486601   bits: 19/19
178.59/178.79	c ==================================[MINISAT+]==================================
178.59/178.79	c | Conflicts | Original         | Learnt                           | Progress |
178.59/178.79	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
178.59/178.79	c ==============================================================================
178.59/178.79	c |    111678 | 1038821  2697689 |  346273  111541 52431938   470.1 |  0.243 % |
178.89/179.07	c |    111778 | 1038821  2697689 |  380900  111641 52434418   469.7 |  0.247 % |
179.29/179.40	c |    111928 | 1038821  2697689 |  418990  111791 52438963   469.1 |  0.247 % |
179.59/179.70	c |    112154 | 1038821  2697689 |  460889  112017 52442526   468.2 |  0.247 % |
180.29/180.50	c |    112492 | 1038821  2697689 |  506978  112355 52446255   466.8 |  0.247 % |
181.09/181.29	c |    112998 | 1038821  2697689 |  557676  112861 52453862   464.8 |  0.247 % |
182.49/182.64	c |    113760 | 1038821  2697689 |  613443  113623 52463113   461.7 |  0.247 % |
183.79/183.97	c |    114900 | 1038821  2697689 |  674788  114763 52479828   457.3 |  0.247 % |
183.99/184.11	c |    116609 | 1038821  2697689 |  742266  116472 52502622   450.8 |  0.247 % |
187.68/187.86	c |    119172 | 1038821  2697689 |  816493  119035 52538398   441.4 |  0.247 % |
191.18/191.31	c |    123021 | 1038821  2697689 |  898142  122884 53421506   434.7 |  0.247 % |
191.29/191.45	c ==============================================================================
191.29/191.45	c Found solution: 5859
191.29/191.45	o 5859
191.39/191.53	c ---[   0]---> Adder-cost: 0   maxlim: 486964   bits: 19/19
194.78/194.96	c ==================================[MINISAT+]==================================
194.78/194.96	c | Conflicts | Original         | Learnt                           | Progress |
194.78/194.96	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
194.78/194.96	c ==============================================================================
194.78/194.96	c |    123108 | 1038828  2697757 |  346276  122971 53488082   435.0 |  0.247 % |
194.98/195.10	c |    123209 | 1038828  2697757 |  380903  123072 53490121   434.6 |  0.255 % |
195.38/195.51	c |    123359 | 1038828  2697757 |  418993  123222 53496154   434.1 |  0.255 % |
195.98/196.12	c |    123586 | 1038828  2697757 |  460893  123449 53500439   433.4 |  0.255 % |
196.78/196.91	c |    123923 | 1038828  2697757 |  506982  123786 53506571   432.3 |  0.255 % |
197.88/198.03	c |    124429 | 1038828  2697757 |  557680  124292 53561542   430.9 |  0.255 % |
198.37/198.58	c |    125188 | 1038828  2697757 |  613449  125051 54023676   432.0 |  0.255 % |
199.68/199.80	c |    126327 | 1038828  2697757 |  674793  126190 54034692   428.2 |  0.255 % |
202.48/202.61	c |    128035 | 1038828  2697757 |  742273  127898 54055375   422.6 |  0.255 % |
205.18/205.31	c |    130597 | 1038828  2697757 |  816500  130460 54247438   415.8 |  0.255 % |
206.18/206.38	c ==============================================================================
206.18/206.38	c Found solution: 5439
206.18/206.38	o 5439
206.28/206.46	c ---[   0]---> Adder-cost: 0   maxlim: 487384   bits: 19/19
209.58/209.78	c ==================================[MINISAT+]==================================
209.58/209.78	c | Conflicts | Original         | Learnt                           | Progress |
209.58/209.78	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
209.58/209.78	c ==============================================================================
209.58/209.78	c |    132079 | 1038836  2697835 |  346278  131942 55046603   417.2 |  0.255 % |
209.78/209.99	c |    132179 | 1038836  2697835 |  380905  132042 55058718   417.0 |  0.264 % |
210.08/210.25	c |    132329 | 1038836  2697835 |  418996  132192 55069121   416.6 |  0.264 % |
210.38/210.58	c |    132554 | 1038836  2697835 |  460896  132417 55073637   415.9 |  0.264 % |
211.08/211.23	c |    132892 | 1038836  2697835 |  506985  132755 55078395   414.9 |  0.264 % |
212.18/212.37	c |    133398 | 1038836  2697835 |  557684  133261 55085682   413.4 |  0.264 % |
213.78/213.98	c |    134158 | 1038836  2697835 |  613452  134021 55166630   411.6 |  0.264 % |
215.08/215.26	c |    135297 | 1038836  2697835 |  674797  135160 55194679   408.4 |  0.264 % |
218.17/218.30	c |    137005 | 1038836  2697835 |  742277  136868 55217958   403.4 |  0.264 % |
221.77/221.94	c |    139567 | 1038836  2697835 |  816505  139430 55252757   396.3 |  0.264 % |
224.97/225.10	c |    143412 | 1038836  2697835 |  898155  143275 56765014   396.2 |  0.264 % |
232.08/232.27	c |    149178 | 1038836  2697835 |  987971  149041 64046306   429.7 |  0.264 % |
238.96/239.19	c |    157829 | 1038836  2697835 | 1086768  157692 76785287   486.9 |  0.264 % |
252.65/252.87	c |    170807 | 1038836  2697835 | 1195445  170670 76993846   451.1 |  0.264 % |
295.53/295.79	c |    190268 | 1038836  2697835 | 1314990  190131 139312191   732.7 |  0.264 % |
375.50/375.77	c |    219461 | 1038836  2697835 | 1446489  219324 255570250  1165.3 |  0.264 % |
377.49/377.71	c ==============================================================================
377.49/377.71	c Found solution: 5141
377.49/377.71	o 5141
377.59/377.80	c ---[   0]---> Adder-cost: 0   maxlim: 487682   bits: 19/19
381.50/381.75	c ==================================[MINISAT+]==================================
381.50/381.75	c | Conflicts | Original         | Learnt                           | Progress |
381.50/381.75	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
381.50/381.75	c ==============================================================================
381.50/381.75	c |    220972 | 1038844  2697890 |  346281  220835 257881928  1167.8 |  0.264 % |
381.69/381.97	c |    221072 | 1038844  2697890 |  380909  220935 257886816  1167.3 |  0.270 % |
382.09/382.35	c |    221222 | 1038844  2697890 |  419000  221085 257890548  1166.5 |  0.270 % |
382.19/382.48	c |    221447 | 1038844  2697890 |  460900  221310 257903434  1165.3 |  0.270 % |
382.89/383.18	c |    221784 | 1038844  2697890 |  506990  221647 257910758  1163.6 |  0.270 % |
383.89/384.18	c |    222290 | 1038844  2697890 |  557689  222153 257921922  1161.0 |  0.270 % |
385.79/386.02	c |    223049 | 1038844  2697890 |  613457  222912 258008261  1157.4 |  0.270 % |
387.30/387.50	c |    224188 | 1038844  2697890 |  674803  224051 259917736  1160.1 |  0.270 % |
387.89/388.14	c ==============================================================================
387.89/388.14	c Found solution: 4683
387.89/388.14	o 4683
387.99/388.22	c ---[   0]---> Adder-cost: 0   maxlim: 488140   bits: 19/19
392.09/392.35	c ==================================[MINISAT+]==================================
392.09/392.35	c | Conflicts | Original         | Learnt                           | Progress |
392.09/392.35	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
392.09/392.35	c ==============================================================================
392.09/392.35	c |    224594 | 1038853  2697971 |  346284  224457 260184282  1159.2 |  0.270 % |
392.49/392.73	c |    224694 | 1038853  2697971 |  380912  224557 260191217  1158.7 |  0.280 % |
393.69/393.98	c |    224844 | 1038844  2697940 |  419003  224698 260195802  1158.0 |  0.281 % |
394.19/394.45	c |    225069 | 1038844  2697940 |  460904  224923 260202407  1156.9 |  0.281 % |
394.89/395.18	c |    225407 | 1038844  2697940 |  506994  225261 260213315  1155.2 |  0.281 % |
396.19/396.41	c |    225913 | 1038844  2697940 |  557693  225767 260222190  1152.6 |  0.281 % |
396.89/397.13	c |    226672 | 1038844  2697940 |  613463  226526 260241154  1148.8 |  0.281 % |
398.38/398.61	c |    227811 | 1038844  2697940 |  674809  227665 260260563  1143.2 |  0.281 % |
401.39/401.64	c |    229520 | 1038844  2697940 |  742290  229374 260299498  1134.8 |  0.281 % |
404.48/404.77	c |    232082 | 1038844  2697940 |  816519  231936 260364121  1122.6 |  0.281 % |
412.88/413.17	c |    235926 | 1038844  2697940 |  898171  235780 260526706  1105.0 |  0.281 % |
421.57/421.86	c |    241694 | 1038844  2697940 |  987988  241548 269277218  1114.8 |  0.281 % |
427.47/427.76	c |    250343 | 1038793  2697763 | 1086787  249900 274567015  1098.7 |  0.295 % |
445.38/445.64	c |    263319 | 1038793  2697763 | 1195466  262876 275473105  1047.9 |  0.295 % |
487.25/487.56	c |    282781 | 1038793  2697763 | 1315012  282338 324387637  1148.9 |  0.295 % |
510.14/510.42	c |    311973 | 1038793  2697763 | 1446514  311530 345700606  1109.7 |  0.295 % |
532.72/533.05	c |    355762 | 1038793  2697763 | 1591165  355319 347020408   976.6 |  0.295 % |
607.10/607.45	c |    421446 | 1038793  2697763 | 1750282  421003 363977725   864.5 |  0.295 % |
826.00/826.40	c |    519972 | 1038793  2697763 | 1925310  519529 568127489  1093.5 |  0.295 % |
1103.21/1103.86	c |    667761 | 1038793  2697763 | 2117841  667318 801873922  1201.6 |  0.295 % |
1452.13/1452.99	c |    889444 | 1038716  2697496 | 2329625  888991 949589994  1068.2 |  0.315 % |
1542.09/1542.96	minisat+: ADTs/Global.h:112: T* xrealloc(T*, size_t) [with T = Lit]: 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-3721160-1338552739/watcher-3721160-1338552739 -o /tmp/evaluation-result-3721160-1338552739/solver-3721160-1338552739 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721160-1338552739.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.87 0.84 0.32 3/176 11286
/proc/meminfo: memFree=27794128/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=2120 CPUtime=0 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) R 11284 11286 11128 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 321400055 2170880 311 33554432000 134512640 135395479 4289662368 4289661152 134569966 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/11286/statm: 530 311 67 216 0 312 0

[startup+0.0366191 s]
/proc/loadavg: 1.87 0.84 0.32 3/176 11286
/proc/meminfo: memFree=27794128/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=3340 CPUtime=0.03 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) R 11284 11286 11128 0 -1 4202496 652 0 0 0 3 0 0 0 20 0 1 0 321400055 3420160 609 33554432000 134512640 135395479 4289662368 4289660828 135006089 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/11286/statm: 835 609 74 216 0 617 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3340

[startup+0.100203 s]
/proc/loadavg: 1.87 0.84 0.32 3/176 11286
/proc/meminfo: memFree=27794128/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=4436 CPUtime=0.09 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) R 11284 11286 11128 0 -1 4202496 929 0 0 0 9 0 0 0 20 0 1 0 321400055 4542464 886 33554432000 134512640 135395479 4289662368 4289660780 135005908 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/11286/statm: 1109 886 74 216 0 891 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4436

[startup+0.300175 s]
/proc/loadavg: 1.87 0.84 0.32 3/176 11286
/proc/meminfo: memFree=27794128/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=8324 CPUtime=0.29 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) R 11284 11286 11128 0 -1 4202496 1914 0 0 0 29 0 0 0 20 0 1 0 321400055 8523776 1871 33554432000 134512640 135395479 4289662368 4289660924 135005240 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/11286/statm: 2081 1871 74 216 0 1863 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8324

[startup+0.700177 s]
/proc/loadavg: 1.87 0.84 0.32 3/176 11286
/proc/meminfo: memFree=27794128/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=16252 CPUtime=0.69 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) R 11284 11286 11128 0 -1 4202496 3881 0 0 0 68 1 0 0 20 0 1 0 321400055 16642048 3838 33554432000 134512640 135395479 4289662368 4289660716 135010189 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/11286/statm: 4063 3838 74 216 0 3845 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16252

[startup+1.50017 s]
/proc/loadavg: 1.87 0.84 0.32 3/177 11287
/proc/meminfo: memFree=27773396/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=32000 CPUtime=1.49 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) R 11284 11286 11128 0 -1 4202496 7803 0 0 0 147 2 0 0 20 0 1 0 321400055 32768000 7760 33554432000 134512640 135395479 4289662368 4289660896 134838342 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/11286/statm: 8000 7760 74 216 0 7782 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32000

[startup+3.10018 s]
/proc/loadavg: 1.87 0.84 0.32 3/177 11287
/proc/meminfo: memFree=27751828/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=63560 CPUtime=3.09 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) R 11284 11286 11128 0 -1 4202496 15656 0 0 0 305 4 0 0 20 0 1 0 321400055 65085440 15613 33554432000 134512640 135395479 4289662368 4289661200 134618939 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/11286/statm: 15890 15613 74 216 0 15672 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63560

[startup+6.30018 s]
/proc/loadavg: 1.88 0.86 0.33 3/177 11287
/proc/meminfo: memFree=27684248/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=126864 CPUtime=6.28 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) R 11284 11286 11128 0 -1 4202496 31408 0 0 0 621 7 0 0 20 0 1 0 321400055 129908736 31365 33554432000 134512640 135395479 4289662368 4289660940 134806058 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/11286/statm: 31716 31366 74 216 0 31498 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 126864

[startup+12.7002 s]
/proc/loadavg: 1.89 0.88 0.34 3/177 11287
/proc/meminfo: memFree=27564956/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=240052 CPUtime=12.68 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) R 11284 11286 11128 0 -1 4202496 54454 0 0 0 1227 41 0 0 20 0 1 0 321400055 245813248 59394 33554432000 134512640 135395479 4289662368 4288248236 134809748 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/11286/statm: 60013 59394 123 216 0 59795 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 240052

[startup+25.5003 s]
/proc/loadavg: 1.92 0.94 0.36 3/177 11287
/proc/meminfo: memFree=27555276/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=239568 CPUtime=25.48 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) R 11284 11286 11128 0 -1 4202496 55151 0 0 0 2507 41 0 0 20 0 1 0 321400055 245317632 59343 33554432000 134512640 135395479 4289662368 4289660720 134581074 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/11286/statm: 59892 59343 123 216 0 59674 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 239568

[startup+51.1003 s]
/proc/loadavg: 2.00 1.04 0.41 3/177 11287
/proc/meminfo: memFree=27555228/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=239568 CPUtime=51.06 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) R 11284 11286 11128 0 -1 4202496 55171 0 0 0 5065 41 0 0 20 0 1 0 321400055 245317632 59343 33554432000 134512640 135395479 4289662368 4289660688 134572776 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/11286/statm: 59892 59343 123 216 0 59674 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 239568

[startup+102.3 s]
/proc/loadavg: 2.04 1.21 0.50 3/177 11287
/proc/meminfo: memFree=27506912/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=288468 CPUtime=102.23 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) R 11284 11286 11128 0 -1 4202496 69715 0 0 0 10179 44 0 0 20 0 1 0 321400055 295391232 71552 33554432000 134512640 135395479 4289662368 4289660672 134580311 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/11286/statm: 72117 71552 123 216 0 71899 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 288468

[startup+162.3 s]
/proc/loadavg: 2.01 1.34 0.59 3/177 11287
/proc/meminfo: memFree=27346732/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=424760 CPUtime=162.19 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) R 11284 11286 11128 0 -1 4202496 109124 0 0 0 16166 53 0 0 20 0 1 0 321400055 434954240 105600 33554432000 134512640 135395479 4289662368 4289660688 134573663 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/11286/statm: 106190 105600 123 216 0 105972 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 424760

[startup+222.306 s]
/proc/loadavg: 2.15 1.51 0.69 3/177 11287
/proc/meminfo: memFree=27325556/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=445664 CPUtime=222.18 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) R 11284 11286 11128 0 -1 4202496 122538 0 0 0 22162 56 0 0 20 0 1 0 321400055 456359936 110789 33554432000 134512640 135395479 4289662368 4289660720 134580941 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/11286/statm: 111416 110789 123 216 0 111198 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 445664

[startup+282.3 s]
/proc/loadavg: 2.12 1.61 0.77 3/177 11288
/proc/meminfo: memFree=27075724/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=698644 CPUtime=282.14 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) R 11284 11286 11128 0 -1 4202496 185886 0 0 0 28145 69 0 0 20 0 1 0 321400055 715411456 174102 33554432000 134512640 135395479 4289662368 4289660416 134584044 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/11286/statm: 174661 174102 123 216 0 174443 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 698644

[startup+342.3 s]
/proc/loadavg: 2.11 1.69 0.85 3/177 11288
/proc/meminfo: memFree=26709960/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=1060664 CPUtime=342.11 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) R 11284 11286 11128 0 -1 4202496 276399 0 0 0 34124 87 0 0 20 0 1 0 321400055 1086119936 264595 33554432000 134512640 135395479 4289662368 4289660720 134580965 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/11286/statm: 265166 264595 123 216 0 264948 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 1060664

[startup+402.3 s]
/proc/loadavg: 2.17 1.78 0.93 3/177 11288
/proc/meminfo: memFree=26512952/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=1255176 CPUtime=402.08 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) R 11284 11286 11128 0 -1 4202496 329502 0 0 0 40110 98 0 0 20 0 1 0 321400055 1285300224 313152 33554432000 134512640 135395479 4289662368 4289660672 134580418 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/11286/statm: 313794 313152 123 216 0 313576 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 1255176

[startup+462.3 s]
/proc/loadavg: 2.13 1.83 1.00 3/178 11291
/proc/meminfo: memFree=26362544/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=1406256 CPUtime=462.06 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) R 11284 11286 11128 0 -1 4202496 367359 0 0 0 46098 108 0 0 20 0 1 0 321400055 1440006144 350988 33554432000 134512640 135395479 4289662368 4289660720 134580947 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/11286/statm: 351564 350988 123 216 0 351346 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 1406256

[startup+522.3 s]
/proc/loadavg: 2.11 1.88 1.07 3/177 11291
/proc/meminfo: memFree=26168164/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=1597308 CPUtime=522.03 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) R 11284 11286 11128 0 -1 4202496 415048 0 0 0 52085 118 0 0 20 0 1 0 321400055 1635643392 398655 33554432000 134512640 135395479 4289662368 4289660832 134588652 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/11286/statm: 399327 398655 123 216 0 399109 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 1597308

[startup+582.3 s]
/proc/loadavg: 2.11 1.91 1.13 3/177 11292
/proc/meminfo: memFree=26138060/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=1629020 CPUtime=582.01 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) R 11284 11286 11128 0 -1 4202496 423041 0 0 0 58080 121 0 0 20 0 1 0 321400055 1668116480 406613 33554432000 134512640 135395479 4289662368 4289660688 134572702 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/11286/statm: 407255 406613 123 216 0 407037 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 1629020

[startup+642.3 s]

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

[pid=11286] ppid=11284 vsize=3402132 CPUtime=1121.7 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) R 11284 11286 11128 0 -1 4202496 866630 0 0 0 111947 223 0 0 20 0 1 0 321400055 3483783168 849984 33554432000 134512640 135395479 4289662368 4289660720 134581028 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/11286/statm: 850533 849984 123 216 0 850315 0
Current children cumulated CPU time (s) 1121.7
Current children cumulated vsize (KiB) 3402132

[startup+1182.3 s]
/proc/loadavg: 2.13 2.06 1.56 3/177 11297
/proc/meminfo: memFree=24261228/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=3490228 CPUtime=1181.66 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) R 11284 11286 11128 0 -1 4202496 888362 0 0 0 117937 229 0 0 20 0 1 0 321400055 3573993472 871688 33554432000 134512640 135395479 4289662368 4289660720 134580765 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/11286/statm: 872557 871688 123 216 0 872339 0
Current children cumulated CPU time (s) 1181.66
Current children cumulated vsize (KiB) 3490228

[startup+1242.3 s]
/proc/loadavg: 2.11 2.06 1.59 3/177 11297
/proc/meminfo: memFree=24111836/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=3640364 CPUtime=1241.61 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) R 11284 11286 11128 0 -1 4202496 925955 0 0 0 123923 238 0 0 20 0 1 0 321400055 3727732736 909246 33554432000 134512640 135395479 4289662368 4289660720 134580938 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/11286/statm: 910091 909246 123 216 0 909873 0
Current children cumulated CPU time (s) 1241.61
Current children cumulated vsize (KiB) 3640364

[startup+1302.3 s]
/proc/loadavg: 2.11 2.07 1.62 3/177 11297
/proc/meminfo: memFree=23872296/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=3874000 CPUtime=1301.58 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) R 11284 11286 11128 0 -1 4202496 984428 0 0 0 129905 253 0 0 20 0 1 0 321400055 3966976000 967687 33554432000 134512640 135395479 4289662368 4289660720 134581028 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/11286/statm: 968500 967687 123 216 0 968282 0
Current children cumulated CPU time (s) 1301.58
Current children cumulated vsize (KiB) 3874000

[startup+1362.3 s]
/proc/loadavg: 2.11 2.07 1.65 3/177 11297
/proc/meminfo: memFree=23777836/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=3962868 CPUtime=1361.56 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) R 11284 11286 11128 0 -1 4202496 1006664 0 0 0 135897 259 0 0 20 0 1 0 321400055 4057976832 989900 33554432000 134512640 135395479 4289662368 4289660720 134580765 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/11286/statm: 990717 989900 123 216 0 990499 0
Current children cumulated CPU time (s) 1361.56
Current children cumulated vsize (KiB) 3962868

[startup+1422.3 s]
/proc/loadavg: 2.04 2.05 1.66 3/177 11297
/proc/meminfo: memFree=23760380/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=3980276 CPUtime=1421.54 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) R 11284 11286 11128 0 -1 4202496 1011003 0 0 0 141892 262 0 0 20 0 1 0 321400055 4075802624 994202 33554432000 134512640 135395479 4289662368 4289660832 134588652 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/11286/statm: 995069 994202 123 216 0 994851 0
Current children cumulated CPU time (s) 1421.54
Current children cumulated vsize (KiB) 3980276

[startup+1482.3 s]
/proc/loadavg: 2.08 2.06 1.69 3/177 11298
/proc/meminfo: memFree=23717628/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=4015092 CPUtime=1481.52 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) R 11284 11286 11128 0 -1 4202496 1019697 0 0 0 147887 265 0 0 20 0 1 0 321400055 4111454208 1002866 33554432000 134512640 135395479 4289662368 4289660720 134580798 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/11286/statm: 1003773 1002866 123 216 0 1003555 0
Current children cumulated CPU time (s) 1481.52
Current children cumulated vsize (KiB) 4015092

[startup+1542.31 s]
/proc/loadavg: 2.03 2.05 1.71 3/177 11298
/proc/meminfo: memFree=23552612/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=4187124 CPUtime=1541.5 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) R 11284 11286 11128 0 -1 4202496 1062902 0 0 0 153873 277 0 0 20 0 1 0 321400055 4287614976 1046043 33554432000 134512640 135395479 4289662368 4289660720 134580765 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/11286/statm: 1046781 1046043 123 216 0 1046563 0
Current children cumulated CPU time (s) 1541.5
Current children cumulated vsize (KiB) 4187124

[startup+1602.3 s]
/proc/loadavg: 3.52 2.46 1.87 2/178 11299
/proc/meminfo: memFree=14769180/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=4189172 CPUtime=1544.06 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) S 11284 11286 11128 0 -1 4204032 1063528 0 0 0 153939 467 0 0 20 0 1 0 321400055 4289712128 1046669 33554432000 134512640 135395479 4289662368 4289659984 135087641 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11286/statm: 1047293 1046669 127 216 0 1047075 0
Current children cumulated CPU time (s) 1544.06
Current children cumulated vsize (KiB) 4189172

[startup+1662.3 s]
/proc/loadavg: 4.48 2.93 2.07 1/176 11332
/proc/meminfo: memFree=14877836/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=4189172 CPUtime=1544.06 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) S 11284 11286 11128 0 -1 4204032 1063528 0 0 0 153939 467 0 0 20 0 1 0 321400055 4289712128 1046669 33554432000 134512640 135395479 4289662368 4289659984 135087641 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11286/statm: 1047293 1046669 127 216 0 1047075 0
Current children cumulated CPU time (s) 1544.06
Current children cumulated vsize (KiB) 4189172

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

[startup+1664 s]
/proc/loadavg: 4.61 2.99 2.09 1/176 11332
/proc/meminfo: memFree=14877920/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=4189172 CPUtime=1544.06 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) S 11284 11286 11128 0 -1 4204032 1063528 0 0 0 153939 467 0 0 20 0 1 0 321400055 4289712128 1046669 33554432000 134512640 135395479 4289662368 4289659984 135087641 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11286/statm: 1047293 1046669 127 216 0 1047075 0
Current children cumulated CPU time (s) 1544.06
Current children cumulated vsize (KiB) 4189172

[startup+1689.6 s]
/proc/loadavg: 4.74 3.15 2.16 2/179 11399
/proc/meminfo: memFree=14866624/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=4189172 CPUtime=1544.06 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) S 11284 11286 11128 0 -1 4204032 1063528 0 0 0 153939 467 0 0 20 0 1 0 321400055 4289712128 1046669 33554432000 134512640 135395479 4289662368 4289659984 135087641 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11286/statm: 1047293 1046669 127 216 0 1047075 0
Current children cumulated CPU time (s) 1544.06
Current children cumulated vsize (KiB) 4189172

[startup+1702.4 s]
/proc/loadavg: 4.78 3.21 2.19 2/179 11399
/proc/meminfo: memFree=14863632/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=4189172 CPUtime=1544.06 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) S 11284 11286 11128 0 -1 4204032 1063528 0 0 0 153939 467 0 0 20 0 1 0 321400055 4289712128 1046669 33554432000 134512640 135395479 4289662368 4289659984 135087641 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11286/statm: 1047293 1046669 127 216 0 1047075 0
Current children cumulated CPU time (s) 1544.06
Current children cumulated vsize (KiB) 4189172

[startup+1705.6 s]
/proc/loadavg: 4.80 3.24 2.21 2/179 11399
/proc/meminfo: memFree=14861276/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=4189172 CPUtime=1544.06 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) S 11284 11286 11128 0 -1 4204032 1063528 0 0 0 153939 467 0 0 20 0 1 0 321400055 4289712128 1046669 33554432000 134512640 135395479 4289662368 4289659984 135087641 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11286/statm: 1047293 1046669 127 216 0 1047075 0
Current children cumulated CPU time (s) 1544.06
Current children cumulated vsize (KiB) 4189172

[startup+1708.8 s]
/proc/loadavg: 4.73 3.25 2.22 2/179 11399
/proc/meminfo: memFree=14864376/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=4189172 CPUtime=1544.06 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) S 11284 11286 11128 0 -1 4204032 1063528 0 0 0 153939 467 0 0 20 0 1 0 321400055 4289712128 1046669 33554432000 134512640 135395479 4289662368 4289659984 135087641 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11286/statm: 1047293 1046669 127 216 0 1047075 0
Current children cumulated CPU time (s) 1544.06
Current children cumulated vsize (KiB) 4189172

[startup+1710.4 s]
/proc/loadavg: 4.73 3.25 2.22 2/179 11399
/proc/meminfo: memFree=14863864/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=4189172 CPUtime=1544.06 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) S 11284 11286 11128 0 -1 4204032 1063528 0 0 0 153939 467 0 0 20 0 1 0 321400055 4289712128 1046669 33554432000 134512640 135395479 4289662368 4289659984 135087641 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11286/statm: 1047293 1046669 127 216 0 1047075 0
Current children cumulated CPU time (s) 1544.06
Current children cumulated vsize (KiB) 4189172

[startup+1711.2 s]
/proc/loadavg: 4.73 3.25 2.22 2/179 11399
/proc/meminfo: memFree=14863988/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=4189172 CPUtime=1544.06 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) S 11284 11286 11128 0 -1 4204032 1063528 0 0 0 153939 467 0 0 20 0 1 0 321400055 4289712128 1046669 33554432000 134512640 135395479 4289662368 4289659984 135087641 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11286/statm: 1047293 1046669 127 216 0 1047075 0
Current children cumulated CPU time (s) 1544.06
Current children cumulated vsize (KiB) 4189172

[startup+1711.6 s]
/proc/loadavg: 4.73 3.25 2.22 5/179 11399
/proc/meminfo: memFree=14984392/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=4189172 CPUtime=1544.06 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) S 11284 11286 11128 0 -1 4204032 1063528 0 0 0 153939 467 0 0 20 0 1 0 321400055 4289712128 1046669 33554432000 134512640 135395479 4289662368 4289659984 135087641 0 0 4096 16386 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/11286/statm: 1047293 1046669 127 216 0 1047075 0
Current children cumulated CPU time (s) 1544.06
Current children cumulated vsize (KiB) 4189172

[startup+1711.71 s]
/proc/loadavg: 4.73 3.25 2.22 5/179 11399
/proc/meminfo: memFree=14984392/32873844 swapFree=7372/7372
[pid=11286] ppid=11284 vsize=0 CPUtime=1544.12 cores=0,2,4,6
/proc/11286/stat : 11286 (minisat+) R 11284 11286 11128 0 -1 4204036 1063528 0 0 0 153939 473 0 0 20 0 1 0 321400055 0 0 33554432000 0 0 0 0 0 0 0 4096 16386 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11286/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1544.12
Current children cumulated vsize (KiB) 0

Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 1711.74
CPU time (s): 1544.17
CPU user time (s): 1539.4
CPU system time (s): 4.76827
CPU usage (%): 90.2105
Max. virtual memory (cumulated for all children) (KiB): 4189172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1539.4
system time used= 4.76828
maximum resident set size= 4186676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1063528
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= 1018583
involuntary context switches= 3250

runsolver used 3.18052 second user time and 8.98463 second system time

The end

Launcher Data 

Begin job on node118 at 2012-06-01 14:12:20
IDJOB=3721160
IDBENCH=1963
IDSOLVER=2306
FILE ID=node118/3721160-1338552739
RUNJOBID= node118-1338552574-11144
PBS_JOBID= 14635866
Free space on /tmp= 70976 MiB

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

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

MD5SUM BENCH= f8f4f876e372c51b5109e7995e83ce5e
RANDOM SEED=1428064095

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27794848 kB
Buffers:          455216 kB
Cached:          3707688 kB
SwapCached:            0 kB
Active:          1288368 kB
Inactive:        2941072 kB
Active(anon):      56784 kB
Inactive(anon):    11344 kB
Active(file):    1231584 kB
Inactive(file):  2929728 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             19016 kB
Writeback:             0 kB
AnonPages:         79292 kB
Mapped:            12156 kB
Shmem:               200 kB
Slab:             713192 kB
SReclaimable:     154712 kB
SUnreclaim:       558480 kB
KernelStack:        1472 kB
PageTables:         4120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     180232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     55296 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3721160-1338552739.opb

Free space on /tmp at the end= 66884 MiB
End job on node118 at 2012-06-01 14:40:51