Trace number 3722138

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.07 1800.52

General information on the benchmark

Name/OPT-BIGINT-LIN/heinz/
normalized-opm2-z12-s7.opb
MD5SUMf90862d191ee74c723e0b8b51b7e0fa9
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-43894
Best CPU time to get the best result obtained on this benchmark1800.08
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 constraint10800
Number of terms in the objective function 10742
Biggest coefficient in the objective function 574
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 1510061
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 26061465
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...
4.19/4.21	c Converting 319508 PB-constraints to clauses...
4.29/4.33	c   -- Unit propagations: (none)
4.29/4.33	c   -- Detecting intervals from adjacent constraints: (none)
4.29/4.33	c   -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
4.56/4.61	c ---[319507]---> Adder-cost: 105864   maxlim: 18583209   bits: 25/25
133.63/133.74	c ---[319506]---> Adder-cost: 104788   maxlim: 18357225   bits: 25/25
259.91/260.04	c ---[319505]---> Adder-cost: 105266   maxlim: 18141288   bits: 25/25
386.50/386.63	c ---[319504]---> Adder-cost: 104900   maxlim: 18449277   bits: 25/25
510.67/510.81	c ---[319503]---> Adder-cost: 104902   maxlim: 18651800   bits: 25/25
639.35/639.51	c ---[319502]---> Adder-cost: 103100   maxlim: 18340279   bits: 25/25
766.34/766.59	c ---[319501]---> Adder-cost: 102524   maxlim: 18281062   bits: 25/25
893.21/893.42	c ---[319500]---> Adder-cost: 105278   maxlim: 18480944   bits: 25/25
1022.40/1022.62	c ==================================[MINISAT+]==================================
1022.40/1022.62	c | Conflicts | Original         | Learnt                           | Progress |
1022.40/1022.62	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1022.40/1022.62	c ==============================================================================
1022.40/1022.62	c |         0 | 6174847 21551571 | 2058282       0        0     nan |  0.000 % |
1022.40/1022.66	c |       100 | 6174847 21551571 | 2264110     100      328     3.3 |  0.015 % |
1022.40/1022.67	c |       250 | 6174847 21551571 | 2490521     250      955     3.8 |  0.015 % |
1022.50/1022.71	c |       476 | 6174847 21551571 | 2739573     476     1724     3.6 |  0.015 % |
1022.60/1022.82	c |       813 | 6174847 21551571 | 3013530     813     2934     3.6 |  0.015 % |
1027.10/1027.38	c |      1320 | 6174847 21551571 | 3314883    1320     5875     4.5 |  0.015 % |
1040.59/1040.80	c |      2079 | 6174847 21551571 | 3646372    2079    11603     5.6 |  0.015 % |
1059.69/1059.97	c |      3218 | 6174847 21551571 | 4011009    3218    19816     6.2 |  0.015 % |
1078.89/1079.15	c |      4926 | 6174847 21551571 | 4412110    4926    40122     8.1 |  0.015 % |
1108.49/1108.79	c |      7488 | 6174847 21551571 | 4853321    7488    94314    12.6 |  0.015 % |
1116.38/1116.68	c |     11332 | 6174847 21551571 | 5338653   11332   207953    18.4 |  0.015 % |
1173.77/1174.08	c |     17098 | 6174847 21551571 | 5872518   17098   352193    20.6 |  0.015 % |
1222.26/1222.57	c |     25747 | 6174847 21551571 | 6459770   25747   679186    26.4 |  0.015 % |
1246.56/1246.83	c |     38723 | 6174847 21551571 | 7105747   38723  1853208    47.9 |  0.015 % |
1353.04/1353.31	c |     58184 | 6174847 21551571 | 7816322   58184  7136640   122.7 |  0.015 % |
1371.52/1371.85	c |     87380 | 6174847 21551571 | 8597954   87380 12216110   139.8 |  0.015 % |
1596.57/1597.00	c |    131169 | 6174847 21551571 | 9457750  131169 32263621   246.0 |  0.015 % |
1800.06/1800.50	c 
1800.06/1800.50	c *** TERMINATED ***
1800.06/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-3722138-1338563198/watcher-3722138-1338563198 -o /tmp/evaluation-result-3722138-1338563198/solver-3722138-1338563198 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3722138-1338563198.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: 4.48 2.94 2.33 3/179 27033
/proc/meminfo: memFree=28909740/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=1984 CPUtime=0 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 333 0 0 0 0 0 0 0 20 0 1 0 322444635 2031616 290 33554432000 134512640 135395479 4293503616 4293502412 135005831 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/27033/statm: 496 290 67 216 0 278 0

[startup+0.0630259 s]
/proc/loadavg: 4.48 2.94 2.33 3/179 27033
/proc/meminfo: memFree=28909740/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=6000 CPUtime=0.05 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 1328 0 0 0 5 0 0 0 20 0 1 0 322444635 6144000 1285 33554432000 134512640 135395479 4293503616 4293498140 134808936 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/27033/statm: 1500 1285 72 216 0 1282 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 6000

[startup+0.100213 s]
/proc/loadavg: 4.48 2.94 2.33 3/179 27033
/proc/meminfo: memFree=28909740/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=6000 CPUtime=0.09 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 1329 0 0 0 9 0 0 0 20 0 1 0 322444635 6144000 1286 33554432000 134512640 135395479 4293503616 4293502044 135005838 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/27033/statm: 1500 1286 73 216 0 1282 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6000

[startup+0.300156 s]
/proc/loadavg: 4.48 2.94 2.33 3/179 27033
/proc/meminfo: memFree=28909740/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=5844 CPUtime=0.29 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 2387 0 0 0 29 0 0 0 20 0 1 0 322444635 5984256 1265 33554432000 134512640 135395479 4293503616 4293502492 134838067 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/27033/statm: 1461 1265 74 216 0 1243 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5844

[startup+0.700156 s]
/proc/loadavg: 4.48 2.94 2.33 3/179 27033
/proc/meminfo: memFree=28909740/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=10724 CPUtime=0.69 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 5029 0 0 0 69 0 0 0 20 0 1 0 322444635 10981376 2468 33554432000 134512640 135395479 4293503616 4293501360 134651584 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/27033/statm: 2681 2468 74 216 0 2463 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10724

[startup+1.50019 s]
/proc/loadavg: 4.48 2.94 2.33 3/180 27034
/proc/meminfo: memFree=28897100/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=24192 CPUtime=1.49 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 8745 0 0 0 148 1 0 0 20 0 1 0 322444635 24772608 5824 33554432000 134512640 135395479 4293503616 4293502564 135003247 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/27033/statm: 6048 5824 74 216 0 5830 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 24192

[startup+3.10018 s]
/proc/loadavg: 4.48 2.94 2.33 3/180 27034
/proc/meminfo: memFree=28873920/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=57300 CPUtime=3.09 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 16930 0 0 0 307 2 0 0 20 0 1 0 322444635 58675200 14009 33554432000 134512640 135395479 4293503616 4293502536 135031278 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/27033/statm: 14325 14010 74 216 0 14107 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 57300

[startup+6.3002 s]
/proc/loadavg: 4.29 2.92 2.33 3/180 27034
/proc/meminfo: memFree=28793456/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=118964 CPUtime=6.27 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 34148 0 0 0 609 18 0 0 20 0 1 0 322444635 121819136 29264 33554432000 134512640 135395479 4293503616 4293499556 135005282 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/27033/statm: 29741 29264 91 216 0 29523 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 118964

[startup+12.7002 s]
/proc/loadavg: 4.10 2.90 2.33 3/180 27034
/proc/meminfo: memFree=28792712/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=118964 CPUtime=12.67 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 34148 0 0 0 1249 18 0 0 20 0 1 0 322444635 121819136 29264 33554432000 134512640 135395479 4293503616 4293499132 135005888 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/27033/statm: 29741 29264 91 216 0 29523 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 118964

[startup+25.5002 s]
/proc/loadavg: 3.64 2.86 2.32 3/180 27034
/proc/meminfo: memFree=28791016/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=118964 CPUtime=25.46 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 34148 0 0 0 2528 18 0 0 20 0 1 0 322444635 121819136 29264 33554432000 134512640 135395479 4293503616 4293499868 134649234 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/27033/statm: 29741 29264 91 216 0 29523 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 118964

[startup+51.1002 s]
/proc/loadavg: 3.08 2.79 2.31 3/180 27034
/proc/meminfo: memFree=28784396/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=118964 CPUtime=51.06 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 34148 0 0 0 5088 18 0 0 20 0 1 0 322444635 121819136 29264 33554432000 134512640 135395479 4293503616 4293500576 134811971 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/27033/statm: 29741 29264 91 216 0 29523 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 118964

[startup+102.306 s]
/proc/loadavg: 2.47 2.66 2.29 3/180 27084
/proc/meminfo: memFree=28874684/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=118964 CPUtime=102.25 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 34148 0 0 0 10207 18 0 0 20 0 1 0 322444635 121819136 29270 33554432000 134512640 135395479 4293503616 4293500608 135003216 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27033/statm: 29741 29270 91 216 0 29523 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 118964

[startup+162.3 s]
/proc/loadavg: 2.17 2.54 2.27 3/179 27084
/proc/meminfo: memFree=28806740/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=191660 CPUtime=162.23 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 46939 0 0 0 16202 21 0 0 20 0 1 0 322444635 196259840 45735 33554432000 134512640 135395479 4293503616 4293500632 135012160 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27033/statm: 47915 45735 107 216 0 47697 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 191660

[startup+222.3 s]
/proc/loadavg: 2.06 2.44 2.25 3/180 27088
/proc/meminfo: memFree=28804420/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=191660 CPUtime=222.22 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 46939 0 0 0 22201 21 0 0 20 0 1 0 322444635 196259840 45735 33554432000 134512640 135395479 4293503616 4293499840 134834160 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27033/statm: 47915 45735 107 216 0 47697 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 191660

[startup+282.3 s]
/proc/loadavg: 2.02 2.36 2.23 3/179 27088
/proc/meminfo: memFree=28798700/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=190716 CPUtime=282.21 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 48785 0 0 0 28199 22 0 0 20 0 1 0 322444635 195293184 46013 33554432000 134512640 135395479 4293503616 4293500288 134812149 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27033/statm: 47679 46013 107 216 0 47461 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 190716

[startup+342.3 s]
/proc/loadavg: 2.01 2.29 2.22 3/179 27088
/proc/meminfo: memFree=28796096/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=190716 CPUtime=342.2 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 48785 0 0 0 34198 22 0 0 20 0 1 0 322444635 195293184 46013 33554432000 134512640 135395479 4293503616 4293500132 134649152 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27033/statm: 47679 46013 107 216 0 47461 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 190716

[startup+402.3 s]
/proc/loadavg: 2.04 2.25 2.20 3/179 27088
/proc/meminfo: memFree=28791996/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=190716 CPUtime=402.19 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 51170 0 0 0 40197 22 0 0 20 0 1 0 322444635 195293184 46013 33554432000 134512640 135395479 4293503616 4293500016 134812136 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27033/statm: 47679 46013 107 216 0 47461 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 190716

[startup+462.3 s]
/proc/loadavg: 2.05 2.21 2.19 3/178 27088
/proc/meminfo: memFree=28785308/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=190716 CPUtime=462.18 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 51170 0 0 0 46196 22 0 0 20 0 1 0 322444635 195293184 46013 33554432000 134512640 135395479 4293503616 4293500076 134838067 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27033/statm: 47679 46013 107 216 0 47461 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 190716

[startup+522.3 s]
/proc/loadavg: 2.02 2.17 2.18 3/179 27090
/proc/meminfo: memFree=28422012/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=191304 CPUtime=522.17 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 54493 0 0 0 52194 23 0 0 20 0 1 0 322444635 195895296 46672 33554432000 134512640 135395479 4293503616 4293500088 135012160 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27033/statm: 47826 46672 107 216 0 47608 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 191304

[startup+582.3 s]
/proc/loadavg: 2.00 2.14 2.16 3/179 27090
/proc/meminfo: memFree=28418588/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=191304 CPUtime=582.16 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 54493 0 0 0 58193 23 0 0 20 0 1 0 322444635 195895296 46672 33554432000 134512640 135395479 4293503616 4293500524 135005797 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27033/statm: 47826 46672 107 216 0 47608 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 191304

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.05 2.06 2.11 3/179 27094
/proc/meminfo: memFree=28393412/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=195528 CPUtime=882.12 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 61839 0 0 0 88187 25 0 0 20 0 1 0 322444635 200220672 48240 33554432000 134512640 135395479 4293503616 4293500380 135012072 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27033/statm: 48882 48240 107 216 0 48664 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 195528

[startup+942.3 s]
/proc/loadavg: 2.02 2.05 2.10 3/179 27094
/proc/meminfo: memFree=28375168/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=216604 CPUtime=942.11 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 67091 0 0 0 94185 26 0 0 20 0 1 0 322444635 221802496 51073 33554432000 134512640 135395479 4293503616 4293500916 135005356 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27033/statm: 54151 51073 107 216 0 53933 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 216604

[startup+1002.3 s]
/proc/loadavg: 2.00 2.03 2.09 3/179 27094
/proc/meminfo: memFree=28370456/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=216604 CPUtime=1002.1 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 67091 0 0 0 100184 26 0 0 20 0 1 0 322444635 221802496 51073 33554432000 134512640 135395479 4293503616 4293500636 134839070 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27033/statm: 54151 51073 107 216 0 53933 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 216604

[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.08 3/179 27094
/proc/meminfo: memFree=28073144/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=527548 CPUtime=1062.08 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 133841 0 0 0 106169 39 0 0 20 0 1 0 322444635 540209152 123357 33554432000 134512640 135395479 4293503616 4293501720 135007481 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27033/statm: 131887 123357 123 216 0 131669 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 527548

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.08 3/179 27095
/proc/meminfo: memFree=28051364/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=537976 CPUtime=1122.08 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 136531 0 0 0 112167 41 0 0 20 0 1 0 322444635 550887424 126047 33554432000 134512640 135395479 4293503616 4293501968 134580732 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27033/statm: 134494 126047 123 216 0 134276 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 537976

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.07 3/179 27095
/proc/meminfo: memFree=28043404/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=541044 CPUtime=1182.07 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 137280 0 0 0 118165 42 0 0 20 0 1 0 322444635 554029056 126796 33554432000 134512640 135395479 4293503616 4293501968 134580840 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27033/statm: 135261 126796 123 216 0 135043 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 541044

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.07 3/179 27095
/proc/meminfo: memFree=28032244/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=544376 CPUtime=1242.06 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 138189 0 0 0 124163 43 0 0 20 0 1 0 322444635 557441024 127705 33554432000 134512640 135395479 4293503616 4293501968 134581412 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27033/statm: 136094 127705 123 216 0 135876 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 544376

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/179 27095
/proc/meminfo: memFree=28011596/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=558976 CPUtime=1302.06 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 141873 0 0 0 130161 45 0 0 20 0 1 0 322444635 572391424 131389 33554432000 134512640 135395479 4293503616 4293501584 134576199 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27033/statm: 139744 131389 123 216 0 139526 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 558976

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/179 27095
/proc/meminfo: memFree=27981196/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=582124 CPUtime=1362.04 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 147659 0 0 0 136157 47 0 0 20 0 1 0 322444635 596094976 137168 33554432000 134512640 135395479 4293503616 4293501516 135007481 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27033/statm: 145531 137168 123 216 0 145313 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 582124

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.05 3/180 27099
/proc/meminfo: memFree=27946744/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=610036 CPUtime=1421.99 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 154635 0 0 0 142148 51 0 0 20 0 1 0 322444635 624676864 144096 33554432000 134512640 135395479 4293503616 4293501968 134580888 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27033/statm: 152509 144096 123 216 0 152291 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 610036

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/179 27099
/proc/meminfo: memFree=27928924/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=622832 CPUtime=1481.93 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 157921 0 0 0 148140 53 0 0 20 0 1 0 322444635 637779968 147339 33554432000 134512640 135395479 4293503616 4293501968 134580840 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27033/statm: 155708 147339 123 216 0 155490 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 622832

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/179 27099
/proc/meminfo: memFree=27895968/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=646948 CPUtime=1541.9 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 163999 0 0 0 154134 56 0 0 20 0 1 0 322444635 662474752 153381 33554432000 134512640 135395479 4293503616 4293501936 134572776 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27033/statm: 161737 153381 123 216 0 161519 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 646948

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/179 27099
/proc/meminfo: memFree=27860000/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=673848 CPUtime=1601.87 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 170755 0 0 0 160128 59 0 0 20 0 1 0 322444635 690020352 160684 33554432000 134512640 135395479 4293503616 4293501968 134581095 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27033/statm: 168462 160684 123 216 0 168244 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 673848

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/179 27099
/proc/meminfo: memFree=27837552/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=691032 CPUtime=1661.87 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 174991 0 0 0 166125 62 0 0 20 0 1 0 322444635 707616768 165196 33554432000 134512640 135395479 4293503616 4293501488 134575370 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27033/statm: 172758 165196 123 216 0 172540 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 691032

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/180 27101
/proc/meminfo: memFree=27808776/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=712692 CPUtime=1721.86 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 180404 0 0 0 172122 64 0 0 20 0 1 0 322444635 729796608 170609 33554432000 134512640 135395479 4293503616 4293501968 134580768 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27033/statm: 178173 170609 123 216 0 177955 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 712692

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/179 27101
/proc/meminfo: memFree=27770096/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=742640 CPUtime=1781.85 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 187925 0 0 0 178118 67 0 0 20 0 1 0 322444635 760463360 178130 33554432000 134512640 135395479 4293503616 4293501968 134581183 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27033/statm: 185660 178130 123 216 0 185442 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 742640



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.02 4/179 27101
/proc/meminfo: memFree=27759184/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=751508 CPUtime=1800.06 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 190120 0 0 0 179938 68 0 0 20 0 1 0 322444635 769544192 180325 33554432000 134512640 135395479 4293503616 4293501968 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27033/statm: 187877 180325 123 216 0 187659 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 751508

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.00 2.00 2.02 4/179 27101
/proc/meminfo: memFree=27759184/32873844 swapFree=7380/7380
[pid=27033] ppid=27031 vsize=751508 CPUtime=1800.06 cores=0,2,4,6
/proc/27033/stat : 27033 (minisat+) R 27031 27033 25790 0 -1 4202496 190120 0 0 0 179938 68 0 0 20 0 1 0 322444635 769544192 180325 33554432000 134512640 135395479 4293503616 4293501968 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/27033/statm: 187877 180325 123 216 0 187659 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 751508

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.07
CPU user time (s): 1799.38
CPU system time (s): 0.691894
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 751508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.691894
maximum resident set size= 721304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 190121
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= 174
involuntary context switches= 1956

runsolver used 3.3115 second user time and 9.08362 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-01 17:06:38
IDJOB=3722138
IDBENCH=89894
IDSOLVER=2306
FILE ID=node133/3722138-1338563198
RUNJOBID= node133-1338552574-25806
PBS_JOBID= 14635851
Free space on /tmp= 70472 MiB

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

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

MD5SUM BENCH= f90862d191ee74c723e0b8b51b7e0fa9
RANDOM SEED=1265395857

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
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.540
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.540
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
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.540
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.540
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:       32873844 kB
MemFree:        28910160 kB
Buffers:          322856 kB
Cached:          2559644 kB
SwapCached:          676 kB
Active:          1490044 kB
Inactive:        1598144 kB
Active(anon):     197492 kB
Inactive(anon):    10240 kB
Active(file):    1292552 kB
Inactive(file):  1587904 kB
Unevictable:        7380 kB
Mlocked:            7380 kB
SwapTotal:      67108856 kB
SwapFree:       67107040 kB
Dirty:             15960 kB
Writeback:             0 kB
AnonPages:        211840 kB
Mapped:            10804 kB
Shmem:                 0 kB
Slab:             734564 kB
SReclaimable:     175968 kB
SUnreclaim:       558596 kB
KernelStack:        1464 kB
PageTables:         4372 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     338656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     10240 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3722138-1338563198.opb

Free space on /tmp at the end= 70468 MiB
End job on node133 at 2012-06-01 17:36:41