Trace number 3723147

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
PB12: minisatp 1.0-2-g022594c? (TO) 1800.09 1800.62

General information on the benchmark

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

Solver Data

0.00/0.00	c Parsing PB file...
0.00/0.41	c Converting 319508 PB-constraints to clauses...
0.00/0.42	c   -- Unit propagations: (none)
0.00/0.42	c   -- Detecting intervals from adjacent constraints: (none)
0.00/0.43	c   -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.00/0.71	c ---[319507]---> Adder-cost: 104794   maxlim: 18362847   bits: 25/25
7.18/7.25	c ---[319506]---> Adder-cost: 105504   maxlim: 18318152   bits: 25/25
13.48/13.57	c ---[319505]---> Adder-cost: 105330   maxlim: 18402181   bits: 25/25
19.79/19.82	c ---[319504]---> Adder-cost: 105806   maxlim: 18246233   bits: 25/25
25.88/25.92	c ---[319503]---> Adder-cost: 104944   maxlim: 18578340   bits: 25/25
31.98/32.07	c ---[319502]---> Adder-cost: 105936   maxlim: 18630004   bits: 25/25
37.97/38.06	c ---[319501]---> Adder-cost: 104750   maxlim: 18233116   bits: 25/25
43.88/43.97	c ---[319500]---> Adder-cost: 105160   maxlim: 18324406   bits: 25/25
51.68/51.74	c ==================================[MINISAT+]==================================
51.68/51.74	c | Conflicts | Original         | Learnt                           | Progress |
51.68/51.74	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
51.68/51.74	c ==============================================================================
51.68/51.74	c |         0 | 6214056 21691575 | 2071352       0        0    -nan |  0.000 % |
51.77/51.81	c |       100 | 6214056 21691575 | 2278487     100      328     3.3 |  0.014 % |
51.77/51.83	c |       251 | 6214056 21691575 | 2506335     251      868     3.5 |  0.014 % |
52.37/52.49	c |       476 | 6214056 21691575 | 2756969     476     1644     3.5 |  0.014 % |
56.87/56.98	c |       813 | 6214056 21691575 | 3032666     813     3473     4.3 |  0.014 % |
60.97/61.07	c |      1319 | 6214056 21691575 | 3335933    1319     6528     4.9 |  0.014 % |
70.57/70.67	c |      2078 | 6214056 21691575 | 3669526    2078    12351     5.9 |  0.014 % |
76.77/76.86	c |      3217 | 6214056 21691575 | 4036479    3217    34970    10.9 |  0.014 % |
95.36/95.42	c |      4925 | 6214056 21691575 | 4440126    4925    47697     9.7 |  0.014 % |
123.35/123.45	c |      7487 | 6214056 21691575 | 4884139    7487    76443    10.2 |  0.014 % |
148.13/148.26	c |     11332 | 6214056 21691575 | 5372553   11332  1790387   158.0 |  0.014 % |
197.22/197.39	c |     17098 | 6214047 21691544 | 5909808   17091  5982365   350.0 |  0.015 % |
258.19/258.36	c |     25750 | 6214047 21691544 | 6500789   25743 16406940   637.3 |  0.015 % |
318.26/318.45	c |     38724 | 6214047 21691544 | 7150868   38717 28559022   737.6 |  0.015 % |
378.33/378.56	c |     58185 | 6214047 21691544 | 7865955   58178 30269870   520.3 |  0.015 % |
547.46/547.71	c |     87379 | 6214047 21691544 | 8652551   87372 39375520   450.7 |  0.015 % |
626.93/627.24	c |    131168 | 6214047 21691544 | 9517806  131161 43434530   331.2 |  0.015 % |
848.91/849.24	c |    196852 | 6214047 21691544 | 10469587  196845 56549795   287.3 |  0.015 % |
1182.06/1182.49	c |    295379 | 6214047 21691544 | 11516545  295372 116533518   394.5 |  0.015 % |
1361.39/1361.89	c |    443168 | 6214047 21691544 | 12668200  443161 154051177   347.6 |  0.015 % |
1800.09/1800.61	c 
1800.09/1800.61	c *** TERMINATED ***
1800.09/1800.61	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-3723147-1338578188/watcher-3723147-1338578188 -o /tmp/evaluation-result-3723147-1338578188/solver-3723147-1338578188 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723147-1338578188.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 19771
/proc/meminfo: memFree=29680872/32873844 swapFree=7372/7372
[pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19771/statm: 2287 277 236 213 0 72 0

[startup+0.0829201 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 19771
/proc/meminfo: memFree=29680872/32873844 swapFree=7372/7372
[pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19771/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100276 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 19771
/proc/meminfo: memFree=29680872/32873844 swapFree=7372/7372
[pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19771/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300231 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 19771
/proc/meminfo: memFree=29680872/32873844 swapFree=7372/7372
[pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19771/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700222 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 19771
/proc/meminfo: memFree=29680872/32873844 swapFree=7372/7372
[pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19771/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50022 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 19776
/proc/meminfo: memFree=29503688/32873844 swapFree=7372/7372
[pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19771/statm: 2287 277 236 213 0 72 0
[pid=19775] ppid=19771 vsize=186944 CPUtime=1.49 cores=0,2,4,6
/proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 48747 0 0 0 130 19 0 0 20 0 1 0 323947402 191430656 44056 33554432000 4194304 5276501 140735229785424 140735229782184 4378937 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/19775/statm: 46736 44056 89 265 0 46468 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 196092

[startup+3.10021 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 19776
/proc/meminfo: memFree=29502944/32873844 swapFree=7372/7372
[pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19771/statm: 2287 277 236 213 0 72 0
[pid=19775] ppid=19771 vsize=186944 CPUtime=3.09 cores=0,2,4,6
/proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 48747 0 0 0 290 19 0 0 20 0 1 0 323947402 191430656 44056 33554432000 4194304 5276501 140735229785424 140735229782184 4378892 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/19775/statm: 46736 44056 89 265 0 46468 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 196092

[startup+6.30021 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 19776
/proc/meminfo: memFree=29500820/32873844 swapFree=7372/7372
[pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19771/statm: 2287 277 236 213 0 72 0
[pid=19775] ppid=19771 vsize=186944 CPUtime=6.29 cores=0,2,4,6
/proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 48749 0 0 0 610 19 0 0 20 0 1 0 323947402 191430656 44058 33554432000 4194304 5276501 140735229785424 140735229782184 4378937 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/19775/statm: 46736 44058 89 265 0 46468 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 196092

[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/179 19776
/proc/meminfo: memFree=29398076/32873844 swapFree=7372/7372
[pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19771/statm: 2287 277 236 213 0 72 0
[pid=19775] ppid=19771 vsize=292640 CPUtime=12.69 cores=0,2,4,6
/proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 62298 0 0 0 1246 23 0 0 20 0 1 0 323947402 299663360 68820 33554432000 4194304 5276501 140735229785424 140735229612584 4378892 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/19775/statm: 73160 68820 122 265 0 72892 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 301788

[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 19776
/proc/meminfo: memFree=29384100/32873844 swapFree=7372/7372
[pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19771/statm: 2287 277 236 213 0 72 0
[pid=19775] ppid=19771 vsize=297636 CPUtime=25.48 cores=0,2,4,6
/proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 63548 0 0 0 2525 23 0 0 20 0 1 0 323947402 304779264 70581 33554432000 4194304 5276501 140735229785424 140735228249480 4378937 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/19775/statm: 74409 70581 122 265 0 74141 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 306784

[startup+51.1004 s]
/proc/loadavg: 1.96 1.98 1.99 3/179 19776
/proc/meminfo: memFree=29333088/32873844 swapFree=7372/7372
[pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19771/statm: 2287 277 236 213 0 72 0
[pid=19775] ppid=19771 vsize=498600 CPUtime=51.07 cores=0,2,4,6
/proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 96077 0 0 0 5078 29 0 0 20 0 1 0 323947402 510566400 117609 33554432000 4194304 5276501 140735229785424 140735229780856 4633200 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19775/statm: 124650 117609 127 265 0 124382 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 507748

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 19776
/proc/meminfo: memFree=28915076/32873844 swapFree=7372/7372
[pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19771/statm: 2287 277 236 213 0 72 0
[pid=19775] ppid=19771 vsize=753948 CPUtime=102.27 cores=0,2,4,6
/proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 148823 0 0 0 10187 40 0 0 20 0 1 0 323947402 772042752 178525 33554432000 4194304 5276501 140735229785424 140735229783608 4399804 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19775/statm: 188487 178525 149 265 0 188219 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 763096

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 19777
/proc/meminfo: memFree=28856452/32873844 swapFree=7372/7372
[pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19771/statm: 2287 277 236 213 0 72 0
[pid=19775] ppid=19771 vsize=787736 CPUtime=162.22 cores=0,2,4,6
/proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 157289 0 0 0 16178 44 0 0 20 0 1 0 323947402 806641664 186944 33554432000 4194304 5276501 140735229785424 140735229783416 4394737 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19775/statm: 196934 186944 149 265 0 196666 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 796884

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/180 19780
/proc/meminfo: memFree=28812568/32873844 swapFree=7372/7372
[pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19771/statm: 2287 277 236 213 0 72 0
[pid=19775] ppid=19771 vsize=822328 CPUtime=222.21 cores=0,2,4,6
/proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 165967 0 0 0 22174 47 0 0 20 0 1 0 323947402 842063872 195602 33554432000 4194304 5276501 140735229785424 140735229783016 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19775/statm: 205582 195602 149 265 0 205314 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 831476

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 19780
/proc/meminfo: memFree=28771904/32873844 swapFree=7372/7372
[pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19771/statm: 2287 277 236 213 0 72 0
[pid=19775] ppid=19771 vsize=863180 CPUtime=282.18 cores=0,2,4,6
/proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 176216 0 0 0 28168 50 0 0 20 0 1 0 323947402 883896320 205825 33554432000 4194304 5276501 140735229785424 140735229783416 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19775/statm: 215795 205825 149 265 0 215527 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 872328

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 19780
/proc/meminfo: memFree=28730100/32873844 swapFree=7372/7372
[pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19771/statm: 2287 277 236 213 0 72 0
[pid=19775] ppid=19771 vsize=901848 CPUtime=342.15 cores=0,2,4,6
/proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 185884 0 0 0 34162 53 0 0 20 0 1 0 323947402 923492352 216211 33554432000 4194304 5276501 140735229785424 140735229783416 4633200 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19775/statm: 225462 216211 149 265 0 225194 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 910996

[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 19780
/proc/meminfo: memFree=28721448/32873844 swapFree=7372/7372
[pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/19775/statm: 298148 289135 149 265 0 297880 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 1201740

[startup+1182.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 19830
/proc/meminfo: memFree=28763908/32873844 swapFree=7372/7372
[pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19771/statm: 2287 277 236 213 0 72 0
[pid=19775] ppid=19771 vsize=1264956 CPUtime=1181.95 cores=0,2,4,6
/proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 276688 0 0 0 118102 93 0 0 20 0 1 0 323947402 1295314944 307241 33554432000 4194304 5276501 140735229785424 140735229783016 4633200 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19775/statm: 316239 307241 149 265 0 315971 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 1274104

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19830
/proc/meminfo: memFree=28678700/32873844 swapFree=7372/7372
[pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19771/statm: 2287 277 236 213 0 72 0
[pid=19775] ppid=19771 vsize=1334516 CPUtime=1241.94 cores=0,2,4,6
/proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 293353 0 0 0 124095 99 0 0 20 0 1 0 323947402 1366544384 324411 33554432000 4194304 5276501 140735229785424 140735229783416 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19775/statm: 333629 324411 149 265 0 333361 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1343664

[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 19872
/proc/meminfo: memFree=28821608/32873844 swapFree=7372/7372
[pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19771/statm: 2287 277 236 213 0 72 0
[pid=19775] ppid=19771 vsize=1378524 CPUtime=1301.91 cores=0,2,4,6
/proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 304425 0 0 0 130088 103 0 0 20 0 1 0 323947402 1411608576 335466 33554432000 4194304 5276501 140735229785424 140735229783416 4399850 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19775/statm: 344631 335466 149 265 0 344363 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1387672

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 19873
/proc/meminfo: memFree=28675812/32873844 swapFree=7372/7372
[pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19771/statm: 2287 277 236 213 0 72 0
[pid=19775] ppid=19771 vsize=1425772 CPUtime=1361.88 cores=0,2,4,6
/proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 316290 0 0 0 136079 109 0 0 20 0 1 0 323947402 1459990528 347316 33554432000 4194304 5276501 140735229785424 140735229783672 4399800 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19775/statm: 356443 347316 149 265 0 356175 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1434920

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19876
/proc/meminfo: memFree=28558504/32873844 swapFree=7372/7372
[pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19771/statm: 2287 277 236 213 0 72 0
[pid=19775] ppid=19771 vsize=1452060 CPUtime=1421.87 cores=0,2,4,6
/proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 322922 0 0 0 142075 112 0 0 20 0 1 0 323947402 1486909440 353964 33554432000 4194304 5276501 140735229785424 140735229783416 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19775/statm: 363015 353964 149 265 0 362747 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1461208

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19876
/proc/meminfo: memFree=28452480/32873844 swapFree=7372/7372
[pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19771/statm: 2287 277 236 213 0 72 0
[pid=19775] ppid=19771 vsize=1480816 CPUtime=1481.85 cores=0,2,4,6
/proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 328907 0 0 0 148070 115 0 0 20 0 1 0 323947402 1516355584 361090 33554432000 4194304 5276501 140735229785424 140735229783416 4394677 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19775/statm: 370204 361090 149 265 0 369936 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1489964

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19876
/proc/meminfo: memFree=28371600/32873844 swapFree=7372/7372
[pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19771/statm: 2287 277 236 213 0 72 0
[pid=19775] ppid=19771 vsize=1505000 CPUtime=1541.83 cores=0,2,4,6
/proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 334969 0 0 0 154065 118 0 0 20 0 1 0 323947402 1541120000 367179 33554432000 4194304 5276501 140735229785424 140735229783416 4399804 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19775/statm: 376250 367179 149 265 0 375982 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1514148

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19876
/proc/meminfo: memFree=28326388/32873844 swapFree=7372/7372
[pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19771/statm: 2287 277 236 213 0 72 0
[pid=19775] ppid=19771 vsize=1549696 CPUtime=1601.81 cores=0,2,4,6
/proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 346160 0 0 0 160058 123 0 0 20 0 1 0 323947402 1586888704 378544 33554432000 4194304 5276501 140735229785424 140735229783416 4399852 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19775/statm: 387424 378544 149 265 0 387156 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1558844

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19877
/proc/meminfo: memFree=28283856/32873844 swapFree=7372/7372
[pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19771/statm: 2287 277 236 213 0 72 0
[pid=19775] ppid=19771 vsize=1591832 CPUtime=1661.8 cores=0,2,4,6
/proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 356693 0 0 0 166054 126 0 0 20 0 1 0 323947402 1630035968 389077 33554432000 4194304 5276501 140735229785424 140735229783416 4399804 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19775/statm: 397958 389077 149 265 0 397690 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1600980

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19877
/proc/meminfo: memFree=28224176/32873844 swapFree=7372/7372
[pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19771/statm: 2287 277 236 213 0 72 0
[pid=19775] ppid=19771 vsize=1651732 CPUtime=1721.79 cores=0,2,4,6
/proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 371656 0 0 0 172048 131 0 0 20 0 1 0 323947402 1691373568 404040 33554432000 4194304 5276501 140735229785424 140735229783416 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19775/statm: 412933 404040 149 265 0 412665 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1660880

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 19877
/proc/meminfo: memFree=28143604/32873844 swapFree=7372/7372
[pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19771/statm: 2287 277 236 213 0 72 0
[pid=19775] ppid=19771 vsize=1706308 CPUtime=1781.78 cores=0,2,4,6
/proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 385291 0 0 0 178042 136 0 0 20 0 1 0 323947402 1747259392 417675 33554432000 4194304 5276501 140735229785424 140735229783416 4400452 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19775/statm: 426577 417675 149 265 0 426309 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1715456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 19877
/proc/meminfo: memFree=28104388/32873844 swapFree=7372/7372
[pid=19771] ppid=19769 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19771/stat : 19771 (minisat+_script) S 19769 19771 14374 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323947401 9367552 277 33554432000 4194304 5064252 140734197302240 140734197301152 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/19771/statm: 2287 277 236 213 0 72 0
[pid=19775] ppid=19771 vsize=1725040 CPUtime=1800.09 cores=0,2,4,6
/proc/19775/stat : 19775 (minisat+_64-bit) R 19771 19771 14374 0 -1 4202496 389964 0 0 0 179872 137 0 0 20 0 1 0 323947402 1766440960 422348 33554432000 4194304 5276501 140735229785424 140735229783416 4399850 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/19775/statm: 431260 422348 149 265 0 430992 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1734188

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19771 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=2999
# CPU time returned by wait4() is 0.002999
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.62
CPU time (s): 1800.09
CPU user time (s): 1798.72
CPU system time (s): 1.37
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 1734188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.002999
maximum resident set size= 1108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 935
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= 10
involuntary context switches= 2

runsolver used 3.17252 second user time and 10.6514 second system time

The end

Launcher Data

Begin job on node109 at 2012-06-01 21:16:28
IDJOB=3723147
IDBENCH=89886
IDSOLVER=2307
FILE ID=node109/3723147-1338578188
RUNJOBID= node109-1338569199-17153
PBS_JOBID= 14635875
Free space on /tmp= 70700 MiB

SOLVER NAME= minisatp 1.0-2-g022594c
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-opm2-z12-s14.opb
COMMAND LINE= minisat+_script BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723147-1338578188/watcher-3723147-1338578188 -o /tmp/evaluation-result-3723147-1338578188/solver-3723147-1338578188 -C 1800 -W 1900 -M 15500  minisat+_script HOME/instance-3723147-1338578188.opb

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

MD5SUM BENCH= f1849946ff16a8dbd3f6ed4bfe3f33be
RANDOM SEED=1502469992

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29680872 kB
Buffers:          283860 kB
Cached:          1459840 kB
SwapCached:          944 kB
Active:          1443572 kB
Inactive:         874464 kB
Active(anon):     569072 kB
Inactive(anon):     7800 kB
Active(file):     874500 kB
Inactive(file):   866664 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67105492 kB
Dirty:             11268 kB
Writeback:             8 kB
AnonPages:        580904 kB
Mapped:            10648 kB
Shmem:                 4 kB
Slab:             734556 kB
SReclaimable:     176880 kB
SUnreclaim:       557676 kB
KernelStack:        1464 kB
PageTables:         5200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     692304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    475136 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70700 MiB
End job on node109 at 2012-06-01 21:46:31