Trace number 3722137

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: minisat+ 1.14? (TO) 1800.13 1800.52

General information on the benchmark

Name/OPT-BIGINT-LIN/heinz/
normalized-opm2-z11-s8.opb
MD5SUM9014f307b4266a1d3ed4d1915c3fbd07
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-28803
Best CPU time to get the best result obtained on this benchmark1800.67
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8019
Total number of constraints223082
Number of constraints which are clauses223074
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 constraint8018
Number of terms in the objective function 7959
Biggest coefficient in the objective function 526
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 1025025
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 2853664
Number of bits of the biggest number in a constraint 22
Biggest sum of numbers in a constraint 19481292
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...
2.79/2.84	c Converting 223082 PB-constraints to clauses...
2.79/2.86	c   -- Unit propagations: (none)
2.79/2.86	c   -- Detecting intervals from adjacent constraints: (none)
2.79/2.86	c   -- Clauses(.)/Splits(s): ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
3.09/3.11	c ---[223081]---> Adder-cost: 79534   maxlim: 13773963   bits: 24/24
98.98/99.02	c ---[223080]---> Adder-cost: 79006   maxlim: 13545095   bits: 24/24
193.86/193.93	c ---[223079]---> Adder-cost: 80016   maxlim: 13405140   bits: 24/24
286.84/286.93	c ---[223078]---> Adder-cost: 78670   maxlim: 13658622   bits: 24/24
380.74/380.83	c ---[223077]---> Adder-cost: 78564   maxlim: 13618707   bits: 24/24
475.61/475.75	c ---[223076]---> Adder-cost: 80432   maxlim: 13516658   bits: 24/24
570.60/570.75	c ---[223075]---> Adder-cost: 79854   maxlim: 13509956   bits: 24/24
664.48/664.66	c ---[223074]---> Adder-cost: 77550   maxlim: 13592783   bits: 24/24
758.67/758.81	c ==================================[MINISAT+]==================================
758.67/758.81	c | Conflicts | Original         | Learnt                           | Progress |
758.67/758.81	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
758.67/758.81	c ==============================================================================
758.67/758.81	c |         0 | 4657641 16284367 | 1552547       0        0     nan |  0.000 % |
758.97/759.11	c |       100 | 4657625 16284315 | 1707801      98      335     3.4 |  0.018 % |
758.97/759.13	c |       250 | 4657625 16284315 | 1878581     248      981     4.0 |  0.018 % |
758.97/759.19	c |       475 | 4657625 16284315 | 2066440     473     1792     3.8 |  0.018 % |
759.17/759.31	c |       812 | 4657625 16284315 | 2273084     810     3476     4.3 |  0.018 % |
765.97/766.17	c |      1318 | 4657625 16284315 | 2500392    1316     6595     5.0 |  0.018 % |
778.17/778.31	c |      2078 | 4657625 16284315 | 2750431    2076    14030     6.8 |  0.018 % |
795.96/796.12	c |      3217 | 4657609 16284263 | 3025474    3213    22549     7.0 |  0.018 % |
809.46/809.67	c |      4928 | 4657609 16284263 | 3328022    4924   370607    75.3 |  0.018 % |
834.86/835.03	c |      7490 | 4657609 16284263 | 3660824    7486  2684809   358.6 |  0.018 % |
865.05/865.26	c |     11336 | 4657609 16284263 | 4026907   11332  4330646   382.2 |  0.018 % |
916.45/916.69	c |     17102 | 4657609 16284263 | 4429597   17098  9450038   552.7 |  0.018 % |
986.23/986.40	c |     25751 | 4657609 16284263 | 4872557   25747 17445494   677.6 |  0.018 % |
1077.32/1077.52	c |     38726 | 4657602 16284240 | 5359813   38721 27354853   706.5 |  0.018 % |
1224.00/1224.20	c |     58187 | 4657602 16284240 | 5895794   58182 30914488   531.3 |  0.018 % |
1380.28/1380.69	c |     87379 | 4657602 16284240 | 6485374   87374 39012888   446.5 |  0.018 % |
1449.26/1449.68	c |    131169 | 4657602 16284240 | 7133911  131164 47612817   363.0 |  0.018 % |
1800.10/1800.50	c 
1800.10/1800.50	c *** TERMINATED ***
1800.10/1800.50	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 23266
/proc/meminfo: memFree=27419552/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=2072 CPUtime=0 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 342 0 0 0 0 0 0 0 20 0 1 0 322445474 2121728 300 33554432000 134512640 135395479 4290738080 4290736864 134569966 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 518 300 67 216 0 300 0

[startup+0.0123671 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 23266
/proc/meminfo: memFree=27419552/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=2604 CPUtime=0.01 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 496 0 0 0 1 0 0 0 20 0 1 0 322445474 2666496 453 33554432000 134512640 135395479 4290738080 4290737048 135031278 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 651 453 68 216 0 433 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2604

[startup+0.100304 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 23266
/proc/meminfo: memFree=27419552/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=5012 CPUtime=0.1 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 1439 0 0 0 10 0 0 0 20 0 1 0 322445474 5132288 1023 33554432000 134512640 135395479 4290738080 4290735796 134531243 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 1253 1023 74 216 0 1035 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 5012

[startup+0.300266 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 23266
/proc/meminfo: memFree=27419552/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=6520 CPUtime=0.29 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 2794 0 0 0 29 0 0 0 20 0 1 0 322445474 6676480 1259 33554432000 134512640 135395479 4290738080 4290735092 135003221 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 1630 1259 74 216 0 1412 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6520

[startup+0.700263 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 23266
/proc/meminfo: memFree=27419552/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=10436 CPUtime=0.69 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 5049 0 0 0 69 0 0 0 20 0 1 0 322445474 10686464 2021 33554432000 134512640 135395479 4290738080 4290736616 135012160 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 2609 2022 74 216 0 2391 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10436

[startup+1.50028 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 23267
/proc/meminfo: memFree=27405416/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=27584 CPUtime=1.49 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 9307 0 0 0 148 1 0 0 20 0 1 0 322445474 28246016 6279 33554432000 134512640 135395479 4290738080 4290737048 135031278 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 6896 6279 74 216 0 6678 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27584

[startup+3.10034 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 23267
/proc/meminfo: memFree=27381816/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=66472 CPUtime=3.09 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 18952 0 0 0 297 12 0 0 20 0 1 0 322445474 68067328 15877 33554432000 134512640 135395479 4290738080 4290736608 135031374 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 16618 15878 86 216 0 16400 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 66472

[startup+6.30026 s]
/proc/loadavg: 2.09 2.02 2.01 3/177 23267
/proc/meminfo: memFree=27337944/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=84224 CPUtime=6.29 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 24144 0 0 0 615 14 0 0 20 0 1 0 322445474 86245376 20159 33554432000 134512640 135395479 4290738080 4290734524 135005776 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 21056 20159 91 216 0 20838 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84224

[startup+12.7003 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 23267
/proc/meminfo: memFree=27337224/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=84224 CPUtime=12.69 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 24144 0 0 0 1255 14 0 0 20 0 1 0 322445474 86245376 20159 33554432000 134512640 135395479 4290738080 4290734260 135012076 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 21056 20159 91 216 0 20838 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84224

[startup+25.5003 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 23267
/proc/meminfo: memFree=27337016/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=84224 CPUtime=25.49 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 24144 0 0 0 2535 14 0 0 20 0 1 0 322445474 86245376 20159 33554432000 134512640 135395479 4290738080 4290735120 134530499 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 21056 20159 91 216 0 20838 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 84224

[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 23267
/proc/meminfo: memFree=27336192/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=84224 CPUtime=51.09 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 24144 0 0 0 5095 14 0 0 20 0 1 0 322445474 86245376 20159 33554432000 134512640 135395479 4290738080 4290734444 135005831 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 21056 20159 91 216 0 20838 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 84224

[startup+102.306 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 23267
/proc/meminfo: memFree=27296424/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=125012 CPUtime=102.28 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 33964 0 0 0 10213 15 0 0 20 0 1 0 322445474 128012288 29734 33554432000 134512640 135395479 4290738080 4290734544 134810682 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 31253 29734 107 216 0 31035 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 125012

[startup+162.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 23267
/proc/meminfo: memFree=27290940/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=125012 CPUtime=162.26 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 33964 0 0 0 16211 15 0 0 20 0 1 0 322445474 128012288 29734 33554432000 134512640 135395479 4290738080 4290734376 135006151 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 31253 29734 107 216 0 31035 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 125012

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 23270
/proc/meminfo: memFree=27286736/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=126668 CPUtime=222.26 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 36434 0 0 0 22210 16 0 0 20 0 1 0 322445474 129708032 30148 33554432000 134512640 135395479 4290738080 4290734820 135003915 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 31667 30148 107 216 0 31449 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 126668

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 23271
/proc/meminfo: memFree=27284636/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=126668 CPUtime=282.25 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 36434 0 0 0 28209 16 0 0 20 0 1 0 322445474 129708032 30148 33554432000 134512640 135395479 4290738080 4290734560 134839037 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 31667 30148 107 216 0 31449 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 126668

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23271
/proc/meminfo: memFree=27268488/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=138752 CPUtime=342.24 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 39514 0 0 0 34207 17 0 0 20 0 1 0 322445474 142082048 33681 33554432000 134512640 135395479 4290738080 4290735028 135005772 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 34688 33681 107 216 0 34470 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 138752

[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 23271
/proc/meminfo: memFree=27264912/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=140180 CPUtime=402.23 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 41874 0 0 0 40206 17 0 0 20 0 1 0 322445474 143544320 34038 33554432000 134512640 135395479 4290738080 4290734172 135005864 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 35045 34038 107 216 0 34827 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 140180

[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 23271
/proc/meminfo: memFree=27261688/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=140180 CPUtime=462.22 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 41874 0 0 0 46205 17 0 0 20 0 1 0 322445474 143544320 34038 33554432000 134512640 135395479 4290738080 4290735628 135012072 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 35045 34038 107 216 0 34827 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 140180

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23271
/proc/meminfo: memFree=27257296/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=142228 CPUtime=522.21 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 44616 0 0 0 52203 18 0 0 20 0 1 0 322445474 145641472 34757 33554432000 134512640 135395479 4290738080 4290735264 134812290 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 35557 34757 107 216 0 35339 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 142228

[startup+582.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 23272
/proc/meminfo: memFree=27252460/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=152844 CPUtime=582.19 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 47153 0 0 0 58201 18 0 0 20 0 1 0 322445474 156512256 35306 33554432000 134512640 135395479 4290738080 4290734484 135003247 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 38211 35306 107 216 0 37993 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 152844

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 23276
/proc/meminfo: memFree=26981756/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=419192 CPUtime=882.15 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 111812 0 0 0 88180 35 0 0 20 0 1 0 322445474 429252608 100781 33554432000 134512640 135395479 4290738080 4290736432 134581028 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 104798 100781 123 216 0 104580 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 419192

[startup+942.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 23276
/proc/meminfo: memFree=26947036/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=452444 CPUtime=942.14 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 120101 0 0 0 94176 38 0 0 20 0 1 0 322445474 463302656 109070 33554432000 134512640 135395479 4290738080 4290736432 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 113111 109070 123 216 0 112893 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 452444

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 23276
/proc/meminfo: memFree=26924096/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=473316 CPUtime=1002.13 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 125330 0 0 0 100174 39 0 0 20 0 1 0 322445474 484675584 114299 33554432000 134512640 135395479 4290738080 4290736432 134580945 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 118329 114299 123 216 0 118111 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 473316

[startup+1062.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 23276
/proc/meminfo: memFree=26891140/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=504648 CPUtime=1062.12 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 133162 0 0 0 106169 43 0 0 20 0 1 0 322445474 516759552 122131 33554432000 134512640 135395479 4290738080 4290736432 134581028 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 126162 122131 123 216 0 125944 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 504648

[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 23276
/proc/meminfo: memFree=26882088/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=511196 CPUtime=1122.11 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 134796 0 0 0 112167 44 0 0 20 0 1 0 322445474 523464704 123765 33554432000 134512640 135395479 4290738080 4290736432 134580768 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 127799 123765 123 216 0 127581 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 511196

[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 23277
/proc/meminfo: memFree=26871176/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=520820 CPUtime=1182.11 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 137218 0 0 0 118165 46 0 0 20 0 1 0 322445474 533319680 126187 33554432000 134512640 135395479 4290738080 4290735952 134574254 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 130205 126187 123 216 0 129987 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 520820

[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 23327
/proc/meminfo: memFree=28333248/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=525700 CPUtime=1242.1 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 138431 0 0 0 124163 47 0 0 20 0 1 0 322445474 538316800 127400 33554432000 134512640 135395479 4290738080 4290736432 134581028 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 131425 127400 123 216 0 131207 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 525700

[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 23327
/proc/meminfo: memFree=28251516/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=538116 CPUtime=1302.05 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 141570 0 0 0 130156 49 0 0 20 0 1 0 322445474 551030784 130497 33554432000 134512640 135395479 4290738080 4290736432 134580732 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 134529 130497 123 216 0 134311 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 538116

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23327
/proc/meminfo: memFree=28205044/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=556616 CPUtime=1361.99 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 146251 0 0 0 136148 51 0 0 20 0 1 0 322445474 569974784 135133 33554432000 134512640 135395479 4290738080 4290736384 134580330 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 139154 135133 123 216 0 138936 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 556616

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 23330
/proc/meminfo: memFree=28185720/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=576292 CPUtime=1421.98 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 151144 0 0 0 142145 53 0 0 20 0 1 0 322445474 590123008 140010 33554432000 134512640 135395479 4290738080 4290736432 134580732 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 144073 140010 123 216 0 143855 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 576292

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 23330
/proc/meminfo: memFree=28134552/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=598740 CPUtime=1481.95 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 156748 0 0 0 148138 57 0 0 20 0 1 0 322445474 613109760 145601 33554432000 134512640 135395479 4290738080 4290736432 134581074 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 149685 145601 123 216 0 149467 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 598740

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23331
/proc/meminfo: memFree=28116396/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=615920 CPUtime=1541.94 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 161052 0 0 0 154135 59 0 0 20 0 1 0 322445474 630702080 150054 33554432000 134512640 135395479 4290738080 4290736432 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 153980 150054 123 216 0 153762 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 615920

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23331
/proc/meminfo: memFree=28100676/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=631832 CPUtime=1601.92 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 165028 0 0 0 160130 62 0 0 20 0 1 0 322445474 646995968 154030 33554432000 134512640 135395479 4290738080 4290736432 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 157958 154030 123 216 0 157740 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 631832

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23331
/proc/meminfo: memFree=28066356/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=645852 CPUtime=1661.91 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 168563 0 0 0 166126 65 0 0 20 0 1 0 322445474 661352448 157565 33554432000 134512640 135395479 4290738080 4290736432 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 161463 157565 123 216 0 161245 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 645852

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23331
/proc/meminfo: memFree=28034384/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=660988 CPUtime=1721.91 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 172355 0 0 0 172123 68 0 0 20 0 1 0 322445474 676851712 161357 33554432000 134512640 135395479 4290738080 4290736384 134580372 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 165247 161357 123 216 0 165029 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 660988

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23331
/proc/meminfo: memFree=28019380/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=675724 CPUtime=1781.9 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 176027 0 0 0 178119 71 0 0 20 0 1 0 322445474 691941376 165029 33554432000 134512640 135395479 4290738080 4290736432 134580854 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 168931 165029 123 216 0 168713 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 675724



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23332
/proc/meminfo: memFree=28014544/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=680624 CPUtime=1800.1 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 177253 0 0 0 179939 71 0 0 20 0 1 0 322445474 696958976 166255 33554432000 134512640 135395479 4290738080 4290736432 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 170156 166255 123 216 0 169938 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 680624

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

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

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23332
/proc/meminfo: memFree=28014544/32873844 swapFree=7112/7112
[pid=23266] ppid=23264 vsize=680624 CPUtime=1800.1 cores=1,3,5,7
/proc/23266/stat : 23266 (minisat+) R 23264 23266 22116 0 -1 4202496 177253 0 0 0 179939 71 0 0 20 0 1 0 322445474 696958976 166255 33554432000 134512640 135395479 4290738080 4290736432 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/23266/statm: 170156 166255 123 216 0 169938 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 680624

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.13
CPU user time (s): 1799.4
CPU system time (s): 0.729889
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 680624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.4
system time used= 0.729889
maximum resident set size= 665024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177254
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= 136
involuntary context switches= 1843

runsolver used 5.08023 second user time and 8.09477 second system time

The end

Launcher Data 

Begin job on node119 at 2012-06-01 17:06:38
IDJOB=3722137
IDBENCH=89893
IDSOLVER=2306
FILE ID=node119/3722137-1338563198
RUNJOBID= node119-1338552571-22133
PBS_JOBID= 14635865
Free space on /tmp= 70900 MiB

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

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

MD5SUM BENCH= 9014f307b4266a1d3ed4d1915c3fbd07
RANDOM SEED=1529166907

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

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
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.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
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.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27419444 kB
Buffers:          358956 kB
Cached:          2770024 kB
SwapCached:         1912 kB
Active:          2873368 kB
Inactive:        1773468 kB
Active(anon):    1513564 kB
Inactive(anon):     6604 kB
Active(file):    1359804 kB
Inactive(file):  1766864 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100216 kB
Dirty:              8552 kB
Writeback:             0 kB
AnonPages:       1471652 kB
Mapped:            12252 kB
Shmem:                 0 kB
Slab:             667944 kB
SReclaimable:     110140 kB
SUnreclaim:       557804 kB
KernelStack:        1480 kB
PageTables:         6776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1778140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1110016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

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

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