Trace number 3721311

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)-51 1800.08 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
MD5SUM604c6b786f56b09c749bc0d6b7c8f76d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-51
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94227
Number of constraints which are clauses94227
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 1272
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 1272
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 1272
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.00/1.05	c Converting 94227 PB-constraints to clauses...
1.00/1.06	c   -- Unit propagations: (none)
1.00/1.06	c   -- Detecting intervals from adjacent constraints: (none)
1.00/1.06	c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
1.10/1.16	c ==================================[MINISAT+]==================================
1.10/1.16	c | Conflicts | Original         | Learnt                           | Progress |
1.10/1.16	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.10/1.16	c ==============================================================================
1.10/1.16	c |         0 |   94227   188454 |   31409       0        0     nan |  0.000 % |
1.10/1.16	c ==============================================================================
1.10/1.16	c Found solution: -36
1.10/1.16	o -36
1.10/1.17	c ---[   0]---> Sorter-cost:70300     Base:
1.19/1.25	c ==================================[MINISAT+]==================================
1.19/1.25	c | Conflicts | Original         | Learnt                           | Progress |
1.19/1.25	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.19/1.25	c ==============================================================================
1.19/1.25	c |         0 |  169273   364509 |   56424       0        0     nan |  0.000 % |
1.29/1.35	c |       100 |  168899   363733 |   62066      65      591     9.1 |  0.407 % |
1.39/1.46	c |       250 |  168502   362906 |   68273     198     1311     6.6 |  0.828 % |
1.59/1.65	c |       475 |  167076   359832 |   75100     351     2932     8.4 |  2.494 % |
1.89/1.94	c |       812 |  165133   355593 |   82610     631     5067     8.0 |  4.688 % |
2.29/2.34	c |      1319 |  162313   349369 |   90871     972     8957     9.2 |  8.080 % |
2.89/2.96	c |      2078 |  157982   339700 |   99958    1468    15263    10.4 | 13.235 % |
3.09/3.12	c ==============================================================================
3.09/3.12	c Found solution: -39
3.09/3.12	o -39
3.09/3.13	c ---[   0]---> Sorter-cost:    0     Base:
3.09/3.16	c ==================================[MINISAT+]==================================
3.09/3.16	c | Conflicts | Original         | Learnt                           | Progress |
3.09/3.16	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
3.09/3.16	c ==============================================================================
3.09/3.16	c |      2296 |  157388   338635 |   52462    1645    17452    10.6 | 13.235 % |
3.19/3.23	c |      2397 |  157059   337878 |   57708    1732    17985    10.4 | 14.608 % |
3.29/3.37	c |      2548 |  155840   335129 |   63479    1821    18984    10.4 | 16.160 % |
3.49/3.59	c |      2773 |  154165   331306 |   69826    1966    20681    10.5 | 18.177 % |
3.89/3.93	c |      3110 |  151458   325155 |   76809    2174    23582    10.8 | 21.604 % |
4.39/4.41	c |      3616 |  147626   316455 |   84490    2526    28129    11.1 | 26.258 % |
4.89/4.97	c |      4375 |  143472   307009 |   92939    3028    34893    11.5 | 31.480 % |
5.68/5.79	c |      5514 |  137035   292201 |  102233    3700    43332    11.7 | 39.456 % |
6.59/6.66	c |      7223 |  129643   274879 |  112456    4787    55808    11.7 | 48.879 % |
7.78/7.82	c |      9785 |  121178   254842 |  123702    6238    75388    12.1 | 60.010 % |
9.08/9.10	c |     13629 |  111810   232544 |  136072    8363   107856    12.9 | 72.370 % |
9.08/9.13	c ==============================================================================
9.08/9.13	c Found solution: -40
9.08/9.13	o -40
9.08/9.14	c ---[   0]---> Sorter-cost:    0     Base:
9.08/9.18	c ==================================[MINISAT+]==================================
9.08/9.18	c | Conflicts | Original         | Learnt                           | Progress |
9.08/9.18	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
9.08/9.18	c ==============================================================================
9.08/9.18	c |     13714 |  111791   232457 |   37263    8438   110430    13.1 | 72.370 % |
9.08/9.19	c |     13815 |  111736   232336 |   40989    8517   111608    13.1 | 72.463 % |
9.18/9.24	c |     13965 |  111449   231624 |   45088    8613   112090    13.0 | 72.865 % |
9.28/9.32	c |     14191 |  110875   230219 |   49597    8726   114161    13.1 | 73.663 % |
9.38/9.42	c |     14528 |  110330   228918 |   54556    8862   116391    13.1 | 74.395 % |
9.48/9.52	c |     15034 |  109915   227905 |   60012    9207   123608    13.4 | 74.966 % |
9.58/9.61	c ==============================================================================
9.58/9.61	c Found solution: -41
9.58/9.61	o -41
9.58/9.61	c ---[   0]---> Sorter-cost:    0     Base:
9.58/9.65	c ==================================[MINISAT+]==================================
9.58/9.65	c | Conflicts | Original         | Learnt                           | Progress |
9.58/9.65	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
9.58/9.65	c ==============================================================================
9.58/9.65	c |     15297 |  109425   226747 |   36475    9363   132070    14.1 | 74.966 % |
9.68/9.70	c |     15397 |  108928   225548 |   40122    9368   131994    14.1 | 76.327 % |
9.68/9.73	c |     15547 |  108861   225391 |   44134    9505   134463    14.1 | 76.414 % |
9.79/9.81	c |     15772 |  108187   223757 |   48548    9615   136618    14.2 | 77.343 % |
9.79/9.85	c |     16110 |  108184   223750 |   53403    9952   143364    14.4 | 77.347 % |
9.89/9.96	c |     16616 |  107846   222930 |   58743   10285   150811    14.7 | 77.809 % |
9.98/10.09	c |     17375 |  107492   222096 |   64617   10880   162733    15.0 | 78.273 % |
10.28/10.35	c |     18516 |  106409   219476 |   71079   11485   183931    16.0 | 79.751 % |
10.58/10.67	c |     20224 |  105563   217441 |   78187   12695   231153    18.2 | 80.890 % |
10.99/11.06	c ==============================================================================
10.99/11.06	c Found solution: -42
10.99/11.06	o -42
10.99/11.07	c ---[   0]---> Sorter-cost:    0     Base:
11.08/11.11	c ==================================[MINISAT+]==================================
11.08/11.11	c | Conflicts | Original         | Learnt                           | Progress |
11.08/11.11	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
11.08/11.11	c ==============================================================================
11.08/11.11	c |     22454 |  104461   214676 |   34820   14284   295984    20.7 | 80.890 % |
11.08/11.15	c |     22554 |  104247   214159 |   38302   14343   296650    20.7 | 82.669 % |
11.08/11.18	c |     22704 |  104230   214116 |   42132   14478   302277    20.9 | 82.695 % |
11.18/11.22	c |     22929 |  104077   213747 |   46345   14609   305744    20.9 | 82.903 % |
11.28/11.30	c |     23266 |  103810   213088 |   50979   14674   310610    21.2 | 83.278 % |
11.38/11.40	c |     23772 |  103661   212727 |   56077   15056   324943    21.6 | 83.483 % |
11.38/11.47	c |     24531 |  103661   212727 |   61685   15815   342397    21.7 | 83.483 % |
11.48/11.54	c ==============================================================================
11.48/11.54	c Found solution: -43
11.48/11.54	o -43
11.48/11.55	c ---[   0]---> Sorter-cost:    0     Base:
11.48/11.59	c ==================================[MINISAT+]==================================
11.48/11.59	c | Conflicts | Original         | Learnt                           | Progress |
11.48/11.59	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
11.48/11.59	c ==============================================================================
11.48/11.59	c |     24866 |  103578   212555 |   34526   15940   354982    22.3 | 83.483 % |
11.58/11.62	c |     24966 |  103452   212229 |   37978   15957   356178    22.3 | 83.832 % |
11.68/11.70	c |     25116 |  103157   211504 |   41776   15858   355829    22.4 | 84.245 % |
11.68/11.74	c |     25342 |  103098   211357 |   45954   15982   361200    22.6 | 84.328 % |
11.68/11.79	c |     25679 |  103060   211263 |   50549   16275   374557    23.0 | 84.383 % |
11.78/11.86	c |     26186 |  103044   211225 |   55604   16717   403210    24.1 | 84.404 % |
11.88/11.99	c |     26946 |  102964   211037 |   61164   17402   448444    25.8 | 84.509 % |
12.09/12.17	c |     28085 |  102796   210627 |   67281   18302   513844    28.1 | 84.741 % |
12.38/12.48	c |     29794 |  102287   209397 |   74009   19277   595883    30.9 | 85.430 % |
12.58/12.67	c ==============================================================================
12.58/12.67	c Found solution: -44
12.58/12.67	o -44
12.58/12.67	c ---[   0]---> Sorter-cost:    0     Base:
12.68/12.72	c ==================================[MINISAT+]==================================
12.68/12.72	c | Conflicts | Original         | Learnt                           | Progress |
12.68/12.72	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
12.68/12.72	c ==============================================================================
12.68/12.72	c |     30805 |  102185   209122 |   34061   19877   649107    32.7 | 85.430 % |
12.68/12.73	c |     30905 |  102181   209112 |   37467   19960   650513    32.6 | 85.578 % |
12.68/12.75	c |     31055 |  102181   209112 |   41213   20110   656361    32.6 | 85.578 % |
12.68/12.77	c |     31280 |  102181   209112 |   45335   20335   662267    32.6 | 85.578 % |
12.78/12.83	c |     31617 |  102139   209012 |   49868   20565   689479    33.5 | 85.635 % |
12.88/12.90	c |     32123 |  102135   209002 |   54855   21042   708226    33.7 | 85.640 % |
12.98/13.02	c |     32883 |  102044   208779 |   60341   21692   763522    35.2 | 85.765 % |
13.19/13.25	c |     34023 |  101908   208436 |   66375   22590   857752    38.0 | 85.961 % |
13.48/13.56	c |     35731 |  101761   208078 |   73012   24035   977376    40.7 | 86.166 % |
14.18/14.21	c |     38294 |  101248   206822 |   80314   25704  1211706    47.1 | 86.880 % |
14.48/14.56	c ==============================================================================
14.48/14.56	c Found solution: -45
14.48/14.56	o -45
14.48/14.56	c ---[   0]---> Sorter-cost:    0     Base:
14.58/14.61	c ==================================[MINISAT+]==================================
14.58/14.61	c | Conflicts | Original         | Learnt                           | Progress |
14.58/14.61	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
14.58/14.61	c ==============================================================================
14.58/14.61	c |     40062 |  101189   206683 |   33729   27299  1370590    50.2 | 86.880 % |
14.58/14.64	c |     40164 |  101153   206593 |   37101   27290  1368576    50.1 | 87.022 % |
14.58/14.67	c |     40314 |  101153   206593 |   40812   27440  1373157    50.0 | 87.022 % |
14.68/14.71	c |     40539 |  101153   206593 |   44893   27665  1390604    50.3 | 87.022 % |
14.68/14.78	c |     40877 |  101147   206579 |   49382   27982  1417890    50.7 | 87.029 % |
14.88/14.90	c |     41383 |  101089   206432 |   54320   28284  1476102    52.2 | 87.111 % |
14.98/15.05	c |     42142 |  101046   206333 |   59752   28842  1548069    53.7 | 87.164 % |
15.18/15.30	c |     43281 |  101030   206295 |   65728   29940  1653263    55.2 | 87.185 % |
15.28/15.37	c ==============================================================================
15.28/15.37	c Found solution: -46
15.28/15.37	o -46
15.28/15.38	c ---[   0]---> Sorter-cost:    0     Base:
15.39/15.43	c ==================================[MINISAT+]==================================
15.39/15.43	c | Conflicts | Original         | Learnt                           | Progress |
15.39/15.43	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
15.39/15.43	c ==============================================================================
15.39/15.43	c |     43660 |  101019   206233 |   33673   30108  1656622    55.0 | 87.185 % |
15.39/15.46	c |     43762 |  100999   206179 |   37040   30194  1661991    55.0 | 87.234 % |
15.49/15.50	c |     43912 |  100999   206179 |   40744   30344  1674049    55.2 | 87.234 % |
15.49/15.51	c |     44138 |  100999   206179 |   44818   30570  1677140    54.9 | 87.234 % |
15.49/15.58	c |     44476 |  100999   206179 |   49300   30908  1697757    54.9 | 87.234 % |
15.59/15.69	c |     44983 |  100999   206179 |   54230   31415  1748048    55.6 | 87.234 % |
15.79/15.86	c |     45742 |  100961   206093 |   59653   32036  1808118    56.4 | 87.281 % |
16.09/16.13	c |     46881 |  100961   206093 |   65619   33175  1962362    59.2 | 87.281 % |
16.49/16.51	c |     48589 |  100961   206093 |   72181   34883  2133447    61.2 | 87.281 % |
17.09/17.16	c |     51151 |  100916   205984 |   79399   37289  2446159    65.6 | 87.343 % |
18.18/18.29	c |     54995 |  100889   205925 |   87339   40682  2985421    73.4 | 87.374 % |
19.79/19.89	c |     60761 |  100889   205925 |   96072   46448  3854427    83.0 | 87.374 % |
21.28/21.37	c ==============================================================================
21.28/21.37	c Found solution: -47
21.28/21.37	o -47
21.28/21.38	c ---[   0]---> Sorter-cost:    0     Base:
21.38/21.45	c ==================================[MINISAT+]==================================
21.38/21.45	c | Conflicts | Original         | Learnt                           | Progress |
21.38/21.45	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
21.38/21.45	c ==============================================================================
21.38/21.45	c |     65334 |  100853   205854 |   33617   50820  4571720    90.0 | 87.374 % |
21.38/21.48	c |     65434 |  100853   205854 |   36978   50920  4575895    89.9 | 87.450 % |
21.48/21.53	c |     65584 |  100853   205854 |   40676   51070  4590180    89.9 | 87.450 % |
21.48/21.59	c |     65809 |  100853   205854 |   44744   51295  4602588    89.7 | 87.450 % |
21.58/21.69	c |     66148 |  100853   205854 |   49218   51634  4624017    89.6 | 87.450 % |
21.78/21.85	c |     66654 |  100853   205854 |   54140   52140  4670967    89.6 | 87.450 % |
21.98/22.08	c |     67414 |  100814   205757 |   59554   52773  4715984    89.4 | 87.506 % |
22.38/22.42	c |     68553 |  100814   205757 |   65510   53912  4839522    89.8 | 87.506 % |
22.88/22.97	c |     70261 |  100814   205757 |   72061   55620  5031215    90.5 | 87.506 % |
23.78/23.84	c |     72824 |  100814   205757 |   79267   58183  5325863    91.5 | 87.506 % |
24.88/25.00	c |     76668 |  100814   205757 |   87193   62027  5737838    92.5 | 87.506 % |
27.07/27.12	c |     82434 |  100720   205535 |   95913   67266  6413842    95.4 | 87.630 % |
30.18/30.26	c |     91084 |  100718   205529 |  105504   75912  7268264    95.7 | 87.634 % |
31.18/31.26	c ==============================================================================
31.18/31.26	c Found solution: -48
31.18/31.26	o -48
31.18/31.27	c ---[   0]---> Sorter-cost:    0     Base:
31.28/31.37	c ==================================[MINISAT+]==================================
31.28/31.37	c | Conflicts | Original         | Learnt                           | Progress |
31.28/31.37	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
31.28/31.37	c ==============================================================================
31.28/31.37	c |     94590 |  100693   205448 |   33564   79088  7509816    95.0 | 87.634 % |
31.38/31.45	c |     94690 |  100693   205448 |   36920   19014  1203514    63.3 | 87.669 % |
31.38/31.48	c |     94840 |  100693   205448 |   40612   19164  1215224    63.4 | 87.669 % |
31.48/31.53	c |     95066 |  100610   205251 |   44673   19386  1226784    63.3 | 87.776 % |
31.48/31.59	c |     95404 |  100605   205238 |   49141   19716  1247119    63.3 | 87.784 % |
31.58/31.68	c |     95910 |  100605   205238 |   54055   20222  1293892    64.0 | 87.784 % |
31.79/31.82	c |     96671 |  100605   205238 |   59460   20983  1362659    64.9 | 87.784 % |
31.98/32.04	c |     97810 |  100602   205231 |   65406   22119  1452373    65.7 | 87.788 % |
32.28/32.33	c |     99519 |  100602   205231 |   71947   23828  1570680    65.9 | 87.788 % |
32.78/32.83	c |    102082 |  100602   205231 |   79142   26391  1796590    68.1 | 87.788 % |
33.68/33.75	c |    105926 |  100524   205033 |   87056   30221  2254790    74.6 | 87.904 % |
34.98/35.10	c |    111693 |  100513   205008 |   95762   35977  2865103    79.6 | 87.917 % |
37.08/37.19	c |    120342 |  100496   204969 |  105338   44621  3803842    85.2 | 87.939 % |
40.87/40.91	c |    133316 |  100496   204969 |  115872   57595  5193648    90.2 | 87.939 % |
46.77/46.85	c |    152777 |  100477   204922 |  127459   77043  7291374    94.6 | 87.966 % |
56.36/56.46	c |    181969 |  100467   204900 |  140205  106227 10898164   102.6 | 87.978 % |
72.25/72.39	c |    225758 |  100436   204820 |  154225  149983 15472459   103.2 | 88.024 % |
100.73/100.87	c |    291443 |  100430   204806 |  169648   36460  2449536    67.2 | 88.032 % |
131.73/131.88	c |    389969 |  100422   204786 |  186613  134798 15942477   118.3 | 88.044 % |
213.91/214.02	c |    537758 |  100404   204742 |  205274   70192  6650238    94.7 | 88.069 % |
301.89/302.05	c |    759441 |  100285   204445 |  225801   61873  2777912    44.9 | 88.241 % |
424.38/424.56	c ==============================================================================
424.38/424.56	c Found solution: -49
424.38/424.56	o -49
424.38/424.56	c ---[   0]---> Sorter-cost:    0     Base:
424.48/424.66	c ==================================[MINISAT+]==================================
424.48/424.66	c | Conflicts | Original         | Learnt                           | Progress |
424.48/424.66	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
424.48/424.66	c ==============================================================================
424.48/424.66	c |   1026698 |  100262   204393 |   33420   79014  7690912    97.3 | 88.241 % |
424.77/424.97	c |   1026798 |  100262   204393 |   36762   25140  1598409    63.6 | 88.279 % |
424.77/424.99	c |   1026949 |  100262   204393 |   40438   25291  1605141    63.5 | 88.279 % |
424.87/425.04	c |   1027174 |  100239   204340 |   44482   25513  1614485    63.3 | 88.306 % |
424.87/425.09	c |   1027511 |  100239   204340 |   48930   25850  1630059    63.1 | 88.306 % |
424.97/425.16	c |   1028017 |  100239   204340 |   53823   26356  1660238    63.0 | 88.306 % |
425.07/425.29	c |   1028777 |  100239   204340 |   59205   27116  1711844    63.1 | 88.306 % |
425.37/425.50	c |   1029916 |  100227   204312 |   65126   28252  1789820    63.4 | 88.322 % |
425.58/425.73	c |   1031626 |  100227   204312 |   71638   29962  1887801    63.0 | 88.322 % |
425.97/426.13	c |   1034189 |  100227   204312 |   78802   32525  2067273    63.6 | 88.322 % |
426.68/426.82	c |   1038033 |  100186   204212 |   86682   36224  2385932    65.9 | 88.378 % |
427.68/427.88	c |   1043799 |  100186   204212 |   95351   41990  2917886    69.5 | 88.378 % |
429.37/429.58	c |   1052448 |  100186   204212 |  104886   50639  3703103    73.1 | 88.378 % |
432.27/432.44	c |   1065423 |  100186   204212 |  115374   63614  4988007    78.4 | 88.378 % |
437.17/437.35	c |   1084884 |  100175   204185 |  126912   83072  6849381    82.5 | 88.393 % |
447.37/447.50	c |   1114079 |  100166   204162 |  139603  112263 10241212    91.2 | 88.407 % |
465.46/465.66	c |   1157868 |  100166   204162 |  153563  156052 13288875    85.2 | 88.407 % |
491.66/491.83	c |   1223553 |  100157   204139 |  168920   45576  2266776    49.7 | 88.420 % |
522.15/522.35	c ==============================================================================
522.15/522.35	c Found solution: -50
522.15/522.35	o -50
522.15/522.36	c ---[   0]---> Sorter-cost:    0     Base:
522.26/522.46	c ==================================[MINISAT+]==================================
522.26/522.46	c | Conflicts | Original         | Learnt                           | Progress |
522.26/522.46	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
522.26/522.46	c ==============================================================================
522.26/522.46	c |   1317650 |  100137   204069 |   33379  139664  7577960    54.3 | 88.420 % |
522.65/522.81	c |   1317751 |  100137   204069 |   36716   26242   879659    33.5 | 88.450 % |
522.65/522.83	c |   1317903 |  100137   204069 |   40388   26394   887405    33.6 | 88.450 % |
522.65/522.87	c |   1318128 |  100137   204069 |   44427   26619   897363    33.7 | 88.450 % |
522.75/522.93	c |   1318466 |  100137   204069 |   48870   26957   916329    34.0 | 88.450 % |
522.85/523.01	c |   1318972 |  100137   204069 |   53757   27463   943555    34.4 | 88.450 % |
522.95/523.10	c |   1319731 |  100137   204069 |   59132   28222   975185    34.6 | 88.450 % |
523.05/523.25	c |   1320872 |  100137   204069 |   65046   29363  1027426    35.0 | 88.450 % |
523.36/523.54	c |   1322580 |  100137   204069 |   71550   31071  1150267    37.0 | 88.450 % |
523.75/523.91	c |   1325142 |  100137   204069 |   78705   33633  1296778    38.6 | 88.450 % |
524.35/524.51	c |   1328987 |  100137   204069 |   86576   37478  1665703    44.4 | 88.450 % |
525.25/525.42	c |   1334753 |  100137   204069 |   95234   43244  2108009    48.7 | 88.450 % |
526.66/526.86	c |   1343403 |  100137   204069 |  104757   51894  2876299    55.4 | 88.450 % |
529.35/529.52	c |   1356377 |  100137   204069 |  115233   64868  3815592    58.8 | 88.450 % |
534.25/534.47	c |   1375838 |  100137   204069 |  126756   84329  5264511    62.4 | 88.450 % |
542.95/543.14	c |   1405032 |  100132   204058 |  139432  113521  7091123    62.5 | 88.456 % |
560.05/560.27	c |   1448822 |  100127   204045 |  153375  157308  9439502    60.0 | 88.464 % |
585.25/585.42	c |   1514507 |  100124   204038 |  168713   49664  1799375    36.2 | 88.467 % |
618.44/618.63	c |   1613033 |  100103   203985 |  185584  148181  7587953    51.2 | 88.498 % |
683.83/684.08	c |   1760823 |  100101   203979 |  204142   95181  3244313    34.1 | 88.502 % |
799.42/799.66	c |   1982506 |  100099   203975 |  224557  100175  3611300    36.0 | 88.504 % |
965.39/965.69	c |   2315032 |  100082   203936 |  247012  192704  8295006    43.0 | 88.526 % |
1187.85/1188.12	c |   2813820 |   99989   203721 |  271714  163988 10220982    62.3 | 88.644 % |
1401.92/1402.24	c ==============================================================================
1401.92/1402.24	c Found solution: -51
1401.92/1402.24	o -51
1401.92/1402.25	c ---[   0]---> Sorter-cost:    0     Base:
1402.02/1402.38	c ==================================[MINISAT+]==================================
1402.02/1402.38	c | Conflicts | Original         | Learnt                           | Progress |
1402.02/1402.38	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1402.02/1402.38	c ==============================================================================
1402.02/1402.38	c |   3193130 |   99986   203710 |   33328  261826 11049540    42.2 | 88.644 % |
1403.62/1403.93	c |   3193230 |   99986   203710 |   36660   38911   974645    25.0 | 88.679 % |
1403.72/1404.01	c |   3193382 |   99986   203710 |   40326   39063   979622    25.1 | 88.679 % |
1403.72/1404.06	c |   3193607 |   99986   203710 |   44359   39288   986732    25.1 | 88.679 % |
1403.82/1404.14	c |   3193945 |   99986   203710 |   48795   39626   998905    25.2 | 88.679 % |
1403.92/1404.25	c |   3194451 |   99986   203710 |   53675   40132  1017382    25.4 | 88.679 % |
1404.12/1404.43	c |   3195210 |   99986   203710 |   59042   40891  1049101    25.7 | 88.679 % |
1404.42/1404.71	c |   3196349 |   99986   203710 |   64946   42030  1098798    26.1 | 88.679 % |
1404.82/1405.15	c |   3198058 |   99986   203710 |   71441   43739  1164919    26.6 | 88.679 % |
1405.52/1405.86	c |   3200621 |   99986   203710 |   78585   46302  1266762    27.4 | 88.679 % |
1406.52/1406.81	c |   3204465 |   99986   203710 |   86444   50146  1431520    28.5 | 88.679 % |
1408.12/1408.41	c |   3210231 |   99986   203710 |   95088   55912  1704116    30.5 | 88.679 % |
1410.52/1410.85	c |   3218880 |   99986   203710 |  104597   64561  2031890    31.5 | 88.679 % |
1414.32/1414.69	c |   3231854 |   99986   203710 |  115057   77535  2541768    32.8 | 88.679 % |
1418.72/1419.09	c |   3251317 |   99927   203554 |  126563   96988  3560592    36.7 | 88.768 % |
1425.81/1426.14	c |   3280509 |   99917   203530 |  139219  126175  5093841    40.4 | 88.782 % |
1438.52/1438.87	c |   3324298 |   99917   203530 |  153141  169964  7236969    42.6 | 88.782 % |
1457.71/1458.04	c |   3389983 |   99869   203401 |  168455   65606  2062744    31.4 | 88.849 % |
1485.21/1485.55	c |   3488509 |   99867   203397 |  185300  164131  6257510    38.1 | 88.851 % |
1534.40/1534.79	c |   3636299 |   99851   203359 |  203831  113690  3469432    30.5 | 88.873 % |
1622.29/1622.62	c |   3857982 |   99838   203330 |  224214  123727  3740071    30.2 | 88.888 % |
1748.07/1748.41	c |   4190508 |   99795   203229 |  246635  219949  8796944    40.0 | 88.944 % |
1800.06/1800.40	c 
1800.06/1800.40	c *** TERMINATED ***
1800.06/1800.40	s SATISFIABLE
1800.06/1800.40	v -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	-51

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-3721311-1338554524/watcher-3721311-1338554524 -o /tmp/evaluation-result-3721311-1338554524/solver-3721311-1338554524 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721311-1338554524.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.77 3/176 24987
/proc/meminfo: memFree=27497284/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=1424 CPUtime=0 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 205 0 0 0 0 0 0 0 20 0 1 0 321577240 1458176 163 33554432000 134512640 135395479 4294895056 4294893888 134618678 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 356 163 74 216 0 138 0

[startup+0.059221 s]
/proc/loadavg: 2.00 2.02 1.77 3/176 24987
/proc/meminfo: memFree=27497284/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=2504 CPUtime=0.05 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 463 0 0 0 5 0 0 0 20 0 1 0 321577240 2564096 421 33554432000 134512640 135395479 4294895056 4294893596 134530444 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 626 421 74 216 0 408 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2504

[startup+0.100209 s]
/proc/loadavg: 2.00 2.02 1.77 3/176 24987
/proc/meminfo: memFree=27497284/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=3204 CPUtime=0.09 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 667 0 0 0 9 0 0 0 20 0 1 0 321577240 3280896 625 33554432000 134512640 135395479 4294895056 4294893420 135007481 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 801 625 74 216 0 583 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3204

[startup+0.300174 s]
/proc/loadavg: 2.00 2.02 1.77 3/176 24987
/proc/meminfo: memFree=27497284/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=7304 CPUtime=0.29 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 1662 0 0 0 29 0 0 0 20 0 1 0 321577240 7479296 1620 33554432000 134512640 135395479 4294895056 4294893356 135010189 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 1826 1620 74 216 0 1608 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7304

[startup+0.700173 s]
/proc/loadavg: 2.00 2.02 1.77 3/176 24987
/proc/meminfo: memFree=27497284/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=15352 CPUtime=0.68 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 3654 0 0 0 68 0 0 0 20 0 1 0 321577240 15720448 3612 33554432000 134512640 135395479 4294895056 4294894020 135003832 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 3838 3612 74 216 0 3620 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 15352

[startup+1.50023 s]
/proc/loadavg: 2.00 2.02 1.77 3/177 24988
/proc/meminfo: memFree=27477164/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=34104 CPUtime=1.49 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 8322 0 0 0 144 5 0 0 20 0 1 0 321577240 34922496 8078 33554432000 134512640 135395479 4294895056 4294893408 134569723 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 8526 8078 110 216 0 8308 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34104

[startup+3.10023 s]
/proc/loadavg: 2.00 2.02 1.77 3/177 24988
/proc/meminfo: memFree=27464020/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=34104 CPUtime=3.09 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 8322 0 0 0 304 5 0 0 20 0 1 0 321577240 34922496 8078 33554432000 134512640 135395479 4294895056 4294893408 134569797 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 8526 8078 110 216 0 8308 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34104

[startup+6.30026 s]
/proc/loadavg: 2.00 2.02 1.77 3/177 24988
/proc/meminfo: memFree=27462532/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=34528 CPUtime=6.28 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 8392 0 0 0 623 5 0 0 20 0 1 0 321577240 35356672 8148 33554432000 134512640 135395479 4294895056 4294893408 134580732 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/24987/statm: 8632 8148 110 216 0 8414 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 34528

[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 1.77 3/177 24988
/proc/meminfo: memFree=27459176/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=34528 CPUtime=12.68 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 8395 0 0 0 1263 5 0 0 20 0 1 0 321577240 35356672 8151 33554432000 134512640 135395479 4294895056 4294880276 135005286 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/24987/statm: 8632 8151 110 216 0 8414 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 34528

[startup+25.5002 s]
/proc/loadavg: 2.00 2.02 1.77 3/177 24988
/proc/meminfo: memFree=27437600/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=52248 CPUtime=25.48 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 12787 0 0 0 2542 6 0 0 20 0 1 0 321577240 53501952 12535 33554432000 134512640 135395479 4294895056 4294893408 134580732 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 13062 12535 110 216 0 12844 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 52248

[startup+51.1002 s]
/proc/loadavg: 2.00 2.02 1.77 3/177 24988
/proc/meminfo: memFree=27422936/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=66168 CPUtime=51.06 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 16328 0 0 0 5099 7 0 0 20 0 1 0 321577240 67756032 16050 33554432000 134512640 135395479 4294895056 4294893360 134580297 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 16542 16050 110 216 0 16324 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 66168

[startup+102.306 s]
/proc/loadavg: 2.00 2.01 1.79 3/177 24988
/proc/meminfo: memFree=27372956/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=114700 CPUtime=102.24 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 28498 0 0 0 10212 12 0 0 20 0 1 0 321577240 117452800 28189 33554432000 134512640 135395479 4294895056 4294893408 134581451 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 28675 28189 110 216 0 28457 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 114700

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.80 3/177 24988
/proc/meminfo: memFree=27349940/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=126892 CPUtime=162.22 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 31546 0 0 0 16210 12 0 0 20 0 1 0 321577240 129937408 31237 33554432000 134512640 135395479 4294895056 4294893408 134580765 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 31723 31237 110 216 0 31505 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 126892

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.81 3/177 24989
/proc/meminfo: memFree=27330224/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=146532 CPUtime=222.21 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 36353 0 0 0 22206 15 0 0 20 0 1 0 321577240 150048768 36044 33554432000 134512640 135395479 4294895056 4294892928 134573849 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 36633 36044 110 216 0 36415 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 146532

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/177 24989
/proc/meminfo: memFree=27330132/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=146532 CPUtime=282.19 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 36373 0 0 0 28204 15 0 0 20 0 1 0 321577240 150048768 36070 33554432000 134512640 135395479 4294895056 4294893408 134580765 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 36633 36070 110 216 0 36415 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 146532

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/177 24989
/proc/meminfo: memFree=27297636/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=146532 CPUtime=342.18 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 36388 0 0 0 34203 15 0 0 20 0 1 0 321577240 150048768 36085 33554432000 134512640 135395479 4294895056 4294893408 134581463 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 36633 36085 110 216 0 36415 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 146532

[startup+402.3 s]
/proc/loadavg: 2.04 2.01 1.84 3/177 24989
/proc/meminfo: memFree=27271100/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=146896 CPUtime=402.17 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 36470 0 0 0 40202 15 0 0 20 0 1 0 321577240 150421504 36167 33554432000 134512640 135395479 4294895056 4294893312 134568481 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 36724 36167 110 216 0 36506 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 146896

[startup+462.3 s]
/proc/loadavg: 2.01 2.01 1.84 3/177 24989
/proc/meminfo: memFree=27227452/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=146896 CPUtime=462.16 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 36470 0 0 0 46201 15 0 0 20 0 1 0 321577240 150421504 36167 33554432000 134512640 135395479 4294895056 4294893024 134576808 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 36724 36167 110 216 0 36506 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 146896

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/178 24993
/proc/meminfo: memFree=27212744/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=146896 CPUtime=522.15 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 36470 0 0 0 52200 15 0 0 20 0 1 0 321577240 150421504 36167 33554432000 134512640 135395479 4294895056 4294893408 134581488 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 36724 36167 110 216 0 36506 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 146896

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 24993
/proc/meminfo: memFree=27200060/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=146896 CPUtime=582.15 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 36470 0 0 0 58200 15 0 0 20 0 1 0 321577240 150421504 36167 33554432000 134512640 135395479 4294895056 4294893408 134580888 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 36724 36167 110 216 0 36506 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 146896

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.01 2.00 1.88 3/177 24994
/proc/meminfo: memFree=27147924/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=146896 CPUtime=822.11 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 36470 0 0 0 82196 15 0 0 20 0 1 0 321577240 150421504 36167 33554432000 134512640 135395479 4294895056 4294893104 134583956 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 36724 36167 110 216 0 36506 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 146896

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 24994
/proc/meminfo: memFree=27139988/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=146896 CPUtime=882.1 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 36470 0 0 0 88195 15 0 0 20 0 1 0 321577240 150421504 36167 33554432000 134512640 135395479 4294895056 4294893408 134581204 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 36724 36167 110 216 0 36506 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 146896

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 24994
/proc/meminfo: memFree=27092744/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=146896 CPUtime=942.09 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 36470 0 0 0 94194 15 0 0 20 0 1 0 321577240 150421504 36167 33554432000 134512640 135395479 4294895056 4294893376 134572771 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 36724 36167 110 216 0 36506 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 146896

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 24994
/proc/meminfo: memFree=27020452/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=147260 CPUtime=1002.08 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 36531 0 0 0 100193 15 0 0 20 0 1 0 321577240 150794240 36228 33554432000 134512640 135395479 4294895056 4294893408 134580756 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 36815 36228 110 216 0 36597 0
Current children cumulated CPU time (s) 1002.08
Current children cumulated vsize (KiB) 147260

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 24994
/proc/meminfo: memFree=26954980/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=147260 CPUtime=1062.07 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 36552 0 0 0 106192 15 0 0 20 0 1 0 321577240 150794240 36249 33554432000 134512640 135395479 4294895056 4294893408 134580840 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 36815 36249 110 216 0 36597 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 147260

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 24998
/proc/meminfo: memFree=26893900/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=147260 CPUtime=1122.06 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 36552 0 0 0 112191 15 0 0 20 0 1 0 321577240 150794240 36249 33554432000 134512640 135395479 4294895056 4294893408 134581488 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 36815 36249 110 216 0 36597 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 147260

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 25020
/proc/meminfo: memFree=26831680/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=147260 CPUtime=1182.05 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 36552 0 0 0 118190 15 0 0 20 0 1 0 321577240 150794240 36249 33554432000 134512640 135395479 4294895056 4294893408 134580801 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 36815 36249 110 216 0 36597 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 147260

[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/177 25020
/proc/meminfo: memFree=26783604/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=147260 CPUtime=1242.04 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 36552 0 0 0 124189 15 0 0 20 0 1 0 321577240 150794240 36249 33554432000 134512640 135395479 4294895056 4294893024 134579608 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 36815 36249 110 216 0 36597 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 147260

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/177 25020
/proc/meminfo: memFree=26742960/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=147868 CPUtime=1302.04 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 36576 0 0 0 130189 15 0 0 20 0 1 0 321577240 151416832 36273 33554432000 134512640 135395479 4294895056 4294893360 134580473 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 36967 36273 110 216 0 36749 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 147868

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 25020
/proc/meminfo: memFree=26694276/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=147868 CPUtime=1362.02 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 36576 0 0 0 136187 15 0 0 20 0 1 0 321577240 151416832 36273 33554432000 134512640 135395479 4294895056 4294893408 134580765 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 36967 36273 110 216 0 36749 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 147868

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 25021
/proc/meminfo: memFree=26661796/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=148232 CPUtime=1422.02 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 36658 0 0 0 142187 15 0 0 20 0 1 0 321577240 151789568 36355 33554432000 134512640 135395479 4294895056 4294893408 134581436 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 37058 36355 110 216 0 36840 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 148232

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 25021
/proc/meminfo: memFree=26620372/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=148232 CPUtime=1482.01 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 36658 0 0 0 148186 15 0 0 20 0 1 0 321577240 151789568 36355 33554432000 134512640 135395479 4294895056 4294893408 134580765 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 37058 36355 110 216 0 36840 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 148232

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 25021
/proc/meminfo: memFree=26560232/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=148232 CPUtime=1542 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 36658 0 0 0 154185 15 0 0 20 0 1 0 321577240 151789568 36355 33554432000 134512640 135395479 4294895056 4294892928 134573849 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 37058 36355 110 216 0 36840 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 148232

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 25021
/proc/meminfo: memFree=26503316/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=148232 CPUtime=1601.99 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 36658 0 0 0 160184 15 0 0 20 0 1 0 321577240 151789568 36355 33554432000 134512640 135395479 4294895056 4294893360 134580461 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 37058 36355 110 216 0 36840 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 148232

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 25070
/proc/meminfo: memFree=27416516/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=148232 CPUtime=1661.98 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 36658 0 0 0 166183 15 0 0 20 0 1 0 321577240 151789568 36355 33554432000 134512640 135395479 4294895056 4294893024 134576754 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 37058 36355 110 216 0 36840 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 148232

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 25073
/proc/meminfo: memFree=27228052/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=148232 CPUtime=1721.97 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 36658 0 0 0 172182 15 0 0 20 0 1 0 321577240 151789568 36355 33554432000 134512640 135395479 4294895056 4294893408 134580744 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 37058 36355 110 216 0 36840 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 148232

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 25074
/proc/meminfo: memFree=27071340/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=148232 CPUtime=1781.96 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 36658 0 0 0 178181 15 0 0 20 0 1 0 321577240 151789568 36355 33554432000 134512640 135395479 4294895056 4294893408 134581028 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 37058 36355 110 216 0 36840 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 148232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 25074
/proc/meminfo: memFree=27071432/32873844 swapFree=6608/6608
[pid=24987] ppid=24985 vsize=148232 CPUtime=1800.06 cores=0,2,4,6
/proc/24987/stat : 24987 (minisat+) R 24985 24987 24715 0 -1 4202496 36658 0 0 0 179991 15 0 0 20 0 1 0 321577240 151789568 36355 33554432000 134512640 135395479 4294895056 4294893408 134580825 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/24987/statm: 37058 36355 110 216 0 36840 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 148232

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.08
CPU user time (s): 1799.92
CPU system time (s): 0.157975
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 148232

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.157975
maximum resident set size= 145428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36660
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= 66
involuntary context switches= 2579

runsolver used 3.64945 second user time and 8.61569 second system time

The end

Launcher Data 

Begin job on node140 at 2012-06-01 14:42:04
IDJOB=3721311
IDBENCH=2259
IDSOLVER=2306
FILE ID=node140/3721311-1338554524
RUNJOBID= node140-1338552571-24732
PBS_JOBID= 14635844
Free space on /tmp= 70620 MiB

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

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

MD5SUM BENCH= 604c6b786f56b09c749bc0d6b7c8f76d
RANDOM SEED=1596458497

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27497664 kB
Buffers:          346752 kB
Cached:          4032820 kB
SwapCached:         1664 kB
Active:          1286664 kB
Inactive:        3210008 kB
Active(anon):     109832 kB
Inactive(anon):     9416 kB
Active(file):    1176832 kB
Inactive(file):  3200592 kB
Unevictable:        6608 kB
Mlocked:            6608 kB
SwapTotal:      67108856 kB
SwapFree:       67105156 kB
Dirty:              4680 kB
Writeback:             0 kB
AnonPages:        122636 kB
Mapped:            10736 kB
Shmem:                 8 kB
Slab:             740392 kB
SReclaimable:     182680 kB
SUnreclaim:       557712 kB
KernelStack:        1456 kB
PageTables:         3856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     237728 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     57344 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3721311-1338554524.opb

Free space on /tmp at the end= 70620 MiB
End job on node140 at 2012-06-01 15:12:06