Trace number 3722130

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.14? (TO) 1800.09 1800.51

General information on the benchmark

Name/OPT-BIGINT-LIN/heinz/
normalized-opm2-z12-s14.opb
MD5SUMf1849946ff16a8dbd3f6ed4bfe3f33be
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-44342
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables10800
Total number of constraints319508
Number of constraints which are clauses319500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint2
Maximum length of a constraint10798
Number of terms in the objective function 10733
Biggest coefficient in the objective function 575
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 1508059
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 3704832
Number of bits of the biggest number in a constraint 22
Biggest sum of numbers in a constraint 26039669
Number of bits of the biggest sum of numbers25
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Parsing PB file...
3.99/4.08	c Converting 319508 PB-constraints to clauses...
3.99/4.09	c   -- Unit propagations: (none)
3.99/4.10	c   -- Detecting intervals from adjacent constraints: (none)
4.09/4.10	c   -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
4.40/4.44	c ---[319507]---> Adder-cost: 104794   maxlim: 18362847   bits: 25/25
130.47/130.53	c ---[319506]---> Adder-cost: 105504   maxlim: 18318152   bits: 25/25
259.34/259.40	c ---[319505]---> Adder-cost: 105330   maxlim: 18402181   bits: 25/25
387.22/387.30	c ---[319504]---> Adder-cost: 105806   maxlim: 18246233   bits: 25/25
511.71/511.86	c ---[319503]---> Adder-cost: 104944   maxlim: 18578340   bits: 25/25
638.09/638.29	c ---[319502]---> Adder-cost: 105936   maxlim: 18630004   bits: 25/25
765.87/766.01	c ---[319501]---> Adder-cost: 104750   maxlim: 18233116   bits: 25/25
892.25/892.45	c ---[319500]---> Adder-cost: 105160   maxlim: 18324406   bits: 25/25
1021.33/1021.52	c ==================================[MINISAT+]==================================
1021.33/1021.52	c | Conflicts | Original         | Learnt                           | Progress |
1021.33/1021.52	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1021.33/1021.52	c ==============================================================================
1021.33/1021.52	c |         0 | 6214056 21691575 | 2071352       0        0     nan |  0.000 % |
1021.33/1021.58	c |       100 | 6214056 21691575 | 2278487     100      328     3.3 |  0.014 % |
1021.43/1021.60	c |       251 | 6214056 21691575 | 2506335     251      868     3.5 |  0.014 % |
1022.03/1022.26	c |       476 | 6214056 21691575 | 2756969     476     1644     3.5 |  0.014 % |
1026.73/1026.95	c |       813 | 6214056 21691575 | 3032666     813     3473     4.3 |  0.014 % |
1031.12/1031.33	c |      1319 | 6214056 21691575 | 3335933    1319     6528     4.9 |  0.014 % |
1041.43/1041.67	c |      2078 | 6214056 21691575 | 3669526    2078    12351     5.9 |  0.014 % |
1048.03/1048.23	c |      3217 | 6214056 21691575 | 4036479    3217    34970    10.9 |  0.014 % |
1069.82/1070.09	c |      4926 | 6214056 21691575 | 4440126    4926    48066     9.8 |  0.014 % |
1081.72/1081.90	c |      7490 | 6214056 21691575 | 4884139    7490   108955    14.5 |  0.014 % |
1155.00/1155.22	c |     11334 | 6214056 21691575 | 5372553   11334   262514    23.2 |  0.014 % |
1173.31/1173.54	c |     17100 | 6214056 21691575 | 5909808   17100   843868    49.3 |  0.014 % |
1233.46/1233.76	c |     25749 | 6214056 21691575 | 6500789   25749  1291156    50.1 |  0.014 % |
1305.80/1306.10	c |     38723 | 6214047 21691544 | 7150868   38711  2492885    64.4 |  0.015 % |
1414.46/1414.84	c |     58184 | 6214047 21691544 | 7865955   58172  7928974   136.3 |  0.015 % |
1552.45/1552.83	c |     87378 | 6214047 21691544 | 8652551   87366 15920761   182.2 |  0.015 % |
1582.04/1582.45	c |    131167 | 6214047 21691544 | 9517806  131155 19010046   144.9 |  0.015 % |
1800.08/1800.50	c 
1800.08/1800.50	c *** TERMINATED ***
1800.08/1800.50	s UNKNOWN

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-3722130-1338563080/watcher-3722130-1338563080 -o /tmp/evaluation-result-3722130-1338563080/solver-3722130-1338563080 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3722130-1338563080.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: 2.08 2.06 2.01 3/176 13349
/proc/meminfo: memFree=31018680/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=2120 CPUtime=0 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 347 0 0 0 0 0 0 0 20 0 1 0 322434076 2170880 305 33554432000 134512640 135395479 4293858208 4293857120 134615252 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 530 310 67 216 0 312 0

[startup+0.0119409 s]
/proc/loadavg: 2.08 2.06 2.01 3/176 13349
/proc/meminfo: memFree=31018680/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=2936 CPUtime=0.01 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 524 0 0 0 1 0 0 0 20 0 1 0 322434076 3006464 482 33554432000 134512640 135395479 4293858208 4293856992 134569966 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 734 482 67 216 0 516 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2936

[startup+0.10025 s]
/proc/loadavg: 2.08 2.06 2.01 3/176 13349
/proc/meminfo: memFree=31018680/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=5340 CPUtime=0.09 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 1329 0 0 0 9 0 0 0 20 0 1 0 322434076 5468160 1139 33554432000 134512640 135395479 4293858208 4293857040 134619188 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 1335 1139 74 216 0 1117 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5340

[startup+0.300229 s]
/proc/loadavg: 2.08 2.06 2.01 3/176 13349
/proc/meminfo: memFree=31018680/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=8024 CPUtime=0.29 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 2913 0 0 0 29 0 0 0 20 0 1 0 322434076 8216576 1792 33554432000 134512640 135395479 4293858208 4293856756 135005314 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 2006 1792 74 216 0 1788 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8024

[startup+0.700227 s]
/proc/loadavg: 2.08 2.06 2.01 3/176 13349
/proc/meminfo: memFree=31018680/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=10232 CPUtime=0.69 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 5028 0 0 0 69 0 0 0 20 0 1 0 322434076 10477568 2362 33554432000 134512640 135395479 4293858208 4293856756 135005282 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 2558 2362 74 216 0 2340 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10232

[startup+1.50022 s]
/proc/loadavg: 2.08 2.06 2.01 4/177 13350
/proc/meminfo: memFree=31005420/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=25148 CPUtime=1.49 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 8991 0 0 0 148 1 0 0 20 0 1 0 322434076 25751552 6071 33554432000 134512640 135395479 4293858208 4293857040 134618678 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 6287 6071 74 216 0 6069 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25148

[startup+3.10012 s]
/proc/loadavg: 2.08 2.06 2.01 4/177 13350
/proc/meminfo: memFree=30981488/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=59216 CPUtime=3.09 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 17443 0 0 0 305 4 0 0 20 0 1 0 322434076 60637184 14523 33554432000 134512640 135395479 4293858208 4293857040 134618678 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 14804 14523 74 216 0 14586 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 59216

[startup+6.30023 s]
/proc/loadavg: 2.07 2.06 2.01 4/177 13350
/proc/meminfo: memFree=30900308/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=118584 CPUtime=6.29 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 33530 0 0 0 609 20 0 0 20 0 1 0 322434076 121430016 29158 33554432000 134512640 135395479 4293858208 4293854140 134838470 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 29646 29158 91 216 0 29428 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 118584

[startup+12.7002 s]
/proc/loadavg: 2.14 2.07 2.02 4/177 13350
/proc/meminfo: memFree=30899580/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=118584 CPUtime=12.69 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 33530 0 0 0 1249 20 0 0 20 0 1 0 322434076 121430016 29158 33554432000 134512640 135395479 4293858208 4293853920 134679954 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 29646 29158 91 216 0 29428 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 118584

[startup+25.5001 s]
/proc/loadavg: 2.11 2.07 2.01 4/177 13350
/proc/meminfo: memFree=30898868/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=118584 CPUtime=25.48 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 33530 0 0 0 2528 20 0 0 20 0 1 0 322434076 121430016 29158 33554432000 134512640 135395479 4293858208 4293854540 135005875 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 29646 29158 91 216 0 29428 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 118584

[startup+51.1002 s]
/proc/loadavg: 2.07 2.06 2.01 4/177 13350
/proc/meminfo: memFree=30896760/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=118584 CPUtime=51.08 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 33530 0 0 0 5088 20 0 0 20 0 1 0 322434076 121430016 29158 33554432000 134512640 135395479 4293858208 4293854844 135005853 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 29646 29158 91 216 0 29428 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 118584

[startup+102.306 s]
/proc/loadavg: 2.10 2.07 2.01 4/177 13350
/proc/meminfo: memFree=30891508/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=118584 CPUtime=102.28 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 33530 0 0 0 10208 20 0 0 20 0 1 0 322434076 121430016 29164 33554432000 134512640 135395479 4293858208 4293855840 134680189 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 29646 29164 91 216 0 29428 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 118584

[startup+162.3 s]
/proc/loadavg: 2.03 2.05 2.01 4/177 13350
/proc/meminfo: memFree=30825868/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=185064 CPUtime=162.26 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 46463 0 0 0 16203 23 0 0 20 0 1 0 322434076 189505536 44223 33554432000 134512640 135395479 4293858208 4293854672 135012112 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 46266 44223 107 216 0 46048 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 185064

[startup+222.3 s]
/proc/loadavg: 2.01 2.04 2.00 4/177 13351
/proc/meminfo: memFree=30822256/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=184976 CPUtime=222.25 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 46496 0 0 0 22202 23 0 0 20 0 1 0 322434076 189415424 44201 33554432000 134512640 135395479 4293858208 4293854964 135005290 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 46244 44201 107 216 0 46026 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 184976

[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/177 13351
/proc/meminfo: memFree=30816416/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=186544 CPUtime=282.24 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 49931 0 0 0 28200 24 0 0 20 0 1 0 322434076 191021056 44593 33554432000 134512640 135395479 4293858208 4293855488 135005352 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 46636 44593 107 216 0 46418 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 186544

[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/178 13354
/proc/meminfo: memFree=30812708/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=186544 CPUtime=342.23 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 50006 0 0 0 34199 24 0 0 20 0 1 0 322434076 191021056 44593 33554432000 134512640 135395479 4293858208 4293854340 135003874 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 46636 44593 107 216 0 46418 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 186544

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/177 13354
/proc/meminfo: memFree=30804720/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=189164 CPUtime=402.23 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 53554 0 0 0 40197 26 0 0 20 0 1 0 322434076 193703936 45760 33554432000 134512640 135395479 4293858208 4293853888 135005894 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 47291 45760 107 216 0 47073 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 189164

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 13354
/proc/meminfo: memFree=30800364/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=189116 CPUtime=462.22 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 53610 0 0 0 46196 26 0 0 20 0 1 0 322434076 193654784 45748 33554432000 134512640 135395479 4293858208 4293854596 135003883 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 47279 45748 107 216 0 47061 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 189116

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 13355
/proc/meminfo: memFree=30794100/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=190880 CPUtime=522.21 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 56934 0 0 0 52194 27 0 0 20 0 1 0 322434076 195461120 46701 33554432000 134512640 135395479 4293858208 4293854736 134679836 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 47720 46701 107 216 0 47502 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 190880

[startup+582.3 s]
/proc/loadavg: 2.07 2.02 2.00 4/177 13355
/proc/meminfo: memFree=30790540/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=190880 CPUtime=582.2 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 57012 0 0 0 58193 27 0 0 20 0 1 0 322434076 195461120 46701 33554432000 134512640 135395479 4293858208 4293855264 134530472 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 47720 46701 107 216 0 47502 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 190880

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 13356
/proc/meminfo: memFree=30768868/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=201356 CPUtime=882.15 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 63651 0 0 0 88187 28 0 0 20 0 1 0 322434076 206188544 49832 33554432000 134512640 135395479 4293858208 4293855240 134809086 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 50339 49832 107 216 0 50121 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 201356

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 13359
/proc/meminfo: memFree=30768460/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=201356 CPUtime=942.14 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 65335 0 0 0 94185 29 0 0 20 0 1 0 322434076 206188544 49832 33554432000 134512640 135395479 4293858208 4293855644 135006133 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 50339 49832 107 216 0 50121 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 201356

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 13359
/proc/meminfo: memFree=30767776/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=201356 CPUtime=1002.13 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 65337 0 0 0 100184 29 0 0 20 0 1 0 322434076 206188544 49832 33554432000 134512640 135395479 4293858208 4293854964 135005356 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 50339 49832 107 216 0 50121 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 201356

[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 2.00 4/177 13359
/proc/meminfo: memFree=30475740/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=527224 CPUtime=1062.13 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 133421 0 0 0 106169 44 0 0 20 0 1 0 322434076 539877376 123026 33554432000 134512640 135395479 4293858208 4293856528 134572728 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 131806 123026 123 216 0 131588 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 527224

[startup+1122.3 s]
/proc/loadavg: 2.08 2.02 2.00 4/177 13360
/proc/meminfo: memFree=30467928/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=534616 CPUtime=1122.11 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 135275 0 0 0 112166 45 0 0 20 0 1 0 322434076 547446784 124880 33554432000 134512640 135395479 4293858208 4293856560 134580732 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 133654 124880 123 216 0 133436 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 534616

[startup+1182.3 s]
/proc/loadavg: 2.09 2.03 2.00 4/177 13360
/proc/meminfo: memFree=30462468/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=540156 CPUtime=1182.1 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 136651 0 0 0 118164 46 0 0 20 0 1 0 322434076 553119744 126254 33554432000 134512640 135395479 4293858208 4293856560 134581451 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 135039 126254 123 216 0 134821 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 540156

[startup+1242.3 s]
/proc/loadavg: 2.03 2.02 2.00 4/177 13360
/proc/meminfo: memFree=30458776/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=543660 CPUtime=1242.05 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 137589 0 0 0 124159 46 0 0 20 0 1 0 322434076 556707840 127144 33554432000 134512640 135395479 4293858208 4293856560 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 135915 127144 123 216 0 135697 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 543660

[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 4/178 13361
/proc/meminfo: memFree=30453344/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=548832 CPUtime=1302.01 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 138910 0 0 0 130154 47 0 0 20 0 1 0 322434076 562003968 128418 33554432000 134512640 135395479 4293858208 4293856528 134572751 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 137208 128418 123 216 0 136990 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 548832

[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 2.00 4/177 13361
/proc/meminfo: memFree=30442732/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=559204 CPUtime=1361.98 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 141516 0 0 0 136149 49 0 0 20 0 1 0 322434076 572624896 131107 33554432000 134512640 135395479 4293858208 4293856512 134580372 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 139801 131107 123 216 0 139583 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 559204

[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 4/177 13362
/proc/meminfo: memFree=30427344/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=572628 CPUtime=1421.97 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 144897 0 0 0 142147 50 0 0 20 0 1 0 322434076 586371072 134885 33554432000 134512640 135395479 4293858208 4293856560 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 143157 134885 123 216 0 142939 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 572628

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/177 13362
/proc/meminfo: memFree=30422632/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=577892 CPUtime=1481.96 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 146182 0 0 0 148145 51 0 0 20 0 1 0 322434076 591761408 136170 33554432000 134512640 135395479 4293858208 4293856528 134572776 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 144473 136170 123 216 0 144255 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 577892

[startup+1542.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/178 13510
/proc/meminfo: memFree=30537360/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=599652 CPUtime=1541.95 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 151664 0 0 0 154141 54 0 0 20 0 1 0 322434076 614043648 141652 33554432000 134512640 135395479 4293858208 4293856560 134581036 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 149913 141652 123 216 0 149695 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 599652

[startup+1602.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/177 13654
/proc/meminfo: memFree=30467928/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=622428 CPUtime=1601.94 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 157329 0 0 0 160137 57 0 0 20 0 1 0 322434076 637366272 147317 33554432000 134512640 135395479 4293858208 4293856528 134572728 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 155607 147317 123 216 0 155389 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 622428

[startup+1662.3 s]
/proc/loadavg: 2.18 2.07 2.02 3/177 13654
/proc/meminfo: memFree=30395888/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=643280 CPUtime=1661.92 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 162480 0 0 0 166133 59 0 0 20 0 1 0 322434076 658718720 152468 33554432000 134512640 135395479 4293858208 4293856080 134574480 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 160820 152468 123 216 0 160602 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 643280

[startup+1722.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/177 13655
/proc/meminfo: memFree=30324340/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=663792 CPUtime=1721.92 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 167618 0 0 0 172129 63 0 0 20 0 1 0 322434076 679723008 157604 33554432000 134512640 135395479 4293858208 4293856560 134581183 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 165948 157604 123 216 0 165730 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 663792

[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 13655
/proc/meminfo: memFree=30259764/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=685828 CPUtime=1781.88 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 173198 0 0 0 178123 65 0 0 20 0 1 0 322434076 702287872 163164 33554432000 134512640 135395479 4293858208 4293856544 134581229 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 171457 163164 123 216 0 171239 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 685828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 13655
/proc/meminfo: memFree=30246216/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=690696 CPUtime=1800.08 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 174411 0 0 0 179942 66 0 0 20 0 1 0 322434076 707272704 164365 33554432000 134512640 135395479 4293858208 4293856560 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 172674 164365 123 216 0 172456 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 690696

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

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

[startup+1800.5 s]
/proc/loadavg: 2.02 2.04 2.00 3/177 13655
/proc/meminfo: memFree=30246216/32873648 swapFree=7628/7628
[pid=13349] ppid=13347 vsize=690696 CPUtime=1800.08 cores=0,2,4,6
/proc/13349/stat : 13349 (minisat+) R 13347 13349 12108 0 -1 4202496 174411 0 0 0 179942 66 0 0 20 0 1 0 322434076 707272704 164365 33554432000 134512640 135395479 4293858208 4293856560 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/13349/statm: 172674 164365 123 216 0 172456 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 690696

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1799.43
CPU system time (s): 0.665898
CPU usage (%): 99.9769
Max. virtual memory (cumulated for all children) (KiB): 690696

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 0.665898
maximum resident set size= 657464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174412
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= 185
involuntary context switches= 2013

runsolver used 3.23351 second user time and 8.88365 second system time

The end

Launcher Data 

Begin job on node122 at 2012-06-01 17:04:41
IDJOB=3722130
IDBENCH=89886
IDSOLVER=2306
FILE ID=node122/3722130-1338563080
RUNJOBID= node122-1338552605-12124
PBS_JOBID= 14635893
Free space on /tmp= 71304 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-opm2-z12-s14.opb
COMMAND LINE= HOME/minisat+ BENCHNAME            
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3722130-1338563080/watcher-3722130-1338563080 -o /tmp/evaluation-result-3722130-1338563080/solver-3722130-1338563080 -C 1800 -W 1900 -M 15500  HOME/minisat+ HOME/instance-3722130-1338563080.opb            

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

MD5SUM BENCH= f1849946ff16a8dbd3f6ed4bfe3f33be
RANDOM SEED=1737188861

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        31019380 kB
Buffers:           79092 kB
Cached:           903236 kB
SwapCached:         1824 kB
Active:           261552 kB
Inactive:         841332 kB
Active(anon):     121216 kB
Inactive(anon):     1928 kB
Active(file):     140336 kB
Inactive(file):   839404 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67100084 kB
Dirty:             11256 kB
Writeback:             0 kB
AnonPages:        126520 kB
Mapped:             9340 kB
Shmem:                 0 kB
Slab:             614996 kB
SReclaimable:      59148 kB
SUnreclaim:       555848 kB
KernelStack:        1440 kB
PageTables:         4328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     244900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     83968 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3722130-1338563080.opb

Free space on /tmp at the end= 71300 MiB
End job on node122 at 2012-06-01 17:34:43