Trace number 3721307

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.14SAT (TO)-42 1800.09 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
MD5SUM05ceccb8ea9c274c844c39df1472d3cc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-42
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
Optimality of the best value was proved NO
Number of variables945
Total number of constraints59186
Number of constraints which are clauses59186
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 945
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 945
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 945
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.00/0.00	c Parsing PB file...
0.59/0.62	c Converting 59186 PB-constraints to clauses...
0.59/0.63	c   -- Unit propagations: (none)
0.59/0.63	c   -- Detecting intervals from adjacent constraints: (none)
0.59/0.63	c   -- Clauses(.)/Splits(s): ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.59/0.69	c ==================================[MINISAT+]==================================
0.59/0.69	c | Conflicts | Original         | Learnt                           | Progress |
0.59/0.69	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.59/0.69	c ==============================================================================
0.59/0.69	c |         0 |   59186   118372 |   19728       0        0     nan |  0.000 % |
0.59/0.69	c ==============================================================================
0.59/0.69	c Found solution: -31
0.59/0.69	o -31
0.69/0.70	c ---[   0]---> Sorter-cost:44290     Base:
0.69/0.75	c ==================================[MINISAT+]==================================
0.69/0.75	c | Conflicts | Original         | Learnt                           | Progress |
0.69/0.75	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.69/0.75	c ==============================================================================
0.69/0.75	c |         0 |  104775   225435 |   34925       0        0     nan |  0.000 % |
0.79/0.80	c |       100 |  104524   224914 |   38417      85     1066    12.5 |  0.436 % |
0.79/0.88	c |       250 |  103672   223098 |   42259     189     2294    12.1 |  2.065 % |
0.89/0.99	c |       475 |  102383   220255 |   46485     345     4840    14.0 |  4.529 % |
1.09/1.15	c |       812 |  100937   217141 |   51133     586     7419    12.7 |  7.149 % |
1.39/1.42	c |      1318 |   98182   211016 |   56247     955    12123    12.7 | 12.554 % |
1.69/1.74	c |      2077 |   95016   203912 |   61871    1479    18940    12.8 | 18.868 % |
1.79/1.82	c ==============================================================================
1.79/1.82	c Found solution: -34
1.79/1.82	o -34
1.79/1.83	c ---[   0]---> Sorter-cost:    0     Base:
1.79/1.85	c ==================================[MINISAT+]==================================
1.79/1.85	c | Conflicts | Original         | Learnt                           | Progress |
1.79/1.85	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.79/1.85	c ==============================================================================
1.79/1.85	c |      2281 |   94270   202263 |   31423    1638    21254    13.0 | 18.868 % |
1.89/1.91	c |      2381 |   93557   200642 |   34565    1705    22268    13.1 | 21.898 % |
1.89/1.98	c |      2531 |   92946   199272 |   38021    1827    23369    12.8 | 23.109 % |
1.99/2.09	c |      2756 |   91830   196738 |   41824    1986    25232    12.7 | 25.365 % |
2.19/2.20	c |      3093 |   90546   193828 |   46006    2258    28068    12.4 | 27.941 % |
2.29/2.36	c |      3599 |   89135   190554 |   50607    2662    32253    12.1 | 30.930 % |
2.59/2.64	c |      4358 |   86431   184320 |   55667    3235    39718    12.3 | 36.339 % |
2.99/3.04	c |      5497 |   82098   174321 |   61234    4060    50083    12.3 | 45.224 % |
3.39/3.46	c |      7205 |   78759   166500 |   67357    5274    69800    13.2 | 52.309 % |
3.99/4.02	c |      9767 |   74447   156240 |   74093    7257   115053    15.9 | 61.626 % |
4.29/4.38	c ==============================================================================
4.29/4.38	c Found solution: -35
4.29/4.38	o -35
4.29/4.39	c ---[   0]---> Sorter-cost:    0     Base:
4.39/4.41	c ==================================[MINISAT+]==================================
4.39/4.41	c | Conflicts | Original         | Learnt                           | Progress |
4.39/4.41	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
4.39/4.41	c ==============================================================================
4.39/4.41	c |     11855 |   72901   152602 |   24300    9007   171237    19.0 | 61.626 % |
4.39/4.44	c |     11956 |   72669   152047 |   26730    9026   173881    19.3 | 65.703 % |
4.39/4.48	c |     12106 |   72511   151662 |   29403    9103   175319    19.3 | 66.054 % |
4.49/4.55	c |     12332 |   71960   150355 |   32343    9214   178574    19.4 | 67.232 % |
4.49/4.59	c |     12669 |   71960   150355 |   35577    9551   186891    19.6 | 67.232 % |
4.59/4.65	c |     13175 |   71822   150026 |   39135   10017   198100    19.8 | 67.634 % |
4.69/4.72	c ==============================================================================
4.69/4.72	c Found solution: -36
4.69/4.72	o -36
4.69/4.73	c ---[   0]---> Sorter-cost:    0     Base:
4.69/4.75	c ==================================[MINISAT+]==================================
4.69/4.75	c | Conflicts | Original         | Learnt                           | Progress |
4.69/4.75	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
4.69/4.75	c ==============================================================================
4.69/4.75	c |     13651 |   71767   149867 |   23922   10477   227070    21.7 | 67.634 % |
4.69/4.78	c |     13751 |   71635   149552 |   26314   10560   229754    21.8 | 67.952 % |
4.79/4.81	c |     13901 |   71495   149231 |   28945   10689   232692    21.8 | 68.240 % |
4.79/4.84	c |     14126 |   71495   149231 |   31840   10914   240590    22.0 | 68.240 % |
4.89/4.90	c |     14464 |   71301   148771 |   35024   11166   247387    22.2 | 68.658 % |
4.99/5.00	c |     14970 |   71096   148283 |   38526   11598   264285    22.8 | 69.105 % |
5.09/5.13	c |     15729 |   70692   147312 |   42379   12216   294929    24.1 | 70.005 % |
5.19/5.29	c |     16868 |   70606   147101 |   46617   13307   355598    26.7 | 70.197 % |
5.49/5.58	c |     18576 |   70013   145662 |   51278   14834   442373    29.8 | 71.487 % |
5.89/5.91	c |     21138 |   69860   145296 |   56406   17357   580759    33.5 | 71.822 % |
6.59/6.63	c |     24982 |   69186   143692 |   62047   21008   882895    42.0 | 73.271 % |
7.59/7.70	c |     30748 |   68669   142440 |   68252   26564  1266965    47.7 | 74.405 % |
9.19/9.24	c ==============================================================================
9.19/9.24	c Found solution: -37
9.19/9.24	o -37
9.19/9.24	c ---[   0]---> Sorter-cost:    0     Base:
9.19/9.29	c ==================================[MINISAT+]==================================
9.19/9.29	c | Conflicts | Original         | Learnt                           | Progress |
9.19/9.29	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
9.19/9.29	c ==============================================================================
9.19/9.29	c |     36888 |   68477   142002 |   22825   32538  2350890    72.3 | 74.405 % |
9.29/9.32	c |     36989 |   68477   142002 |   25107   32639  2355889    72.2 | 74.863 % |
9.29/9.35	c |     37139 |   68477   142002 |   27618   32789  2364920    72.1 | 74.863 % |
9.39/9.44	c |     37364 |   68390   141794 |   30380   32976  2374435    72.0 | 75.048 % |
9.59/9.67	c |     37701 |   68208   141353 |   33418   33252  2387786    71.8 | 75.447 % |
9.80/9.82	c |     38207 |   68191   141312 |   36759   33737  2410028    71.4 | 75.485 % |
9.90/10.00	c |     38966 |   68191   141312 |   40435   34496  2508782    72.7 | 75.485 % |
10.49/10.57	c |     40105 |   67643   139988 |   44479   35447  2584380    72.9 | 76.710 % |
10.99/11.04	c |     41813 |   67533   139718 |   48927   36998  2681268    72.5 | 76.965 % |
11.69/11.74	c |     44377 |   67408   139415 |   53820   39481  2933313    74.3 | 77.249 % |
12.19/12.27	c ==============================================================================
12.19/12.27	c Found solution: -38
12.19/12.27	o -38
12.19/12.28	c ---[   0]---> Sorter-cost:    0     Base:
12.29/12.33	c ==================================[MINISAT+]==================================
12.29/12.33	c | Conflicts | Original         | Learnt                           | Progress |
12.29/12.33	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
12.29/12.33	c ==============================================================================
12.29/12.33	c |     46463 |   67399   139347 |   22466   41488  3173600    76.5 | 77.249 % |
12.29/12.38	c |     46563 |   67366   139264 |   24712   41579  3178985    76.5 | 77.355 % |
12.39/12.42	c |     46714 |   67366   139264 |   27183   41730  3188195    76.4 | 77.355 % |
12.39/12.47	c |     46939 |   67366   139264 |   29902   41955  3203516    76.4 | 77.355 % |
12.69/12.71	c |     47277 |   67152   138734 |   32892   42197  3212016    76.1 | 77.856 % |
12.89/12.94	c |     47783 |   67024   138429 |   36181   42593  3256759    76.5 | 78.130 % |
13.19/13.23	c |     48542 |   66893   138094 |   39799   43247  3317085    76.7 | 78.440 % |
13.58/13.62	c |     49681 |   66773   137806 |   43779   44272  3468329    78.3 | 78.708 % |
13.98/14.07	c |     51389 |   66773   137806 |   48157   45980  3665783    79.7 | 78.708 % |
14.58/14.69	c |     53951 |   66773   137806 |   52973   48542  3874270    79.8 | 78.708 % |
15.78/15.84	c |     57795 |   66703   137642 |   58271   52249  4403144    84.3 | 78.858 % |
16.78/16.83	c ==============================================================================
16.78/16.83	c Found solution: -39
16.78/16.83	o -39
16.78/16.84	c ---[   0]---> Sorter-cost:    0     Base:
16.88/16.90	c ==================================[MINISAT+]==================================
16.88/16.90	c | Conflicts | Original         | Learnt                           | Progress |
16.88/16.90	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
16.88/16.90	c ==============================================================================
16.88/16.90	c |     60959 |   66746   137780 |   22248   55413  4808677    86.8 | 78.858 % |
16.88/16.96	c |     61059 |   66746   137780 |   24472   19970  1491252    74.7 | 78.843 % |
16.98/17.00	c |     61209 |   66696   137659 |   26920   20112  1501421    74.7 | 78.955 % |
16.98/17.06	c |     61434 |   66655   137558 |   29612   20326  1508405    74.2 | 79.050 % |
17.08/17.13	c |     61772 |   66655   137558 |   32573   20664  1548997    75.0 | 79.050 % |
17.18/17.23	c |     62278 |   66641   137528 |   35830   21164  1579134    74.6 | 79.075 % |
17.38/17.40	c |     63038 |   66483   137145 |   39413   21877  1624906    74.3 | 79.428 % |
17.59/17.63	c |     64178 |   66436   137033 |   43355   23009  1706960    74.2 | 79.533 % |
17.88/17.99	c |     65886 |   66394   136940 |   47690   24715  1877964    76.0 | 79.612 % |
18.38/18.49	c |     68448 |   66394   136940 |   52459   27277  2138187    78.4 | 79.612 % |
19.38/19.41	c |     72292 |   66188   136448 |   57705   31053  2536364    81.7 | 80.060 % |
20.79/20.85	c |     78058 |   65990   135958 |   63476   36773  3108332    84.5 | 80.515 % |
23.48/23.53	c |     86708 |   65668   135177 |   69823   45315  4027181    88.9 | 81.214 % |
27.49/27.59	c |     99682 |   65663   135166 |   76806   58283  5489233    94.2 | 81.223 % |
34.28/34.34	c |    119143 |   65625   135078 |   84486   77730  8037334   103.4 | 81.303 % |
39.78/39.89	c ==============================================================================
39.78/39.89	c Found solution: -40
39.78/39.89	o -40
39.88/39.90	c ---[   0]---> Sorter-cost:    0     Base:
39.98/40.00	c ==================================[MINISAT+]==================================
39.98/40.00	c | Conflicts | Original         | Learnt                           | Progress |
39.98/40.00	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
39.98/40.00	c ==============================================================================
39.98/40.00	c |    133656 |   65574   134927 |   21858   91840  9604872   104.6 | 81.303 % |
40.08/40.13	c |    133756 |   65574   134927 |   24043   23083  1518038    65.8 | 81.425 % |
40.08/40.15	c |    133906 |   65574   134927 |   26448   23233  1526900    65.7 | 81.425 % |
40.18/40.20	c |    134131 |   65574   134927 |   29092   23458  1544148    65.8 | 81.425 % |
40.18/40.27	c |    134468 |   65574   134927 |   32002   23795  1579065    66.4 | 81.425 % |
40.28/40.38	c |    134975 |   65574   134927 |   35202   24302  1634412    67.3 | 81.425 % |
40.48/40.54	c |    135734 |   65574   134927 |   38722   25061  1715989    68.5 | 81.425 % |
40.68/40.77	c |    136873 |   65574   134927 |   42595   26200  1819780    69.5 | 81.425 % |
41.08/41.14	c |    138581 |   65538   134839 |   46854   27898  1949053    69.9 | 81.507 % |
41.68/41.76	c |    141143 |   65538   134839 |   51540   30460  2313155    75.9 | 81.507 % |
42.68/42.75	c |    144987 |   65523   134802 |   56694   34301  2805082    81.8 | 81.542 % |
44.18/44.22	c |    150753 |   65475   134677 |   62363   40058  3378991    84.4 | 81.663 % |
46.27/46.35	c |    159402 |   65475   134677 |   68599   48707  4419954    90.7 | 81.663 % |
50.07/50.17	c |    172376 |   65475   134677 |   75459   61681  6333551   102.7 | 81.663 % |
56.86/56.90	c |    191837 |   65421   134551 |   83005   81127  9152518   112.8 | 81.778 % |
67.55/67.69	c ==============================================================================
67.55/67.69	c Found solution: -41
67.55/67.69	o -41
67.55/67.70	c ---[   0]---> Sorter-cost:    0     Base:
67.75/67.81	c ==================================[MINISAT+]==================================
67.75/67.81	c | Conflicts | Original         | Learnt                           | Progress |
67.75/67.81	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
67.75/67.81	c ==============================================================================
67.75/67.81	c |    219923 |   65394   134505 |   21798  109183 12991111   119.0 | 81.778 % |
67.85/67.97	c |    220023 |   65338   134375 |   23977   22717  1789048    78.8 | 81.963 % |
67.95/68.00	c |    220174 |   65333   134362 |   26375   22867  1792281    78.4 | 81.976 % |
67.95/68.04	c |    220399 |   65333   134362 |   29013   23092  1806748    78.2 | 81.976 % |
67.95/68.08	c |    220736 |   65333   134362 |   31914   23429  1824678    77.9 | 81.976 % |
68.05/68.16	c |    221242 |   65333   134362 |   35105   23935  1866744    78.0 | 81.976 % |
68.25/68.34	c |    222002 |   65293   134272 |   38616   24652  1951243    79.2 | 82.055 % |
68.45/68.58	c |    223141 |   65286   134253 |   42478   25787  2104469    81.6 | 82.074 % |
68.95/69.00	c |    224849 |   65180   133992 |   46725   27472  2289235    83.3 | 82.319 % |
69.45/69.52	c |    227411 |   65176   133982 |   51398   30033  2573728    85.7 | 82.328 % |
70.25/70.35	c |    231255 |   65155   133933 |   56538   33873  3074425    90.8 | 82.373 % |
71.35/71.50	c |    237023 |   65155   133933 |   62192   39641  3661660    92.4 | 82.373 % |
73.65/73.76	c |    245672 |   65067   133711 |   68411   48265  4631228    96.0 | 82.585 % |
77.04/77.19	c |    258647 |   65059   133691 |   75252   61219  6278193   102.6 | 82.604 % |
84.04/84.11	c |    278108 |   65021   133594 |   82777   80669  8915752   110.5 | 82.696 % |
95.65/95.73	c |    307300 |   64872   133243 |   91055   25592  1556180    60.8 | 83.017 % |
106.44/106.60	c |    351089 |   64793   133051 |  100161   69306  6528778    94.2 | 83.195 % |
131.03/131.14	c |    416774 |   64788   133040 |  110177   29262  1877462    64.2 | 83.204 % |
160.93/161.02	c |    515301 |   64720   132872 |  121195  127771 12553149    98.2 | 83.363 % |
216.62/216.78	c |    663090 |   64700   132822 |  133314  147436 18558991   125.9 | 83.411 % |
220.51/220.61	c ==============================================================================
220.51/220.61	c Found solution: -42
220.51/220.61	o -42
220.51/220.62	c ---[   0]---> Sorter-cost:    0     Base:
220.61/220.77	c ==================================[MINISAT+]==================================
220.61/220.77	c | Conflicts | Original         | Learnt                           | Progress |
220.61/220.77	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
220.61/220.77	c ==============================================================================
220.61/220.77	c |    670036 |   64689   132759 |   21563  154239 19193355   124.4 | 83.411 % |
220.92/221.09	c |    670136 |   64689   132759 |   23719   23506  1426254    60.7 | 83.440 % |
221.02/221.12	c |    670286 |   64689   132759 |   26091   23656  1440513    60.9 | 83.440 % |
221.02/221.15	c |    670511 |   64659   132684 |   28700   23877  1445072    60.5 | 83.510 % |
221.11/221.21	c |    670848 |   64658   132681 |   31570   24212  1465492    60.5 | 83.513 % |
221.11/221.28	c |    671354 |   64658   132681 |   34727   24718  1502718    60.8 | 83.513 % |
221.21/221.36	c |    672113 |   64658   132681 |   38200   25477  1533548    60.2 | 83.513 % |
221.41/221.56	c |    673255 |   64658   132681 |   42020   26619  1650269    62.0 | 83.513 % |
221.71/221.82	c |    674963 |   64658   132681 |   46222   28327  1807326    63.8 | 83.513 % |
222.21/222.32	c |    677525 |   64658   132681 |   50844   30889  2146957    69.5 | 83.513 % |
222.91/223.05	c |    681369 |   64658   132681 |   55928   34733  2584151    74.4 | 83.513 % |
224.22/224.33	c |    687138 |   64648   132659 |   61521   40497  3247045    80.2 | 83.532 % |
226.11/226.20	c |    695787 |   64648   132659 |   67673   49146  4023892    81.9 | 83.532 % |
229.51/229.61	c |    708761 |   64645   132652 |   74441   62107  5386055    86.7 | 83.539 % |
235.51/235.64	c |    728222 |   64633   132624 |   81885   81565  7358969    90.2 | 83.564 % |
245.62/245.75	c |    757414 |   64604   132551 |   90074   23856  1501567    62.9 | 83.634 % |
256.02/256.13	c |    801203 |   64518   132341 |   99081   67615  6570911    97.2 | 83.827 % |
283.31/283.49	c |    866887 |   64518   132341 |  108989   29553  2117047    71.6 | 83.827 % |
314.61/314.74	c |    965413 |   64510   132323 |  119888  128074 11626819    90.8 | 83.843 % |
365.99/366.20	c |   1113203 |   64415   132092 |  131877   26090  1094778    42.0 | 84.050 % |
437.08/437.24	c |   1334886 |   64241   131665 |  145065  114643  6905362    60.2 | 84.450 % |
574.46/574.65	c |   1667411 |   64232   131644 |  159571  159066 10730803    67.5 | 84.469 % |
762.43/762.64	c |   2166200 |   64093   131312 |  175528  174452 13918765    79.8 | 84.773 % |
1114.98/1115.30	c |   2914382 |   64065   131244 |  193081   57690  1657077    28.7 | 84.837 % |
1691.50/1691.87	c |   4036656 |   64053   131216 |  212389   63160  2064216    32.7 | 84.862 % |
1800.08/1800.40	c 
1800.08/1800.40	c *** TERMINATED ***
1800.08/1800.40	s SATISFIABLE
1800.08/1800.40	v -x945 -x944 -x943 -x942 x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 x569 -x568 x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1

Verifier Data

OK	-42

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-3721307-1338554512/watcher-3721307-1338554512 -o /tmp/evaluation-result-3721307-1338554512/solver-3721307-1338554512 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721307-1338554512.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: 1.91 1.95 1.71 3/176 22436
/proc/meminfo: memFree=28920152/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=1404 CPUtime=0 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 188 0 0 0 0 0 0 0 20 0 1 0 321576857 1437696 145 33554432000 134512640 135395479 4286954592 4286953424 134618819 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 351 145 74 216 0 133 0

[startup+0.0482339 s]
/proc/loadavg: 1.91 1.95 1.71 3/176 22436
/proc/meminfo: memFree=28920152/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=2236 CPUtime=0.04 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 410 0 0 0 4 0 0 0 20 0 1 0 321576857 2289664 367 33554432000 134512640 135395479 4286954592 4286953608 135031278 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 559 367 74 216 0 341 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2236

[startup+0.10026 s]
/proc/loadavg: 1.91 1.95 1.71 3/176 22436
/proc/meminfo: memFree=28920152/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=3356 CPUtime=0.09 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 684 0 0 0 9 0 0 0 20 0 1 0 321576857 3436544 641 33554432000 134512640 135395479 4286954592 4286953640 135031278 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 839 641 74 216 0 621 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3356

[startup+0.300227 s]
/proc/loadavg: 1.91 1.95 1.71 3/176 22436
/proc/meminfo: memFree=28920152/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=7544 CPUtime=0.29 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 1735 0 0 0 29 0 0 0 20 0 1 0 321576857 7725056 1692 33554432000 134512640 135395479 4286954592 4286953004 135007481 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 1886 1692 74 216 0 1668 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7544

[startup+0.700232 s]
/proc/loadavg: 1.91 1.95 1.71 3/176 22436
/proc/meminfo: memFree=28920152/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=17136 CPUtime=0.69 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 4163 0 0 0 66 3 0 0 20 0 1 0 321576857 17547264 4120 33554432000 134512640 135395479 4286954592 4286951548 135005847 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 4284 4120 100 216 0 4066 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17136

[startup+1.50024 s]
/proc/loadavg: 1.91 1.95 1.71 3/177 22437
/proc/meminfo: memFree=28899716/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=22256 CPUtime=1.49 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 5436 0 0 0 146 3 0 0 20 0 1 0 321576857 22790144 5203 33554432000 134512640 135395479 4286954592 4286952944 134569723 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 5564 5203 110 216 0 5346 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22256

[startup+3.10024 s]
/proc/loadavg: 1.91 1.95 1.71 3/177 22437
/proc/meminfo: memFree=28899188/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=22484 CPUtime=3.09 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 5478 0 0 0 306 3 0 0 20 0 1 0 321576857 23023616 5245 33554432000 134512640 135395479 4286954592 4286952944 134569786 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 5621 5245 110 216 0 5403 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22484

[startup+6.30028 s]
/proc/loadavg: 1.92 1.95 1.71 3/177 22437
/proc/meminfo: memFree=28899064/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=22644 CPUtime=6.29 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 5500 0 0 0 626 3 0 0 20 0 1 0 321576857 23187456 5267 33554432000 134512640 135395479 4286954592 4286952640 134585936 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 5661 5267 110 216 0 5443 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22644

[startup+12.7003 s]
/proc/loadavg: 1.92 1.95 1.71 3/177 22437
/proc/meminfo: memFree=28890036/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=32072 CPUtime=12.69 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 7848 0 0 0 1265 4 0 0 20 0 1 0 321576857 32841728 7615 33554432000 134512640 135395479 4286954592 4286952944 134569806 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 8018 7615 110 216 0 7800 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32072

[startup+25.5003 s]
/proc/loadavg: 1.94 1.96 1.72 3/177 22437
/proc/meminfo: memFree=28880612/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=38964 CPUtime=25.48 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 9597 0 0 0 2544 4 0 0 20 0 1 0 321576857 39899136 9364 33554432000 134512640 135395479 4286954592 4286952428 135011021 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 9741 9364 110 216 0 9523 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38964

[startup+51.1003 s]
/proc/loadavg: 1.96 1.96 1.73 3/177 22437
/proc/meminfo: memFree=28848284/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=59820 CPUtime=51.07 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 14842 0 0 0 5101 6 0 0 20 0 1 0 321576857 61255680 14604 33554432000 134512640 135395479 4286954592 4286952944 134580916 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 14955 14604 110 216 0 14737 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 59820

[startup+102.307 s]
/proc/loadavg: 1.98 1.96 1.74 3/177 22437
/proc/meminfo: memFree=28815324/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=74364 CPUtime=102.24 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 18472 0 0 0 10217 7 0 0 20 0 1 0 321576857 76148736 18215 33554432000 134512640 135395479 4286954592 4286952944 134580947 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 18591 18215 110 216 0 18373 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 74364

[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.75 3/177 22437
/proc/meminfo: memFree=28795568/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=76984 CPUtime=162.24 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 19125 0 0 0 16216 8 0 0 20 0 1 0 321576857 78831616 18868 33554432000 134512640 135395479 4286954592 4286952492 135007481 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 19246 18868 110 216 0 19028 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 76984

[startup+222.3 s]
/proc/loadavg: 2.04 1.99 1.77 3/177 22437
/proc/meminfo: memFree=28745832/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=102920 CPUtime=222.21 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25588 0 0 0 22211 10 0 0 20 0 1 0 321576857 105390080 25327 33554432000 134512640 135395479 4286954592 4286952944 134581494 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 25730 25327 110 216 0 25512 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 102920

[startup+282.3 s]
/proc/loadavg: 2.01 1.99 1.78 3/176 22438
/proc/meminfo: memFree=28730112/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=102916 CPUtime=282.21 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25588 0 0 0 28210 11 0 0 20 0 1 0 321576857 105385984 25327 33554432000 134512640 135395479 4286954592 4286952944 134580965 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 25729 25327 110 216 0 25511 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 102916

[startup+342.3 s]
/proc/loadavg: 2.00 1.99 1.79 3/177 22439
/proc/meminfo: memFree=28719436/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=102896 CPUtime=342.2 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25588 0 0 0 34209 11 0 0 20 0 1 0 321576857 105365504 25327 33554432000 134512640 135395479 4286954592 4286952944 134580759 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 25724 25327 110 216 0 25506 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 102896

[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.80 3/177 22439
/proc/meminfo: memFree=28712352/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=102896 CPUtime=402.19 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25596 0 0 0 40208 11 0 0 20 0 1 0 321576857 105365504 25328 33554432000 134512640 135395479 4286954592 4286952944 134580878 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 25724 25328 110 216 0 25506 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 102896

[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.81 3/177 22439
/proc/meminfo: memFree=28712276/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=102896 CPUtime=462.18 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25607 0 0 0 46207 11 0 0 20 0 1 0 321576857 105365504 25339 33554432000 134512640 135395479 4286954592 4286952944 134581028 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 25724 25339 110 216 0 25506 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 102896

[startup+522.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/178 22442
/proc/meminfo: memFree=28711896/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=102896 CPUtime=522.17 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25615 0 0 0 52206 11 0 0 20 0 1 0 321576857 105365504 25347 33554432000 134512640 135395479 4286954592 4286952944 134580828 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 25724 25347 110 216 0 25506 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 102896

[startup+582.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/177 22443
/proc/meminfo: memFree=28711904/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=102896 CPUtime=582.16 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25617 0 0 0 58205 11 0 0 20 0 1 0 321576857 105365504 25349 33554432000 134512640 135395479 4286954592 4286952944 134580730 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 25724 25349 110 216 0 25506 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 102896

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.02 2.00 1.86 3/177 22443
/proc/meminfo: memFree=28711780/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=102896 CPUtime=822.12 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25644 0 0 0 82201 11 0 0 20 0 1 0 321576857 105365504 25376 33554432000 134512640 135395479 4286954592 4286952944 134580947 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 25724 25376 110 216 0 25506 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 102896

[startup+882.3 s]
/proc/loadavg: 2.01 2.00 1.86 3/177 22444
/proc/meminfo: memFree=28711904/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=102896 CPUtime=882.11 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25645 0 0 0 88200 11 0 0 20 0 1 0 321576857 105365504 25377 33554432000 134512640 135395479 4286954592 4286952944 134580965 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 25724 25377 110 216 0 25506 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 102896

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 22444
/proc/meminfo: memFree=28711036/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=102896 CPUtime=942.1 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25645 0 0 0 94199 11 0 0 20 0 1 0 321576857 105365504 25377 33554432000 134512640 135395479 4286954592 4286952944 134580929 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 25724 25377 110 216 0 25506 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 102896

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 22444
/proc/meminfo: memFree=28695096/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=102896 CPUtime=1002.09 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25645 0 0 0 100198 11 0 0 20 0 1 0 321576857 105365504 25377 33554432000 134512640 135395479 4286954592 4286952944 134580768 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 25724 25377 110 216 0 25506 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 102896

[startup+1062.3 s]
/proc/loadavg: 2.03 2.01 1.88 3/177 22444
/proc/meminfo: memFree=28680960/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=102896 CPUtime=1062.09 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25645 0 0 0 106198 11 0 0 20 0 1 0 321576857 105365504 25377 33554432000 134512640 135395479 4286954592 4286952560 134576810 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 25724 25377 110 216 0 25506 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 102896

[startup+1122.3 s]
/proc/loadavg: 2.11 2.04 1.90 3/178 22447
/proc/meminfo: memFree=28674008/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=103440 CPUtime=1122.08 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25741 0 0 0 112197 11 0 0 20 0 1 0 321576857 105922560 25473 33554432000 134512640 135395479 4286954592 4286952944 134580888 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 25860 25473 110 216 0 25642 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 103440

[startup+1182.3 s]
/proc/loadavg: 2.04 2.03 1.91 3/178 22470
/proc/meminfo: memFree=28673604/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=103440 CPUtime=1182.07 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25741 0 0 0 118196 11 0 0 20 0 1 0 321576857 105922560 25473 33554432000 134512640 135395479 4286954592 4286952944 134581491 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 25860 25473 110 216 0 25642 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 103440

[startup+1242.3 s]
/proc/loadavg: 2.08 2.04 1.91 3/177 22470
/proc/meminfo: memFree=28672868/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=103844 CPUtime=1242.06 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25757 0 0 0 124195 11 0 0 20 0 1 0 321576857 106336256 25489 33554432000 134512640 135395479 4286954592 4286952944 134580768 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 25961 25489 110 216 0 25743 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 103844

[startup+1302.3 s]
/proc/loadavg: 2.03 2.03 1.91 3/177 22470
/proc/meminfo: memFree=28672248/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=104208 CPUtime=1302.06 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25846 0 0 0 130195 11 0 0 20 0 1 0 321576857 106708992 25578 33554432000 134512640 135395479 4286954592 4286952944 134580856 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 26052 25578 110 216 0 25834 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 104208

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 1.91 3/177 22470
/proc/meminfo: memFree=28672248/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=104572 CPUtime=1362.04 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 25911 0 0 0 136193 11 0 0 20 0 1 0 321576857 107081728 25643 33554432000 134512640 135395479 4286954592 4286952944 134580973 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 26143 25643 110 216 0 25925 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 104572

[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 1.91 3/177 22470
/proc/meminfo: memFree=28671628/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=105300 CPUtime=1422.04 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 26046 0 0 0 142193 11 0 0 20 0 1 0 321576857 107827200 25778 33554432000 134512640 135395479 4286954592 4286952944 134580896 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 26325 25778 110 216 0 26107 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 105300

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 22471
/proc/meminfo: memFree=28671752/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=105300 CPUtime=1482.02 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 26046 0 0 0 148191 11 0 0 20 0 1 0 321576857 107827200 25778 33554432000 134512640 135395479 4286954592 4286952464 134574262 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 26325 25778 110 216 0 26107 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 105300

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 22471
/proc/meminfo: memFree=28671752/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=105300 CPUtime=1542.01 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 26046 0 0 0 154190 11 0 0 20 0 1 0 321576857 107827200 25778 33554432000 134512640 135395479 4286954592 4286952944 134580768 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 26325 25778 110 216 0 26107 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 105300

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 22471
/proc/meminfo: memFree=28671628/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=105300 CPUtime=1602 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 26046 0 0 0 160189 11 0 0 20 0 1 0 321576857 107827200 25778 33554432000 134512640 135395479 4286954592 4286952464 134573863 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 26325 25778 110 216 0 26107 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 105300

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 22471
/proc/meminfo: memFree=28672124/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=105300 CPUtime=1661.99 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 26046 0 0 0 166188 11 0 0 20 0 1 0 321576857 107827200 25778 33554432000 134512640 135395479 4286954592 4286952944 134580816 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 26325 25778 110 216 0 26107 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 105300

[startup+1722.3 s]
/proc/loadavg: 2.10 2.03 1.93 3/178 22523
/proc/meminfo: memFree=28821148/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=105300 CPUtime=1721.99 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 26046 0 0 0 172188 11 0 0 20 0 1 0 321576857 107827200 25778 33554432000 134512640 135395479 4286954592 4286952944 134580973 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 26325 25778 110 216 0 26107 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 105300

[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 1.93 3/177 22524
/proc/meminfo: memFree=28810268/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=105300 CPUtime=1781.98 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 26047 0 0 0 178187 11 0 0 20 0 1 0 321576857 107827200 25779 33554432000 134512640 135395479 4286954592 4286952944 134580801 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 26325 25779 110 216 0 26107 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 105300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.02 1.93 3/177 22524
/proc/meminfo: memFree=28810764/32873844 swapFree=7112/7112
[pid=22436] ppid=22434 vsize=105300 CPUtime=1800.08 cores=1,3,5,7
/proc/22436/stat : 22436 (minisat+) R 22434 22436 22116 0 -1 4202496 26066 0 0 0 179997 11 0 0 20 0 1 0 321576857 107827200 25798 33554432000 134512640 135395479 4286954592 4286952916 134580248 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/22436/statm: 26325 25798 110 216 0 26107 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 105300

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

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

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1799.98
CPU system time (s): 0.111982
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 105300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.111982
maximum resident set size= 103200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26068
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= 47
involuntary context switches= 1854

runsolver used 3.89141 second user time and 9.25359 second system time

The end

Launcher Data

Begin job on node119 at 2012-06-01 14:41:52
IDJOB=3721307
IDBENCH=2252
IDSOLVER=2306
FILE ID=node119/3721307-1338554512
RUNJOBID= node119-1338552571-22133
PBS_JOBID= 14635865
Free space on /tmp= 70920 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-1.opb
COMMAND LINE= HOME/minisat+ BENCHNAME            
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3721307-1338554512/watcher-3721307-1338554512 -o /tmp/evaluation-result-3721307-1338554512/solver-3721307-1338554512 -C 1800 -W 1900 -M 15500  HOME/minisat+ HOME/instance-3721307-1338554512.opb            

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

MD5SUM BENCH= 05ceccb8ea9c274c844c39df1472d3cc
RANDOM SEED=1274578797

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:        28920812 kB
Buffers:          355552 kB
Cached:          2742896 kB
SwapCached:         1912 kB
Active:          1384528 kB
Inactive:        1765044 kB
Active(anon):      46576 kB
Inactive(anon):     6604 kB
Active(file):    1337952 kB
Inactive(file):  1758440 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100216 kB
Dirty:              3520 kB
Writeback:             0 kB
AnonPages:         56344 kB
Mapped:            12164 kB
Shmem:                 0 kB
Slab:             667672 kB
SReclaimable:     109924 kB
SUnreclaim:       557748 kB
KernelStack:        1464 kB
PageTables:         3808 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     170600 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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-3721307-1338554512.opb

Free space on /tmp at the end= 70920 MiB
End job on node119 at 2012-06-01 15:11:54