Trace number 3721318

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)-54 1800.01 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-4.opb
MD5SUM937ec96fd1742e5ed6250d14e65c707b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-54
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -57
Optimality of the best value was proved NO
Number of variables1534
Total number of constraints127011
Number of constraints which are clauses127011
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 1534
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 1534
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1534
Number of bits of the biggest sum of numbers11
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...
1.29/1.35	c Converting 127011 PB-constraints to clauses...
1.29/1.36	c   -- Unit propagations: (none)
1.29/1.36	c   -- Detecting intervals from adjacent constraints: (none)
1.29/1.36	c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
1.49/1.50	c ==================================[MINISAT+]==================================
1.49/1.50	c | Conflicts | Original         | Learnt                           | Progress |
1.49/1.50	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.49/1.50	c ==============================================================================
1.49/1.50	c |         0 |  127011   254022 |   42337       0        0     nan |  0.000 % |
1.49/1.50	c ==============================================================================
1.49/1.50	c Found solution: -39
1.49/1.50	o -39
1.49/1.51	c ---[   0]---> Sorter-cost:85954     Base:
1.59/1.60	c ==================================[MINISAT+]==================================
1.59/1.60	c | Conflicts | Original         | Learnt                           | Progress |
1.59/1.60	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.59/1.60	c ==============================================================================
1.59/1.60	c |         0 |  217724   466825 |   72574       0        0     nan |  0.000 % |
1.69/1.74	c |       101 |  217100   465520 |   79831      75     1891    25.2 |  0.552 % |
1.89/1.93	c |       251 |  216142   463482 |   87814     175     2869    16.4 |  1.472 % |
1.99/2.00	c ==============================================================================
1.99/2.00	c Found solution: -41
1.99/2.00	o -41
1.99/2.01	c ---[   0]---> Sorter-cost:    0     Base:
1.99/2.05	c ==================================[MINISAT+]==================================
1.99/2.05	c | Conflicts | Original         | Learnt                           | Progress |
1.99/2.05	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.99/2.05	c ==============================================================================
1.99/2.05	c |       283 |  215895   463068 |   71965     196     3081    15.7 |  1.472 % |
2.09/2.15	c |       383 |  215282   461707 |   79161     278     3977    14.3 |  2.308 % |
2.29/2.33	c |       533 |  214159   459226 |   87077     364     4788    13.2 |  3.458 % |
2.49/2.57	c |       758 |  213006   456739 |   95785     549     6483    11.8 |  4.484 % |
2.99/3.05	c |      1095 |  209782   449507 |  105363     745     9421    12.6 |  7.724 % |
3.59/3.63	c |      1601 |  206432   442115 |  115900    1112    13705    12.3 | 10.979 % |
4.39/4.45	c |      2360 |  201924   431973 |  127490    1602    20009    12.5 | 15.533 % |
5.59/5.60	c |      3500 |  195490   417458 |  140239    2379    31301    13.2 | 22.054 % |
7.19/7.24	c |      5208 |  186285   396444 |  154263    3408    43041    12.6 | 31.638 % |
9.19/9.21	c |      7770 |  173869   367796 |  169689    5209    63334    12.2 | 44.393 % |
11.29/11.38	c |     11614 |  161751   339183 |  186658    7679    87729    11.4 | 57.565 % |
12.09/12.15	c ==============================================================================
12.09/12.15	c Found solution: -42
12.09/12.15	o -42
12.09/12.16	c ---[   0]---> Sorter-cost:    0     Base:
12.19/12.20	c ==================================[MINISAT+]==================================
12.19/12.20	c | Conflicts | Original         | Learnt                           | Progress |
12.19/12.20	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
12.19/12.20	c ==============================================================================
12.19/12.20	c |     13187 |  157688   329476 |   52562    8663   102201    11.8 | 57.565 % |
12.29/12.33	c |     13287 |  156933   327666 |   57818    8663   102407    11.8 | 62.822 % |
12.39/12.41	c |     13437 |  156496   326637 |   63600    8745   104289    11.9 | 63.301 % |
12.49/12.51	c |     13662 |  155926   325281 |   69960    8819   104473    11.8 | 63.932 % |
12.59/12.64	c |     13999 |  155223   323650 |   76956    9083   108132    11.9 | 64.683 % |
12.89/12.92	c |     14505 |  153620   319797 |   84651    9246   108097    11.7 | 66.481 % |
13.09/13.16	c |     15266 |  152501   317114 |   93116    9748   115430    11.8 | 67.730 % |
13.49/13.56	c |     16405 |  150344   311979 |  102428   10394   122912    11.8 | 70.057 % |
14.09/14.13	c |     18113 |  147697   305619 |  112671   11549   139462    12.1 | 72.985 % |
14.19/14.25	c ==============================================================================
14.19/14.25	c Found solution: -43
14.19/14.25	o -43
14.19/14.26	c ---[   0]---> Sorter-cost:    0     Base:
14.29/14.30	c ==================================[MINISAT+]==================================
14.29/14.30	c | Conflicts | Original         | Learnt                           | Progress |
14.29/14.30	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
14.29/14.30	c ==============================================================================
14.29/14.30	c |     18694 |  147539   305334 |   49179   12008   148388    12.4 | 72.985 % |
14.29/14.34	c |     18794 |  147400   304996 |   54096   12090   148857    12.3 | 73.377 % |
14.39/14.42	c |     18945 |  146811   303591 |   59506   12125   150381    12.4 | 74.016 % |
14.49/14.51	c |     19170 |  146618   303111 |   65457   12274   152728    12.4 | 74.244 % |
14.59/14.63	c |     19507 |  145916   301459 |   72002   12424   155150    12.5 | 75.006 % |
14.79/14.80	c |     20013 |  145431   300287 |   79203   12767   162117    12.7 | 75.554 % |
14.99/15.02	c |     20772 |  144765   298681 |   87123   13375   171555    12.8 | 76.309 % |
15.29/15.34	c |     21911 |  143552   295765 |   95835   14116   185523    13.1 | 77.671 % |
15.59/15.64	c ==============================================================================
15.59/15.64	c Found solution: -44
15.59/15.64	o -44
15.59/15.65	c ---[   0]---> Sorter-cost:    0     Base:
15.59/15.69	c ==================================[MINISAT+]==================================
15.59/15.69	c | Conflicts | Original         | Learnt                           | Progress |
15.59/15.69	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
15.59/15.69	c ==============================================================================
15.59/15.69	c |     23059 |  142709   293706 |   47569   14897   209048    14.0 | 77.671 % |
15.69/15.73	c |     23159 |  142510   293231 |   52325   14949   209340    14.0 | 78.860 % |
15.69/15.79	c |     23310 |  142062   292140 |   57558   14929   208787    14.0 | 79.346 % |
15.79/15.87	c |     23536 |  141876   291690 |   63314   15084   214231    14.2 | 79.559 % |
15.89/15.97	c |     23873 |  141619   291066 |   69645   15263   216726    14.2 | 79.842 % |
15.99/16.08	c |     24380 |  141451   290658 |   76610   15623   225005    14.4 | 80.026 % |
16.09/16.17	c |     25139 |  141389   290517 |   84271   16374   240561    14.7 | 80.090 % |
16.29/16.37	c |     26278 |  141010   289613 |   92698   17296   268483    15.5 | 80.505 % |
16.59/16.66	c |     27986 |  140784   289062 |  101968   18835   308966    16.4 | 80.767 % |
17.09/17.11	c |     30548 |  140209   287664 |  112165   21022   405981    19.3 | 81.421 % |
17.39/17.42	c ==============================================================================
17.39/17.42	c Found solution: -45
17.39/17.42	o -45
17.39/17.43	c ---[   0]---> Sorter-cost:    0     Base:
17.39/17.48	c ==================================[MINISAT+]==================================
17.39/17.48	c | Conflicts | Original         | Learnt                           | Progress |
17.39/17.48	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
17.39/17.48	c ==============================================================================
17.39/17.48	c |     31778 |  139373   285667 |   46457   21842   443937    20.3 | 81.421 % |
17.49/17.51	c |     31878 |  139276   285430 |   51102   21902   444674    20.3 | 82.494 % |
17.49/17.53	c |     32029 |  139276   285430 |   56212   22053   447802    20.3 | 82.494 % |
17.59/17.61	c |     32254 |  139132   285074 |   61834   22160   457327    20.6 | 82.665 % |
17.59/17.66	c |     32591 |  139096   284980 |   68017   22456   466009    20.8 | 82.711 % |
17.69/17.76	c |     33097 |  139094   284976 |   74819   22954   500316    21.8 | 82.712 % |
17.79/17.87	c |     33856 |  139054   284872 |   82301   23600   526498    22.3 | 82.762 % |
18.09/18.13	c |     34995 |  138920   284556 |   90531   24549   663204    27.0 | 82.909 % |
18.39/18.48	c ==============================================================================
18.39/18.48	c Found solution: -46
18.39/18.48	o -46
18.39/18.49	c ---[   0]---> Sorter-cost:    0     Base:
18.49/18.54	c ==================================[MINISAT+]==================================
18.49/18.54	c | Conflicts | Original         | Learnt                           | Progress |
18.49/18.54	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
18.49/18.54	c ==============================================================================
18.49/18.54	c |     36284 |  138821   284259 |   46273   25668   883732    34.4 | 82.909 % |
18.59/18.61	c |     36385 |  138694   283953 |   50900   25669   884126    34.4 | 83.174 % |
18.59/18.63	c |     36536 |  138694   283953 |   55990   25820   891891    34.5 | 83.174 % |
18.69/18.70	c |     36762 |  138602   283731 |   61589   25934   893650    34.5 | 83.279 % |
18.69/18.77	c |     37100 |  138554   283617 |   67748   26205   902693    34.4 | 83.333 % |
18.89/18.91	c |     37606 |  138370   283163 |   74523   26546   924148    34.8 | 83.550 % |
18.99/19.05	c |     38365 |  138313   283026 |   81975   27113   948062    35.0 | 83.615 % |
19.09/19.14	c ==============================================================================
19.09/19.14	c Found solution: -48
19.09/19.14	o -48
19.09/19.15	c ---[   0]---> Sorter-cost:    0     Base:
19.19/19.20	c ==================================[MINISAT+]==================================
19.19/19.20	c | Conflicts | Original         | Learnt                           | Progress |
19.19/19.20	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
19.19/19.20	c ==============================================================================
19.19/19.20	c |     38791 |  138360   283160 |   46120   27022   836672    31.0 | 83.615 % |
19.19/19.22	c |     38892 |  138358   283156 |   50732   27122   837742    30.9 | 83.607 % |
19.19/19.27	c |     39043 |  138332   283094 |   55805   27268   842795    30.9 | 83.636 % |
19.29/19.37	c |     39268 |  138117   282577 |   61385   27410   845816    30.9 | 83.879 % |
19.39/19.43	c |     39605 |  138117   282577 |   67524   27747   884440    31.9 | 83.879 % |
19.49/19.54	c |     40111 |  138075   282477 |   74276   28208   904104    32.1 | 83.926 % |
19.69/19.72	c |     40870 |  137982   282266 |   81704   28889   956337    33.1 | 84.019 % |
19.89/19.96	c |     42009 |  137859   281970 |   89874   29943  1018380    34.0 | 84.157 % |
20.29/20.35	c |     43717 |  137738   281685 |   98862   31588  1206634    38.2 | 84.288 % |
20.79/20.90	c |     46279 |  137357   280740 |  108748   33696  1418373    42.1 | 84.732 % |
21.89/21.95	c |     50123 |  137309   280630 |  119623   37526  2132174    56.8 | 84.782 % |
23.39/23.42	c ==============================================================================
23.39/23.42	c Found solution: -49
23.39/23.42	o -49
23.39/23.43	c ---[   0]---> Sorter-cost:    0     Base:
23.39/23.49	c ==================================[MINISAT+]==================================
23.39/23.49	c | Conflicts | Original         | Learnt                           | Progress |
23.39/23.49	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
23.39/23.49	c ==============================================================================
23.39/23.49	c |     55401 |  137127   280197 |   45709   42680  2974708    69.7 | 84.782 % |
23.49/23.51	c |     55501 |  137127   280197 |   50279   42780  2976346    69.6 | 85.002 % |
23.59/23.60	c |     55651 |  136978   279835 |   55307   42557  2970739    69.8 | 85.168 % |
23.59/23.66	c |     55876 |  136978   279835 |   60838   42782  2981811    69.7 | 85.168 % |
23.79/23.81	c |     56213 |  136946   279745 |   66922   42968  2999837    69.8 | 85.208 % |
23.89/23.99	c |     56720 |  136769   279322 |   73614   42865  3011417    70.3 | 85.406 % |
24.19/24.23	c |     57479 |  136682   279123 |   80976   43566  3091567    71.0 | 85.496 % |
24.39/24.49	c |     58618 |  136682   279123 |   89073   44705  3176085    71.0 | 85.496 % |
24.89/24.94	c |     60327 |  136677   279112 |   97981   46359  3394772    73.2 | 85.501 % |
25.69/25.79	c |     62889 |  136606   278935 |  107779   48822  3952476    81.0 | 85.586 % |
26.69/26.79	c |     66734 |  136606   278935 |  118557   52667  4362427    82.8 | 85.586 % |
27.89/27.94	c ==============================================================================
27.89/27.94	c Found solution: -50
27.89/27.94	o -50
27.89/27.95	c ---[   0]---> Sorter-cost:    0     Base:
27.99/28.03	c ==================================[MINISAT+]==================================
27.99/28.03	c | Conflicts | Original         | Learnt                           | Progress |
27.99/28.03	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
27.99/28.03	c ==============================================================================
27.99/28.03	c |     70484 |  136545   278743 |   45515   56061  4839854    86.3 | 85.586 % |
27.99/28.06	c |     70585 |  136545   278743 |   50066   56162  4844298    86.3 | 85.659 % |
28.09/28.10	c |     70735 |  136545   278743 |   55073   56312  4853620    86.2 | 85.659 % |
28.19/28.22	c |     70965 |  136508   278657 |   60580   56513  4877293    86.3 | 85.698 % |
28.29/28.35	c |     71302 |  136496   278631 |   66638   56834  4903232    86.3 | 85.709 % |
28.39/28.47	c |     71808 |  136496   278631 |   73302   57340  4937196    86.1 | 85.709 % |
28.59/28.66	c |     72567 |  136496   278631 |   80632   58099  4981194    85.7 | 85.709 % |
28.99/29.08	c |     73706 |  136461   278546 |   88695   59205  5136627    86.8 | 85.749 % |
29.59/29.67	c |     75418 |  136461   278546 |   97565   60917  5434311    89.2 | 85.749 % |
30.48/30.54	c |     77980 |  136417   278438 |  107321   63453  5774796    91.0 | 85.799 % |
31.90/31.94	c |     81824 |  136321   278208 |  118054   67105  6309832    94.0 | 85.907 % |
34.38/34.40	c |     87590 |  136321   278208 |  129859   72871  7685311   105.5 | 85.907 % |
38.09/38.17	c |     96241 |  136217   277949 |  142845   81328  9191572   113.0 | 86.031 % |
44.18/44.26	c |    109215 |  136204   277918 |  157130   94286 11641845   123.5 | 86.046 % |
54.49/54.55	c ==============================================================================
54.49/54.55	c Found solution: -51
54.49/54.55	o -51
54.49/54.57	c ---[   0]---> Sorter-cost:    0     Base:
54.69/54.72	c ==================================[MINISAT+]==================================
54.69/54.72	c | Conflicts | Original         | Learnt                           | Progress |
54.69/54.72	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
54.69/54.72	c ==============================================================================
54.69/54.72	c |    125220 |  136194   277914 |   45398  110254 16471650   149.4 | 86.046 % |
54.79/54.87	c |    125320 |  136181   277883 |   49937   20057  4267558   212.8 | 86.113 % |
54.89/54.93	c |    125470 |  136169   277853 |   54931   20206  4271480   211.4 | 86.113 % |
54.89/54.95	c |    125697 |  136169   277853 |   60424   20433  4273810   209.2 | 86.113 % |
54.99/55.07	c |    126034 |  136117   277724 |   66467   20608  4287831   208.1 | 86.174 % |
55.29/55.38	c |    126540 |  135890   277186 |   73113   21097  4314903   204.5 | 86.423 % |
55.49/55.51	c |    127299 |  135890   277186 |   80425   21856  4363796   199.7 | 86.423 % |
55.69/55.70	c |    128438 |  135890   277186 |   88467   22995  4434339   192.8 | 86.423 % |
55.99/56.04	c |    130146 |  135868   277130 |   97314   24672  4540070   184.0 | 86.451 % |
56.49/56.58	c |    132709 |  135755   276862 |  107046   27219  4704140   172.8 | 86.574 % |
57.59/57.60	c |    136554 |  135751   276852 |  117750   31061  5320921   171.3 | 86.579 % |
59.09/59.16	c |    142320 |  135645   276598 |  129525   36769  5908029   160.7 | 86.698 % |
61.59/61.65	c |    150969 |  135622   276541 |  142478   45411  7122478   156.8 | 86.725 % |
65.78/65.86	c |    163943 |  135377   275953 |  156726   58104  8615626   148.3 | 86.995 % |
73.18/73.25	c |    183404 |  135186   275506 |  172398   77279 11243538   145.5 | 87.201 % |
86.28/86.39	c |    212596 |  135136   275378 |  189638  106355 16308482   153.3 | 87.262 % |
115.57/115.69	c |    256385 |  135136   275378 |  208602  150144 24609310   163.9 | 87.262 % |
163.25/163.38	c ==============================================================================
163.25/163.38	c Found solution: -52
163.25/163.38	o -52
163.25/163.39	c ---[   0]---> Sorter-cost:    0     Base:
163.55/163.68	c ==================================[MINISAT+]==================================
163.55/163.68	c | Conflicts | Original         | Learnt                           | Progress |
163.55/163.68	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
163.55/163.68	c ==============================================================================
163.55/163.68	c |    319218 |  135118   275317 |   45039  212629 36982741   173.9 | 87.262 % |
163.95/164.03	c |    319319 |  135102   275277 |   49542   23999  2954720   123.1 | 87.302 % |
163.95/164.08	c |    319469 |  135102   275277 |   54497   24149  2958652   122.5 | 87.302 % |
164.05/164.12	c |    319694 |  135102   275277 |   59946   24374  2971371   121.9 | 87.302 % |
164.05/164.18	c |    320031 |  135102   275277 |   65941   24711  2996195   121.2 | 87.302 % |
164.15/164.26	c |    320537 |  135102   275277 |   72535   25217  3032767   120.3 | 87.302 % |
164.35/164.45	c |    321296 |  135070   275205 |   79789   25962  3089953   119.0 | 87.334 % |
164.55/164.65	c |    322435 |  135070   275205 |   87768   27101  3165373   116.8 | 87.334 % |
164.86/164.96	c |    324143 |  135070   275205 |   96545   28809  3294990   114.4 | 87.334 % |
165.35/165.48	c |    326705 |  135070   275205 |  106199   31371  3594774   114.6 | 87.334 % |
166.35/166.41	c |    330549 |  135025   275096 |  116819   35180  4108395   116.8 | 87.386 % |
167.65/167.79	c |    336315 |  135025   275096 |  128501   40946  4934785   120.5 | 87.386 % |
169.95/170.01	c |    344964 |  134979   274988 |  141351   49583  6070038   122.4 | 87.436 % |
173.75/173.81	c |    357939 |  134979   274988 |  155486   62558  8149187   130.3 | 87.436 % |
180.64/180.74	c |    377401 |  134971   274968 |  171035   82016 11007905   134.2 | 87.445 % |
192.93/193.02	c |    406593 |  134952   274923 |  188139  111200 16198587   145.7 | 87.466 % |
213.92/214.07	c |    450383 |  134930   274869 |  206952  154931 23785627   153.5 | 87.492 % |
256.79/256.98	c |    516067 |  134920   274845 |  227648  220565 35722294   162.0 | 87.503 % |
325.59/325.70	c |    614594 |  134911   274822 |  250413   58194 11304096   194.2 | 87.514 % |
394.28/394.49	c |    762383 |  134819   274614 |  275454  205959 37702602   183.1 | 87.607 % |
532.62/532.89	c |    984069 |  134770   274489 |  302999  122462 19303435   157.6 | 87.668 % |
641.40/641.61	c ==============================================================================
641.40/641.61	c Found solution: -53
641.40/641.61	o -53
641.40/641.63	c ---[   0]---> Sorter-cost:    0     Base:
641.80/642.03	c ==================================[MINISAT+]==================================
641.80/642.03	c | Conflicts | Original         | Learnt                           | Progress |
641.80/642.03	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
641.80/642.03	c ==============================================================================
641.80/642.03	c |   1149337 |  134792   274550 |   44930  287730 54148173   188.2 | 87.668 % |
642.50/642.72	c |   1149437 |  134792   274550 |   49423   29333  3609426   123.1 | 87.652 % |
642.50/642.77	c |   1149587 |  134792   274550 |   54365   29483  3615889   122.6 | 87.652 % |
642.60/642.80	c |   1149812 |  134792   274550 |   59801   29708  3623760   122.0 | 87.652 % |
642.60/642.85	c |   1150149 |  134792   274550 |   65782   30045  3636875   121.0 | 87.652 % |
642.70/642.90	c |   1150656 |  134792   274550 |   72360   30552  3651903   119.5 | 87.652 % |
642.80/643.02	c |   1151416 |  134790   274546 |   79596   31310  3683166   117.6 | 87.654 % |
643.00/643.21	c |   1152555 |  134790   274546 |   87555   32449  3798642   117.1 | 87.654 % |
643.31/643.57	c |   1154263 |  134790   274546 |   96311   34157  4041368   118.3 | 87.654 % |
643.80/644.09	c |   1156825 |  134747   274435 |  105942   36698  4303577   117.3 | 87.707 % |
644.70/644.92	c |   1160670 |  134704   274328 |  116536   40537  4850319   119.7 | 87.758 % |
645.90/646.13	c |   1166436 |  134704   274328 |  128190   46303  5597103   120.9 | 87.758 % |
648.00/648.23	c |   1175085 |  134699   274317 |  141009   54950  6690009   121.7 | 87.763 % |
651.80/652.03	c |   1188059 |  134664   274236 |  155110   67917  8533668   125.6 | 87.800 % |
658.60/658.87	c |   1207520 |  134627   274151 |  170621   87334 11623072   133.1 | 87.838 % |
670.60/670.87	c |   1236714 |  134627   274151 |  187683  116528 15701719   134.7 | 87.838 % |
693.39/693.69	c |   1280503 |  134621   274137 |  206452  160311 21821508   136.1 | 87.845 % |
729.09/729.38	c |   1346187 |  134616   274126 |  227097  225928 30373862   134.4 | 87.850 % |
787.57/787.83	c |   1444713 |  134616   274126 |  249807   68430  7326340   107.1 | 87.850 % |
867.06/867.38	c |   1592503 |  134558   273972 |  274787  216203 38297597   177.1 | 87.923 % |
998.64/998.98	c |   1814188 |  134502   273829 |  302266  137745 21549683   156.4 | 87.989 % |
1192.60/1192.94	c |   2146713 |  134469   273746 |  332493  143376 14222494    99.2 | 88.029 % |
1513.45/1513.89	c |   2645502 |  134433   273658 |  365742  282358 45947309   162.7 | 88.071 % |
1692.23/1692.61	c ==============================================================================
1692.23/1692.61	c Found solution: -54
1692.23/1692.61	o -54
1692.23/1692.62	c ---[   0]---> Sorter-cost:    0     Base:
1692.43/1692.80	c ==================================[MINISAT+]==================================
1692.43/1692.80	c | Conflicts | Original         | Learnt                           | Progress |
1692.43/1692.80	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1692.43/1692.80	c ==============================================================================
1692.43/1692.80	c |   2916622 |  134364   273460 |   44788  163153 19864493   121.8 | 88.071 % |
1692.93/1693.33	c |   2916722 |  134364   273460 |   49266   33012  2057974    62.3 | 88.157 % |
1692.93/1693.36	c |   2916872 |  134364   273460 |   54193   33162  2066416    62.3 | 88.157 % |
1693.03/1693.40	c |   2917097 |  134364   273460 |   59612   33387  2083131    62.4 | 88.157 % |
1693.03/1693.46	c |   2917434 |  134364   273460 |   65574   33724  2109561    62.6 | 88.157 % |
1693.13/1693.55	c |   2917940 |  134364   273460 |   72131   34230  2147428    62.7 | 88.157 % |
1693.23/1693.69	c |   2918700 |  134364   273460 |   79344   34990  2230895    63.8 | 88.157 % |
1693.53/1693.91	c |   2919840 |  134364   273460 |   87279   36130  2369293    65.6 | 88.157 % |
1693.83/1694.26	c |   2921550 |  134357   273441 |   96007   37834  2525979    66.8 | 88.166 % |
1694.33/1694.78	c |   2924113 |  134357   273441 |  105607   40397  2771013    68.6 | 88.166 % |
1695.23/1695.65	c |   2927957 |  134352   273430 |  116168   44202  3378093    76.4 | 88.171 % |
1696.43/1696.87	c |   2933723 |  134352   273430 |  127785   49968  4048725    81.0 | 88.171 % |
1698.63/1699.03	c |   2942372 |  134352   273430 |  140563   58617  5085364    86.8 | 88.171 % |
1702.63/1703.01	c |   2955346 |  134346   273414 |  154620   71588  6853497    95.7 | 88.179 % |
1708.83/1709.27	c |   2974808 |  134339   273395 |  170082   91046  9362463   102.8 | 88.189 % |
1720.62/1721.03	c |   3004000 |  134339   273395 |  187090  120238 14103201   117.3 | 88.189 % |
1740.83/1741.26	c |   3047790 |  134298   273292 |  205799  164004 20249386   123.5 | 88.238 % |
1780.20/1780.65	c |   3113474 |  134295   273285 |  226379  229687 26213915   114.1 | 88.242 % |
1800.00/1800.40	c 
1800.00/1800.40	c *** TERMINATED ***
1800.00/1800.40	s SATISFIABLE
1800.00/1800.40	v -x1534 -x1533 -x1532 -x1531 -x1530 -x1529 -x1528 -x1527 x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509 -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 x1497 -x1496 -x1495 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -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	-54

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-3721318-1338554547/watcher-3721318-1338554547 -o /tmp/evaluation-result-3721318-1338554547/solver-3721318-1338554547 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721318-1338554547.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.02 1.78 3/176 12472
/proc/meminfo: memFree=30093128/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=1424 CPUtime=0 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 216 0 0 0 0 0 0 0 20 0 1 0 321580719 1458176 173 33554432000 134512640 135395479 4288923680 4288922500 135005894 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12472/statm: 356 173 74 216 0 138 0

[startup+0.0383349 s]
/proc/loadavg: 2.00 2.02 1.78 3/176 12472
/proc/meminfo: memFree=30093128/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=2112 CPUtime=0.03 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 370 0 0 0 3 0 0 0 20 0 1 0 321580719 2162688 327 33554432000 134512640 135395479 4288923680 4288922080 135002596 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12472/statm: 528 327 74 216 0 310 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2112

[startup+0.100207 s]
/proc/loadavg: 2.00 2.02 1.78 3/176 12472
/proc/meminfo: memFree=30093128/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=3376 CPUtime=0.09 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 695 0 0 0 9 0 0 0 20 0 1 0 321580719 3457024 652 33554432000 134512640 135395479 4288923680 4288922160 134810877 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12472/statm: 844 652 74 216 0 626 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3376

[startup+0.300171 s]
/proc/loadavg: 2.00 2.02 1.78 3/176 12472
/proc/meminfo: memFree=30093128/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=7632 CPUtime=0.29 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 1747 0 0 0 29 0 0 0 20 0 1 0 321580719 7815168 1704 33554432000 134512640 135395479 4288923680 4288922600 135031278 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12472/statm: 1908 1704 74 216 0 1690 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7632

[startup+0.700185 s]
/proc/loadavg: 2.00 2.02 1.78 3/176 12472
/proc/meminfo: memFree=30093128/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=16064 CPUtime=0.69 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 3835 0 0 0 69 0 0 0 20 0 1 0 321580719 16449536 3792 33554432000 134512640 135395479 4288923680 4288921980 135007481 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12472/statm: 4016 3792 74 216 0 3798 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16064

[startup+1.50025 s]
/proc/loadavg: 2.00 2.02 1.78 3/177 12473
/proc/meminfo: memFree=30070792/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=35468 CPUtime=1.49 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 8725 0 0 0 142 7 0 0 20 0 1 0 321580719 36319232 8682 33554432000 134512640 135395479 4288923680 4288922620 134838470 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12472/statm: 8867 8682 89 216 0 8649 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35468

[startup+3.10023 s]
/proc/loadavg: 2.00 2.02 1.78 3/177 12473
/proc/meminfo: memFree=30047976/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=45740 CPUtime=3.09 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 11168 0 0 0 302 7 0 0 20 0 1 0 321580719 46837760 10844 33554432000 134512640 135395479 4288923680 4288922080 134582099 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12472/statm: 11435 10844 110 216 0 11217 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45740

[startup+6.30017 s]
/proc/loadavg: 2.00 2.02 1.78 3/177 12473
/proc/meminfo: memFree=30044388/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=45740 CPUtime=6.29 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 11169 0 0 0 622 7 0 0 20 0 1 0 321580719 46837760 10845 33554432000 134512640 135395479 4288923680 4288922032 134569725 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12472/statm: 11435 10845 111 216 0 11217 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 45740

[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 1.79 3/177 12473
/proc/meminfo: memFree=30037352/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=45740 CPUtime=12.69 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 11169 0 0 0 1262 7 0 0 20 0 1 0 321580719 46837760 10845 33554432000 134512640 135395479 4288923680 4288922032 134569770 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12472/statm: 11435 10845 111 216 0 11217 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45740

[startup+25.5002 s]
/proc/loadavg: 2.00 2.02 1.79 3/177 12473
/proc/meminfo: memFree=30021340/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=51184 CPUtime=25.49 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 12543 0 0 0 2541 8 0 0 20 0 1 0 321580719 52412416 12184 33554432000 134512640 135395479 4288923680 4288922032 134580915 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12472/statm: 12796 12184 111 216 0 12578 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 51184

[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 1.79 3/177 12473
/proc/meminfo: memFree=29949000/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=97776 CPUtime=51.08 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 24205 0 0 0 5097 11 0 0 20 0 1 0 321580719 100122624 23812 33554432000 134512640 135395479 4288923680 4288922032 134580840 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12472/statm: 24444 23812 111 216 0 24226 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 97776

[startup+102.306 s]
/proc/loadavg: 2.00 2.01 1.80 3/177 12473
/proc/meminfo: memFree=29873492/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=124592 CPUtime=102.28 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 30962 0 0 0 10214 14 0 0 20 0 1 0 321580719 127582208 30537 33554432000 134512640 135395479 4288923680 4288921552 134573890 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12472/statm: 31148 30537 111 216 0 30930 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 124592

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/177 12522
/proc/meminfo: memFree=30793988/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=188960 CPUtime=162.25 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 46974 0 0 0 16204 21 0 0 20 0 1 0 321580719 193495040 46541 33554432000 134512640 135395479 4288923680 4288921552 134574486 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12472/statm: 47240 46541 111 216 0 47022 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 188960

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/176 12523
/proc/meminfo: memFree=30789284/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=190056 CPUtime=222.22 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 47346 0 0 0 22201 21 0 0 20 0 1 0 321580719 194617344 46848 33554432000 134512640 135395479 4288923680 4288922032 134580816 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12472/statm: 47514 46848 111 216 0 47296 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 190056

[startup+282.3 s]
/proc/loadavg: 2.07 2.02 1.83 3/177 12524
/proc/meminfo: memFree=30763640/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=212460 CPUtime=282.19 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 53013 0 0 0 28196 23 0 0 20 0 1 0 321580719 217559040 52486 33554432000 134512640 135395479 4288923680 4288922032 134581488 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12472/statm: 53115 52486 111 216 0 52897 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 212460

[startup+342.3 s]
/proc/loadavg: 2.06 2.02 1.85 3/177 12524
/proc/meminfo: memFree=30724360/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=243612 CPUtime=342.18 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 60806 0 0 0 34191 27 0 0 20 0 1 0 321580719 249458688 60279 33554432000 134512640 135395479 4288923680 4288922032 134581412 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12472/statm: 60903 60279 111 216 0 60685 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 243612

[startup+402.3 s]
/proc/loadavg: 2.02 2.02 1.85 3/177 12524
/proc/meminfo: memFree=30146664/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=243612 CPUtime=402.17 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 60806 0 0 0 40190 27 0 0 20 0 1 0 321580719 249458688 60279 33554432000 134512640 135395479 4288923680 4288922032 134580768 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12472/statm: 60903 60279 111 216 0 60685 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 243612

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/178 12527
/proc/meminfo: memFree=30162984/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=255996 CPUtime=462.16 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 63936 0 0 0 46187 29 0 0 20 0 1 0 321580719 262139904 63409 33554432000 134512640 135395479 4288923680 4288922032 134581431 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12472/statm: 63999 63409 111 216 0 63781 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 255996

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.86 3/177 12528
/proc/meminfo: memFree=30142752/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=276948 CPUtime=522.12 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 69094 0 0 0 52181 31 0 0 20 0 1 0 321580719 283594752 68538 33554432000 134512640 135395479 4288923680 4288922032 134580896 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12472/statm: 69237 68538 111 216 0 69019 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 276948

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 12528
/proc/meminfo: memFree=30142496/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=276948 CPUtime=582.11 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 69098 0 0 0 58180 31 0 0 20 0 1 0 321580719 283594752 68538 33554432000 134512640 135395479 4288923680 4288922032 134580765 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12472/statm: 69237 68538 111 216 0 69019 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 276948

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.06 2.03 1.90 3/177 12529
/proc/meminfo: memFree=30141592/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=276948 CPUtime=822.07 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 69099 0 0 0 82176 31 0 0 20 0 1 0 321580719 283594752 68539 33554432000 134512640 135395479 4288923680 4288922032 134580765 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/12472/statm: 69237 68539 111 216 0 69019 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 276948

[startup+882.3 s]
/proc/loadavg: 2.02 2.02 1.91 3/177 12529
/proc/meminfo: memFree=30141920/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=276948 CPUtime=882.06 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 69099 0 0 0 88175 31 0 0 20 0 1 0 321580719 283594752 68539 33554432000 134512640 135395479 4288923680 4288922032 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12472/statm: 69237 68539 111 216 0 69019 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 276948

[startup+942.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/177 12529
/proc/meminfo: memFree=30137012/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=281868 CPUtime=942.05 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 70295 0 0 0 94173 32 0 0 20 0 1 0 321580719 288632832 69735 33554432000 134512640 135395479 4288923680 4288922032 134580848 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12472/statm: 70467 69735 111 216 0 70249 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 281868

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/177 12529
/proc/meminfo: memFree=30123844/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=294444 CPUtime=1002.04 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 73453 0 0 0 100170 34 0 0 20 0 1 0 321580719 301510656 72893 33554432000 134512640 135395479 4288923680 4288922032 134581189 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12472/statm: 73611 72893 111 216 0 73393 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 294444

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 12532
/proc/meminfo: memFree=30123084/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=294444 CPUtime=1062.03 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 73453 0 0 0 106169 34 0 0 20 0 1 0 321580719 301510656 72893 33554432000 134512640 135395479 4288923680 4288922032 134581488 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12472/statm: 73611 72893 111 216 0 73393 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 294444

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 12556
/proc/meminfo: memFree=30122844/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=294444 CPUtime=1122.02 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 73453 0 0 0 112168 34 0 0 20 0 1 0 321580719 301510656 72893 33554432000 134512640 135395479 4288923680 4288921984 134580461 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12472/statm: 73611 72893 111 216 0 73393 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 294444

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 12556
/proc/meminfo: memFree=30123316/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=294444 CPUtime=1182 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 73487 0 0 0 118166 34 0 0 20 0 1 0 321580719 301510656 72929 33554432000 134512640 135395479 4288923680 4288922032 134581488 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12472/statm: 73611 72929 111 216 0 73393 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 294444

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 12556
/proc/meminfo: memFree=30123568/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=294444 CPUtime=1241.99 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 73487 0 0 0 124165 34 0 0 20 0 1 0 321580719 301510656 72929 33554432000 134512640 135395479 4288923680 4288922032 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12472/statm: 73611 72929 111 216 0 73393 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 294444

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 12556
/proc/meminfo: memFree=30123196/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=294444 CPUtime=1301.99 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 73489 0 0 0 130165 34 0 0 20 0 1 0 321580719 301510656 72931 33554432000 134512640 135395479 4288923680 4288921552 134575360 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12472/statm: 73611 72931 111 216 0 73393 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 294444

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 12556
/proc/meminfo: memFree=30122824/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=294444 CPUtime=1361.97 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 73504 0 0 0 136163 34 0 0 20 0 1 0 321580719 301510656 72946 33554432000 134512640 135395479 4288923680 4288922032 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12472/statm: 73611 72946 111 216 0 73393 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 294444

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 12557
/proc/meminfo: memFree=30122948/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=294444 CPUtime=1421.97 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 73520 0 0 0 142163 34 0 0 20 0 1 0 321580719 301510656 72962 33554432000 134512640 135395479 4288923680 4288922012 134580244 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12472/statm: 73611 72962 111 216 0 73393 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 294444

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 12557
/proc/meminfo: memFree=30123320/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=294444 CPUtime=1481.95 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 73520 0 0 0 148161 34 0 0 20 0 1 0 321580719 301510656 72962 33554432000 134512640 135395479 4288923680 4288922032 134580765 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12472/statm: 73611 72962 111 216 0 73393 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 294444

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 12557
/proc/meminfo: memFree=30123444/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=294444 CPUtime=1541.94 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 73520 0 0 0 154160 34 0 0 20 0 1 0 321580719 301510656 72962 33554432000 134512640 135395479 4288923680 4288922032 134581415 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12472/statm: 73611 72962 111 216 0 73393 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 294444

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 12557
/proc/meminfo: memFree=30097900/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=320740 CPUtime=1601.94 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 80065 0 0 0 160155 39 0 0 20 0 1 0 321580719 328437760 79507 33554432000 134512640 135395479 4288923680 4288922032 134580732 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12472/statm: 80185 79507 111 216 0 79967 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 320740

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 12560
/proc/meminfo: memFree=30077512/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=339836 CPUtime=1661.93 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 84867 0 0 0 166150 43 0 0 20 0 1 0 321580719 347992064 84309 33554432000 134512640 135395479 4288923680 4288922032 134581428 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12472/statm: 84959 84309 111 216 0 84741 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 339836

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 12561
/proc/meminfo: memFree=30077948/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=339836 CPUtime=1721.92 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 84867 0 0 0 172149 43 0 0 20 0 1 0 321580719 347992064 84309 33554432000 134512640 135395479 4288923680 4288922032 134580908 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12472/statm: 84959 84309 111 216 0 84741 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 339836

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 12561
/proc/meminfo: memFree=30077344/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=339836 CPUtime=1781.9 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 84890 0 0 0 178147 43 0 0 20 0 1 0 321580719 347992064 84327 33554432000 134512640 135395479 4288923680 4288922032 134580825 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12472/statm: 84959 84327 111 216 0 84741 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 339836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 12561
/proc/meminfo: memFree=30077344/32873648 swapFree=7628/7628
[pid=12472] ppid=12470 vsize=339836 CPUtime=1800 cores=0,2,4,6
/proc/12472/stat : 12472 (minisat+) R 12470 12472 12108 0 -1 4202496 84890 0 0 0 179957 43 0 0 20 0 1 0 321580719 347992064 84327 33554432000 134512640 135395479 4288923680 4288922032 134580888 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/12472/statm: 84959 84327 111 216 0 84741 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 339836

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.01
CPU user time (s): 1799.58
CPU system time (s): 0.433934
CPU usage (%): 99.978
Max. virtual memory (cumulated for all children) (KiB): 339836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.433934
maximum resident set size= 337316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84892
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= 152
involuntary context switches= 2468

runsolver used 3.37149 second user time and 9.2126 second system time

The end

Launcher Data 

Begin job on node122 at 2012-06-01 14:42:27
IDJOB=3721318
IDBENCH=2266
IDSOLVER=2306
FILE ID=node122/3721318-1338554547
RUNJOBID= node122-1338552605-12124
PBS_JOBID= 14635893
Free space on /tmp= 71312 MiB

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

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

MD5SUM BENCH= 937ec96fd1742e5ed6250d14e65c707b
RANDOM SEED=2086838373

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30093120 kB
Buffers:           72324 kB
Cached:           891720 kB
SwapCached:         1824 kB
Active:          1195708 kB
Inactive:         831620 kB
Active(anon):    1063308 kB
Inactive(anon):     1928 kB
Active(file):     132400 kB
Inactive(file):   829692 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67100084 kB
Dirty:              5568 kB
Writeback:             0 kB
AnonPages:       1069116 kB
Mapped:             9296 kB
Shmem:                 0 kB
Slab:             614844 kB
SReclaimable:      58860 kB
SUnreclaim:       555984 kB
KernelStack:        1456 kB
PageTables:         6164 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1188032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3721318-1338554547.opb

Free space on /tmp at the end= 71304 MiB
End job on node122 at 2012-06-01 15:12:30