Trace number 3721303

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)-52 1800.05 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-2.opb
MD5SUM62a6bdf0e089cd0b8a79007277394096
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-52
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -54
Optimality of the best value was proved NO
Number of variables1400
Total number of constraints109401
Number of constraints which are clauses109401
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 1400
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 1400
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 1400
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.09/1.16	c Converting 109401 PB-constraints to clauses...
1.09/1.17	c   -- Unit propagations: (none)
1.09/1.17	c   -- Detecting intervals from adjacent constraints: (none)
1.09/1.17	c   -- Clauses(.)/Splits(s): .........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
1.20/1.29	c ==================================[MINISAT+]==================================
1.20/1.29	c | Conflicts | Original         | Learnt                           | Progress |
1.20/1.29	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.20/1.29	c ==============================================================================
1.20/1.29	c |         0 |  109401   218802 |   36467       0        0     nan |  0.000 % |
1.20/1.29	c ==============================================================================
1.20/1.29	c Found solution: -40
1.20/1.29	o -40
1.29/1.30	c ---[   0]---> Sorter-cost:78076     Base:
1.29/1.38	c ==================================[MINISAT+]==================================
1.29/1.38	c | Conflicts | Original         | Learnt                           | Progress |
1.29/1.38	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.29/1.38	c ==============================================================================
1.29/1.38	c |         0 |  193094   415099 |   64364       0        0     nan |  0.000 % |
1.49/1.53	c |       100 |  192550   413981 |   70800      81      590     7.3 |  0.516 % |
1.69/1.74	c |       250 |  191694   412157 |   77880     191     2087    10.9 |  1.412 % |
1.89/1.98	c |       476 |  190523   409618 |   85668     373     4634    12.4 |  2.568 % |
2.30/2.38	c |       814 |  188009   404076 |   94235     603     7316    12.1 |  5.226 % |
2.79/2.84	c |      1320 |  185071   397592 |  103658    1000    11541    11.5 |  8.340 % |
3.59/3.70	c |      2079 |  180361   387088 |  114024    1525    18000    11.8 | 13.428 % |
4.69/4.75	c |      3218 |  174052   372857 |  125427    2298    26933    11.7 | 20.384 % |
5.89/5.99	c |      4926 |  167171   357178 |  137969    3480    42305    12.2 | 28.065 % |
7.70/7.71	c |      7488 |  157158   334221 |  151766    5331    61838    11.6 | 39.255 % |
9.79/9.85	c |     11332 |  144436   304457 |  166943    8039    94187    11.7 | 53.917 % |
11.79/11.87	c ==============================================================================
11.79/11.87	c Found solution: -41
11.79/11.87	o -41
11.79/11.88	c ---[   0]---> Sorter-cost:    0     Base:
11.89/11.93	c ==================================[MINISAT+]==================================
11.89/11.93	c | Conflicts | Original         | Learnt                           | Progress |
11.89/11.93	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
11.89/11.93	c ==============================================================================
11.89/11.93	c |     16748 |  134807   281657 |   44935   11523   152767    13.3 | 53.917 % |
11.89/11.98	c |     16848 |  134472   280875 |   49428   11599   153817    13.3 | 65.787 % |
11.99/12.03	c |     16998 |  134230   280308 |   54371   11738   156796    13.4 | 66.068 % |
12.10/12.14	c |     17223 |  133770   279211 |   59808   11876   159392    13.4 | 66.599 % |
12.20/12.28	c |     17560 |  133293   278066 |   65789   12117   163106    13.5 | 67.168 % |
12.39/12.46	c |     18067 |  132451   276026 |   72368   12355   166879    13.5 | 68.197 % |
12.59/12.66	c |     18826 |  132034   275016 |   79605   12963   188616    14.6 | 68.700 % |
12.99/13.00	c |     19965 |  130866   272248 |   87565   13720   203418    14.8 | 70.076 % |
13.39/13.45	c |     21673 |  129525   269009 |   96322   15069   249486    16.6 | 71.703 % |
14.29/14.37	c |     24236 |  126370   261437 |  105954   16906   301322    17.8 | 75.533 % |
14.99/15.05	c ==============================================================================
14.99/15.05	c Found solution: -42
14.99/15.05	o -42
14.99/15.06	c ---[   0]---> Sorter-cost:    0     Base:
15.09/15.10	c ==================================[MINISAT+]==================================
15.09/15.10	c | Conflicts | Original         | Learnt                           | Progress |
15.09/15.10	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
15.09/15.10	c ==============================================================================
15.09/15.10	c |     27120 |  124797   257602 |   41599   19327   366556    19.0 | 75.533 % |
15.09/15.15	c |     27221 |  124609   257169 |   45758   19390   367451    19.0 | 77.656 % |
15.09/15.17	c |     27372 |  124609   257169 |   50334   19541   373598    19.1 | 77.656 % |
15.19/15.23	c |     27597 |  124480   256852 |   55368   19696   382342    19.4 | 77.819 % |
15.29/15.31	c |     27934 |  124352   256539 |   60905   19950   393222    19.7 | 77.981 % |
15.39/15.41	c |     28442 |  124246   256284 |   66995   20427   408671    20.0 | 78.109 % |
15.39/15.44	c ==============================================================================
15.39/15.44	c Found solution: -43
15.39/15.44	o -43
15.39/15.45	c ---[   0]---> Sorter-cost:    0     Base:
15.39/15.49	c ==================================[MINISAT+]==================================
15.39/15.49	c | Conflicts | Original         | Learnt                           | Progress |
15.39/15.49	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
15.39/15.49	c ==============================================================================
15.39/15.49	c |     28536 |  124314   256509 |   41438   20521   411801    20.1 | 78.109 % |
15.49/15.52	c |     28636 |  124278   256419 |   45581   20615   413150    20.0 | 78.122 % |
15.49/15.57	c |     28787 |  124212   256258 |   50139   20594   416116    20.2 | 78.206 % |
15.59/15.62	c |     29012 |  124155   256115 |   55153   20774   422744    20.3 | 78.281 % |
15.69/15.71	c |     29349 |  123998   255722 |   60669   21061   432926    20.6 | 78.481 % |
15.79/15.80	c |     29855 |  123924   255541 |   66736   21542   455907    21.2 | 78.574 % |
15.99/16.02	c |     30614 |  123477   254457 |   73409   22107   479117    21.7 | 79.122 % |
16.19/16.25	c |     31753 |  123112   253584 |   80750   23117   523958    22.7 | 79.563 % |
16.39/16.47	c ==============================================================================
16.39/16.47	c Found solution: -44
16.39/16.47	o -44
16.39/16.48	c ---[   0]---> Sorter-cost:    0     Base:
16.49/16.53	c ==================================[MINISAT+]==================================
16.49/16.53	c | Conflicts | Original         | Learnt                           | Progress |
16.49/16.53	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
16.49/16.53	c ==============================================================================
16.49/16.53	c |     32704 |  122868   252983 |   40956   23796   542190    22.8 | 79.563 % |
16.49/16.54	c |     32804 |  122868   252983 |   45051   23896   544156    22.8 | 79.858 % |
16.49/16.58	c |     32954 |  122865   252976 |   49556   24045   548175    22.8 | 79.862 % |
16.59/16.64	c |     33180 |  122748   252701 |   54512   24233   556503    23.0 | 79.998 % |
16.69/16.70	c |     33518 |  122695   252573 |   59963   24544   575429    23.4 | 80.063 % |
16.79/16.83	c |     34025 |  122496   252082 |   65960   24965   615467    24.7 | 80.303 % |
16.89/16.97	c |     34784 |  122447   251963 |   72556   25704   643849    25.0 | 80.363 % |
17.09/17.18	c |     35923 |  122348   251715 |   79811   26752   724264    27.1 | 80.490 % |
17.49/17.50	c |     37631 |  122084   251065 |   87792   28017   788957    28.2 | 80.823 % |
18.09/18.10	c |     40193 |  121936   250714 |   96572   30493  1096807    36.0 | 80.996 % |
18.89/18.99	c |     44037 |  121613   249937 |  106229   33966  1333260    39.3 | 81.387 % |
19.09/19.15	c ==============================================================================
19.09/19.15	c Found solution: -45
19.09/19.15	o -45
19.09/19.16	c ---[   0]---> Sorter-cost:    0     Base:
19.19/19.21	c ==================================[MINISAT+]==================================
19.19/19.21	c | Conflicts | Original         | Learnt                           | Progress |
19.19/19.21	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
19.19/19.21	c ==============================================================================
19.19/19.21	c |     44649 |  121598   249931 |   40532   34330  1361086    39.6 | 81.387 % |
19.19/19.23	c |     44750 |  121598   249931 |   44585   34431  1363689    39.6 | 81.415 % |
19.29/19.30	c |     44901 |  121496   249687 |   49043   34550  1367121    39.6 | 81.537 % |
19.49/19.55	c |     45126 |  121026   248536 |   53948   34437  1367468    39.7 | 82.124 % |
19.59/19.65	c |     45463 |  121001   248473 |   59342   34739  1383805    39.8 | 82.157 % |
19.69/19.78	c |     45970 |  120940   248317 |   65277   35124  1405818    40.0 | 82.236 % |
19.89/19.95	c |     46730 |  120930   248293 |   71804   35808  1432323    40.0 | 82.248 % |
19.98/20.06	c ==============================================================================
19.98/20.06	c Found solution: -47
19.98/20.06	o -47
19.98/20.07	c ---[   0]---> Sorter-cost:    0     Base:
20.08/20.13	c ==================================[MINISAT+]==================================
20.08/20.13	c | Conflicts | Original         | Learnt                           | Progress |
20.08/20.13	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
20.08/20.13	c ==============================================================================
20.08/20.13	c |     47417 |  120940   248346 |   40313   36448  1451377    39.8 | 82.248 % |
20.08/20.16	c |     47517 |  120934   248332 |   44344   36543  1455647    39.8 | 82.292 % |
20.18/20.21	c |     47667 |  120876   248204 |   48778   36594  1456457    39.8 | 82.353 % |
20.18/20.27	c |     47894 |  120869   248187 |   53656   36738  1463986    39.8 | 82.362 % |
20.28/20.31	c |     48231 |  120869   248187 |   59022   37075  1473745    39.8 | 82.362 % |
20.48/20.50	c |     48738 |  120659   247667 |   64924   37412  1495976    40.0 | 82.628 % |
20.68/20.74	c |     49497 |  120597   247517 |   71416   37982  1561617    41.1 | 82.703 % |
20.99/21.06	c |     50636 |  120480   247240 |   78558   38839  1642896    42.3 | 82.842 % |
21.38/21.45	c |     52344 |  120473   247225 |   86414   40501  1739485    42.9 | 82.849 % |
21.99/22.10	c |     54906 |  120255   246700 |   95055   42829  1975102    46.1 | 83.118 % |
22.58/22.65	c ==============================================================================
22.58/22.65	c Found solution: -48
22.58/22.65	o -48
22.58/22.66	c ---[   0]---> Sorter-cost:    0     Base:
22.68/22.72	c ==================================[MINISAT+]==================================
22.68/22.72	c | Conflicts | Original         | Learnt                           | Progress |
22.68/22.72	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
22.68/22.72	c ==============================================================================
22.68/22.72	c |     57045 |  120216   246582 |   40072   44648  2278364    51.0 | 83.118 % |
22.68/22.75	c |     57145 |  120216   246582 |   44079   44748  2281325    51.0 | 83.168 % |
22.68/22.78	c |     57297 |  120216   246582 |   48487   44900  2288955    51.0 | 83.168 % |
22.78/22.88	c |     57523 |  120130   246364 |   53335   44971  2304412    51.2 | 83.280 % |
22.88/22.99	c |     57860 |  120109   246315 |   58669   45276  2317982    51.2 | 83.304 % |
23.09/23.14	c |     58367 |  120058   246202 |   64536   45762  2356290    51.5 | 83.358 % |
23.28/23.31	c |     59126 |  120058   246202 |   70989   46521  2419971    52.0 | 83.358 % |
23.48/23.57	c |     60265 |  120058   246202 |   78088   47660  2507609    52.6 | 83.358 % |
23.99/24.01	c |     61973 |  120001   246053 |   85897   49258  2633802    53.5 | 83.437 % |
24.69/24.72	c |     64535 |  119961   245951 |   94487   51758  2848264    55.0 | 83.491 % |
25.69/25.77	c |     68379 |  119845   245672 |  103936   55463  3195026    57.6 | 83.630 % |
27.49/27.54	c |     74146 |  119845   245672 |  114330   61230  4034130    65.9 | 83.630 % |
29.89/29.98	c |     82795 |  119662   245221 |  125763   69629  4758092    68.3 | 83.864 % |
35.19/35.21	c |     95770 |  119456   244722 |  138339   82302  6937965    84.3 | 84.119 % |
44.09/44.15	c |    115231 |  119197   244098 |  152173  101081  9562562    94.6 | 84.432 % |
50.48/50.59	c ==============================================================================
50.48/50.59	c Found solution: -49
50.48/50.59	o -49
50.48/50.60	c ---[   0]---> Sorter-cost:    0     Base:
50.68/50.72	c ==================================[MINISAT+]==================================
50.68/50.72	c | Conflicts | Original         | Learnt                           | Progress |
50.68/50.72	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
50.68/50.72	c ==============================================================================
50.68/50.72	c |    128578 |  119061   243777 |   39687  114237 11744294   102.8 | 84.432 % |
50.78/50.87	c |    128679 |  119050   243750 |   43655   23872  2191084    91.8 | 84.625 % |
50.88/50.91	c |    128830 |  119050   243750 |   48021   24023  2198095    91.5 | 84.625 % |
50.88/50.96	c |    129057 |  119041   243727 |   52823   24247  2206430    91.0 | 84.638 % |
50.98/51.04	c |    129395 |  119041   243727 |   58105   24585  2234797    90.9 | 84.638 % |
51.08/51.14	c |    129901 |  119041   243727 |   63916   25091  2270090    90.5 | 84.638 % |
51.18/51.29	c |    130660 |  119041   243727 |   70307   25850  2324765    89.9 | 84.638 % |
51.38/51.49	c |    131800 |  119036   243714 |   77338   26967  2390314    88.6 | 84.645 % |
51.78/51.88	c |    133508 |  119024   243684 |   85072   28662  2521904    88.0 | 84.660 % |
52.48/52.53	c |    136070 |  118994   243606 |   93579   31211  2742209    87.9 | 84.702 % |
53.48/53.54	c |    139914 |  118994   243606 |  102937   35055  3395400    96.9 | 84.702 % |
54.98/55.08	c |    145680 |  118852   243246 |  113231   40787  4097071   100.5 | 84.885 % |
57.68/57.70	c |    154329 |  118811   243143 |  124554   49099  5460303   111.2 | 84.938 % |
62.17/62.27	c |    167303 |  118690   242854 |  137010   61891  7674838   124.0 | 85.081 % |
71.66/71.70	c |    186764 |  118443   242262 |  150711   81251 12728039   156.7 | 85.381 % |
85.55/85.63	c |    215956 |  118381   242110 |  165782  110427 18354731   166.2 | 85.459 % |
109.53/109.69	c |    259746 |  118130   241494 |  182360  153926 26304046   170.9 | 85.777 % |
156.20/156.35	c |    325430 |  118019   241235 |  200596  219362 38609848   176.0 | 85.901 % |
191.99/192.18	c ==============================================================================
191.99/192.18	c Found solution: -50
191.99/192.18	o -50
191.99/192.19	c ---[   0]---> Sorter-cost:    0     Base:
192.09/192.29	c ==================================[MINISAT+]==================================
192.09/192.29	c | Conflicts | Original         | Learnt                           | Progress |
192.09/192.29	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
192.09/192.29	c ==============================================================================
192.09/192.29	c |    387457 |  117867   240817 |   39289   56249  7774356   138.2 | 85.901 % |
192.19/192.32	c |    387558 |  117867   240817 |   43217   56350  7783274   138.1 | 86.083 % |
192.19/192.37	c |    387708 |  117867   240817 |   47539   56500  7800113   138.1 | 86.083 % |
192.29/192.50	c |    387933 |  117862   240806 |   52293   56715  7824516   138.0 | 86.088 % |
192.50/192.66	c |    388270 |  117826   240720 |   57523   57044  7866924   137.9 | 86.132 % |
192.69/192.82	c |    388777 |  117826   240720 |   63275   57551  7918780   137.6 | 86.132 % |
192.99/193.19	c |    389536 |  117760   240568 |   69602   58301  8009482   137.4 | 86.207 % |
193.39/193.52	c |    390675 |  117760   240568 |   76563   59440  8140428   137.0 | 86.207 % |
193.89/194.08	c |    392383 |  117756   240558 |   84219   61115  8331280   136.3 | 86.212 % |
195.09/195.20	c |    394949 |  117649   240289 |   92641   63435  8648634   136.3 | 86.352 % |
196.29/196.43	c |    398793 |  117646   240282 |  101905   67274  9144509   135.9 | 86.355 % |
198.29/198.43	c |    404559 |  117644   240278 |  112096   73039  9951320   136.2 | 86.357 % |
201.39/201.54	c |    413209 |  117632   240248 |  123305   81686 11195605   137.1 | 86.373 % |
206.79/206.97	c |    426184 |  117545   240039 |  135636   94651 13567582   143.3 | 86.479 % |
216.39/216.58	c |    445646 |  117524   239988 |  149199  114108 17643593   154.6 | 86.505 % |
231.68/231.82	c |    474839 |  117524   239988 |  164119  143301 22653778   158.1 | 86.505 % |
258.28/258.50	c |    518628 |  117508   239950 |  180531  187084 29347547   156.9 | 86.525 % |
299.57/299.72	c |    584312 |  117422   239744 |  198585   46169  4287037    92.9 | 86.629 % |
339.67/339.84	c |    682838 |  117357   239577 |  218443  144678 19914253   137.6 | 86.716 % |
348.67/348.81	c ==============================================================================
348.67/348.81	c Found solution: -51
348.67/348.81	o -51
348.67/348.82	c ---[   0]---> Sorter-cost:    0     Base:
348.87/349.02	c ==================================[MINISAT+]==================================
348.87/349.02	c | Conflicts | Original         | Learnt                           | Progress |
348.87/349.02	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
348.87/349.02	c ==============================================================================
348.87/349.02	c |    698303 |  117384   239655 |   39128  160143 22307824   139.3 | 86.716 % |
349.17/349.36	c |    698404 |  117384   239655 |   43040   23335  2039721    87.4 | 86.713 % |
349.27/349.42	c |    698554 |  117369   239618 |   47344   23477  2047228    87.2 | 86.732 % |
349.27/349.44	c |    698779 |  117369   239618 |   52079   23702  2052476    86.6 | 86.732 % |
349.27/349.49	c |    699116 |  117369   239618 |   57287   24039  2077061    86.4 | 86.732 % |
349.37/349.59	c |    699623 |  117363   239604 |   63016   24543  2103108    85.7 | 86.739 % |
349.57/349.74	c |    700382 |  117355   239584 |   69317   25299  2190760    86.6 | 86.750 % |
349.77/349.91	c |    701521 |  117355   239584 |   76249   26438  2279806    86.2 | 86.750 % |
350.17/350.30	c |    703229 |  117246   239320 |   83874   28131  2418271    86.0 | 86.882 % |
350.56/350.72	c |    705791 |  117246   239320 |   92261   30693  2590338    84.4 | 86.882 % |
351.26/351.49	c |    709637 |  117246   239320 |  101487   34539  3027528    87.7 | 86.882 % |
352.56/352.76	c |    715403 |  117246   239320 |  111636   40305  3793092    94.1 | 86.882 % |
354.86/355.01	c |    724054 |  117246   239320 |  122800   48956  5035819   102.9 | 86.882 % |
359.26/359.42	c |    737028 |  117246   239320 |  135080   61930  7742645   125.0 | 86.882 % |
365.96/366.14	c |    756490 |  117243   239313 |  148588   81390 10586969   130.1 | 86.886 % |
376.76/376.93	c |    785682 |  117204   239214 |  163447  110464 14406412   130.4 | 86.938 % |
399.76/399.98	c |    829471 |  117195   239193 |  179792  154244 20801013   134.9 | 86.948 % |
445.75/445.96	c |    895155 |  117136   239050 |  197771  219901 29227397   132.9 | 87.021 % |
492.74/492.93	c ==============================================================================
492.74/492.93	c Found solution: -52
492.74/492.93	o -52
492.74/492.94	c ---[   0]---> Sorter-cost:    0     Base:
492.83/493.04	c ==================================[MINISAT+]==================================
492.83/493.04	c | Conflicts | Original         | Learnt                           | Progress |
492.83/493.04	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
492.83/493.04	c ==============================================================================
492.83/493.04	c |    986423 |  117121   239000 |   39040   88917  7872636    88.5 | 87.021 % |
492.93/493.11	c |    986524 |  117121   239000 |   42944   89018  7881247    88.5 | 87.043 % |
492.93/493.18	c |    986674 |  117121   239000 |   47238   89168  7896692    88.6 | 87.043 % |
493.13/493.33	c |    986899 |  117089   238922 |   51962   89379  7921066    88.6 | 87.083 % |
493.23/493.45	c |    987237 |  117089   238922 |   57158   89717  7956349    88.7 | 87.083 % |
493.43/493.62	c |    987743 |  117089   238922 |   62874   90223  8021330    88.9 | 87.083 % |
493.63/493.88	c |    988502 |  117089   238922 |   69161   90982  8089394    88.9 | 87.083 % |
494.03/494.24	c |    989641 |  117089   238922 |   76077   92121  8209986    89.1 | 87.083 % |
494.53/494.77	c |    991350 |  117089   238922 |   83685   93830  8420046    89.7 | 87.083 % |
495.43/495.62	c |    993912 |  117089   238922 |   92054   96392  8702763    90.3 | 87.083 % |
496.73/496.92	c |    997757 |  117089   238922 |  101259  100237  9206785    91.9 | 87.083 % |
498.73/498.94	c |   1003523 |  117087   238918 |  111385  105999  9943048    93.8 | 87.084 % |
501.93/502.16	c |   1012174 |  117087   238918 |  122524  114650 10935172    95.4 | 87.084 % |
507.43/507.62	c |   1025149 |  117011   238736 |  134776  127613 12443243    97.5 | 87.177 % |
515.13/515.36	c |   1044611 |  116930   238537 |  148254  146498 15096655   103.1 | 87.280 % |
530.33/530.53	c |   1073803 |  116886   238435 |  163079  175678 18862749   107.4 | 87.330 % |
557.02/557.21	c |   1117592 |  116868   238391 |  179387   30212  1511596    50.0 | 87.353 % |
580.02/580.29	c |   1183276 |  116859   238368 |  197326   95895 10595120   110.5 | 87.365 % |
640.61/640.87	c |   1281803 |  116859   238368 |  217059  194422 22166627   114.0 | 87.365 % |
733.50/733.78	c |   1429594 |  116853   238354 |  238765  101973  6453346    63.3 | 87.372 % |
875.38/875.66	c |   1651277 |  116839   238322 |  262641   64804  2864920    44.2 | 87.387 % |
1137.73/1138.07	c |   1983802 |  116827   238294 |  288905  117041  6080361    52.0 | 87.401 % |
1538.87/1539.22	c |   2482591 |  116780   238183 |  317796  309234 18967685    61.3 | 87.457 % |
1800.04/1800.40	c 
1800.04/1800.40	c *** TERMINATED ***
1800.04/1800.40	s SATISFIABLE
1800.04/1800.40	v -x1400 -x1399 -x1398 -x1397 -x1396 x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 x1280 -x1279 -x1278 -x1277 -x1276 x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 x776 -x775 -x774 x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 x529 -x528 -x527 -x526 -x525 x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 x353 -x352 -x351 -x350 x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 x26 -x25 -x24 -x23 -x22 -x21 -x20 x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data 

OK	-52

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

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

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


[startup+0 s]
/proc/loadavg: 1.96 2.48 2.06 3/176 32067
/proc/meminfo: memFree=29145572/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=1424 CPUtime=0 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 214 0 0 0 0 0 0 0 20 0 1 0 321576870 1458176 172 33554432000 134512640 135395479 4287943056 4287941408 135005913 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 356 172 74 216 0 138 0

[startup+0.105806 s]
/proc/loadavg: 1.96 2.48 2.06 3/176 32067
/proc/meminfo: memFree=29145572/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=3504 CPUtime=0.1 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 730 0 0 0 10 0 0 0 20 0 1 0 321576870 3588096 688 33554432000 134512640 135395479 4287943056 4287941420 135007481 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 876 688 74 216 0 658 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3504

[startup+0.200321 s]
/proc/loadavg: 1.96 2.48 2.06 3/176 32067
/proc/meminfo: memFree=29145572/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=5444 CPUtime=0.19 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 1227 0 0 0 19 0 0 0 20 0 1 0 321576870 5574656 1185 33554432000 134512640 135395479 4287943056 4287942024 135031278 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 1361 1185 74 216 0 1143 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5444

[startup+0.300316 s]
/proc/loadavg: 1.96 2.48 2.06 3/176 32067
/proc/meminfo: memFree=29145572/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=7624 CPUtime=0.29 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 1748 0 0 0 29 0 0 0 20 0 1 0 321576870 7806976 1706 33554432000 134512640 135395479 4287943056 4287941888 134618678 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 1906 1706 74 216 0 1688 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7624

[startup+0.70023 s]
/proc/loadavg: 1.96 2.48 2.06 3/176 32067
/proc/meminfo: memFree=29145572/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=16056 CPUtime=0.69 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 3845 0 0 0 69 0 0 0 20 0 1 0 321576870 16441344 3803 33554432000 134512640 135395479 4287943056 4287941888 134618678 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 4014 3803 74 216 0 3796 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16056

[startup+1.50033 s]
/proc/loadavg: 1.96 2.48 2.06 3/177 32068
/proc/meminfo: memFree=29122228/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=38368 CPUtime=1.49 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 9482 0 0 0 142 7 0 0 20 0 1 0 321576870 39288832 9231 33554432000 134512640 135395479 4287943056 4287941456 134582084 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 9592 9231 108 216 0 9374 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38368

[startup+3.10038 s]
/proc/loadavg: 1.96 2.48 2.06 3/177 32068
/proc/meminfo: memFree=29108588/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=38368 CPUtime=3.09 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 9485 0 0 0 302 7 0 0 20 0 1 0 321576870 39288832 9234 33554432000 134512640 135395479 4287943056 4287941440 134582057 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 9592 9234 110 216 0 9374 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38368

[startup+6.30034 s]
/proc/loadavg: 1.97 2.48 2.06 3/177 32068
/proc/meminfo: memFree=29108340/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=38368 CPUtime=6.29 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 9485 0 0 0 622 7 0 0 20 0 1 0 321576870 39288832 9234 33554432000 134512640 135395479 4287943056 4287941024 134577125 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 9592 9234 110 216 0 9374 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38368

[startup+12.7003 s]
/proc/loadavg: 2.05 2.48 2.07 3/177 32068
/proc/meminfo: memFree=29107736/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=38836 CPUtime=12.69 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 9567 0 0 0 1262 7 0 0 20 0 1 0 321576870 39768064 9306 33554432000 134512640 135395479 4287943056 4287941408 134569777 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 9709 9306 110 216 0 9491 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38836

[startup+25.5003 s]
/proc/loadavg: 2.04 2.46 2.07 3/177 32068
/proc/meminfo: memFree=29103752/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=44000 CPUtime=25.49 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 10880 0 0 0 2541 8 0 0 20 0 1 0 321576870 45056000 10587 33554432000 134512640 135395479 4287943056 4287941376 134572728 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 11000 10587 110 216 0 10782 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 44000

[startup+51.1004 s]
/proc/loadavg: 2.02 2.42 2.06 3/177 32069
/proc/meminfo: memFree=29057724/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=80648 CPUtime=51.08 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 20071 0 0 0 5097 11 0 0 20 0 1 0 321576870 82583552 19740 33554432000 134512640 135395479 4287943056 4287941408 134581477 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 20162 19740 110 216 0 19944 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 80648

[startup+102.3 s]
/proc/loadavg: 2.01 2.35 2.06 3/177 32069
/proc/meminfo: memFree=28956832/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=130416 CPUtime=102.24 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 32503 0 0 0 10208 16 0 0 20 0 1 0 321576870 133545984 32132 33554432000 134512640 135395479 4287943056 4287940892 135011021 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 32604 32132 110 216 0 32386 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 130416

[startup+162.3 s]
/proc/loadavg: 2.00 2.29 2.05 3/177 32069
/proc/meminfo: memFree=28852784/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=195980 CPUtime=162.19 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 48905 0 0 0 16194 25 0 0 20 0 1 0 321576870 200683520 48511 33554432000 134512640 135395479 4287943056 4287941408 134580973 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 48995 48511 110 216 0 48777 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 195980

[startup+222.307 s]
/proc/loadavg: 2.00 2.23 2.05 3/177 32069
/proc/meminfo: memFree=28833688/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=214124 CPUtime=222.19 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 53454 0 0 0 22191 28 0 0 20 0 1 0 321576870 219262976 53060 33554432000 134512640 135395479 4287943056 4287941408 134581133 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 53531 53060 110 216 0 53313 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 214124

[startup+282.3 s]
/proc/loadavg: 2.00 2.19 2.04 3/177 32069
/proc/meminfo: memFree=28833488/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=214124 CPUtime=282.18 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 53455 0 0 0 28190 28 0 0 20 0 1 0 321576870 219262976 53061 33554432000 134512640 135395479 4287943056 4287941408 134581412 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 53531 53061 110 216 0 53313 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 214124

[startup+342.3 s]
/proc/loadavg: 2.00 2.15 2.04 3/176 32069
/proc/meminfo: memFree=28833344/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=214124 CPUtime=342.17 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 53455 0 0 0 34189 28 0 0 20 0 1 0 321576870 219262976 53061 33554432000 134512640 135395479 4287943056 4287941408 134580965 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 53531 53061 110 216 0 53313 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 214124

[startup+402.3 s]
/proc/loadavg: 2.00 2.12 2.03 3/177 32070
/proc/meminfo: memFree=28833344/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=214124 CPUtime=402.16 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 53460 0 0 0 40188 28 0 0 20 0 1 0 321576870 219262976 53066 33554432000 134512640 135395479 4287943056 4287941408 134581189 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 53531 53066 110 216 0 53313 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 214124

[startup+462.3 s]
/proc/loadavg: 2.00 2.10 2.02 3/177 32070
/proc/meminfo: memFree=28833392/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=214124 CPUtime=462.14 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 53467 0 0 0 46186 28 0 0 20 0 1 0 321576870 219262976 53068 33554432000 134512640 135395479 4287943056 4287941408 134580959 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 53531 53068 110 216 0 53313 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 214124

[startup+522.3 s]
/proc/loadavg: 2.00 2.08 2.02 3/178 32073
/proc/meminfo: memFree=28833400/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=214124 CPUtime=522.13 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 53476 0 0 0 52185 28 0 0 20 0 1 0 321576870 219262976 53072 33554432000 134512640 135395479 4287943056 4287941408 134581488 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 53531 53072 110 216 0 53313 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 214124

[startup+582.3 s]
/proc/loadavg: 2.00 2.06 2.01 3/177 32073
/proc/meminfo: memFree=28794132/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=214124 CPUtime=582.12 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 53476 0 0 0 58184 28 0 0 20 0 1 0 321576870 219262976 53072 33554432000 134512640 135395479 4287943056 4287940928 134574480 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 53531 53072 110 216 0 53313 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 214124

[startup+642.3 s]

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

[startup+882.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 32074
/proc/meminfo: memFree=28793720/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=214124 CPUtime=882.08 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 53515 0 0 0 88180 28 0 0 20 0 1 0 321576870 219262976 53111 33554432000 134512640 135395479 4287943056 4287941408 134580908 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 53531 53111 110 216 0 53313 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 214124

[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 32074
/proc/meminfo: memFree=28793472/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=214124 CPUtime=942.06 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 53515 0 0 0 94178 28 0 0 20 0 1 0 321576870 219262976 53111 33554432000 134512640 135395479 4287943056 4287941408 134580923 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 53531 53111 110 216 0 53313 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 214124

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 32075
/proc/meminfo: memFree=28793472/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=214124 CPUtime=1002.05 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 53515 0 0 0 100177 28 0 0 20 0 1 0 321576870 219262976 53111 33554432000 134512640 135395479 4287943056 4287941408 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 53531 53111 110 216 0 53313 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 214124

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 32075
/proc/meminfo: memFree=28793472/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=214124 CPUtime=1062.04 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 53515 0 0 0 106176 28 0 0 20 0 1 0 321576870 219262976 53111 33554432000 134512640 135395479 4287943056 4287941408 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 53531 53111 110 216 0 53313 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 214124

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32078
/proc/meminfo: memFree=28792944/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=215276 CPUtime=1122.04 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 53644 0 0 0 112176 28 0 0 20 0 1 0 321576870 220442624 53240 33554432000 134512640 135395479 4287943056 4287941408 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 53819 53240 110 216 0 53601 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 215276

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32101
/proc/meminfo: memFree=28792152/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=215276 CPUtime=1182.03 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 53644 0 0 0 118175 28 0 0 20 0 1 0 321576870 220442624 53240 33554432000 134512640 135395479 4287943056 4287941408 134580959 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 53819 53240 110 216 0 53601 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 215276

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32101
/proc/meminfo: memFree=28791860/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=215276 CPUtime=1242.02 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 53644 0 0 0 124174 28 0 0 20 0 1 0 321576870 220442624 53240 33554432000 134512640 135395479 4287943056 4287941408 134580980 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 53819 53240 110 216 0 53601 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 215276

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32102
/proc/meminfo: memFree=28789380/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=215276 CPUtime=1302.01 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 53644 0 0 0 130173 28 0 0 20 0 1 0 321576870 220442624 53240 33554432000 134512640 135395479 4287943056 4287941408 134580919 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 53819 53240 110 216 0 53601 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 215276

[startup+1362.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 32102
/proc/meminfo: memFree=28740400/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=215276 CPUtime=1362 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 53669 0 0 0 136172 28 0 0 20 0 1 0 321576870 220442624 53265 33554432000 134512640 135395479 4287943056 4287941408 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 53819 53265 110 216 0 53601 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 215276

[startup+1422.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 32102
/proc/meminfo: memFree=28696864/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=215276 CPUtime=1422 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 53669 0 0 0 142172 28 0 0 20 0 1 0 321576870 220442624 53265 33554432000 134512640 135395479 4287943056 4287941408 134580765 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 53819 53265 110 216 0 53601 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 215276

[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 32102
/proc/meminfo: memFree=28658140/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=215276 CPUtime=1481.98 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 53669 0 0 0 148170 28 0 0 20 0 1 0 321576870 220442624 53265 33554432000 134512640 135395479 4287943056 4287941408 134580801 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 53819 53265 110 216 0 53601 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 215276

[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 32102
/proc/meminfo: memFree=28635448/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=215276 CPUtime=1541.98 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 53669 0 0 0 154170 28 0 0 20 0 1 0 321576870 220442624 53265 33554432000 134512640 135395479 4287943056 4287941024 134576810 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 53819 53265 110 216 0 53601 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 215276

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 32152
/proc/meminfo: memFree=29010460/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=215276 CPUtime=1601.96 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 53685 0 0 0 160168 28 0 0 20 0 1 0 321576870 220442624 53281 33554432000 134512640 135395479 4287943056 4287941408 134580798 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 53819 53281 110 216 0 53601 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 215276

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32152
/proc/meminfo: memFree=28957168/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=215276 CPUtime=1661.95 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 53697 0 0 0 166167 28 0 0 20 0 1 0 321576870 220442624 53293 33554432000 134512640 135395479 4287943056 4287941408 134580798 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 53819 53293 110 216 0 53601 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 215276

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 32155
/proc/meminfo: memFree=28935868/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=215276 CPUtime=1721.94 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 53697 0 0 0 172166 28 0 0 20 0 1 0 321576870 220442624 53293 33554432000 134512640 135395479 4287943056 4287941408 134581463 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 53819 53293 110 216 0 53601 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 215276

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32155
/proc/meminfo: memFree=28871908/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=215276 CPUtime=1781.94 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 53697 0 0 0 178166 28 0 0 20 0 1 0 321576870 220442624 53293 33554432000 134512640 135395479 4287943056 4287941408 134580950 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 53819 53293 110 216 0 53601 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 215276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32155
/proc/meminfo: memFree=28871908/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=215276 CPUtime=1800.04 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 53697 0 0 0 179976 28 0 0 20 0 1 0 321576870 220442624 53293 33554432000 134512640 135395479 4287943056 4287941408 134581494 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 53819 53293 110 216 0 53601 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 215276

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

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

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 32155
/proc/meminfo: memFree=28871908/32873844 swapFree=6872/6872
[pid=32067] ppid=32065 vsize=215276 CPUtime=1800.04 cores=1,3,5,7
/proc/32067/stat : 32067 (minisat+) R 32065 32067 31700 0 -1 4202496 53697 0 0 0 179976 28 0 0 20 0 1 0 321576870 220442624 53293 33554432000 134512640 135395479 4287943056 4287941408 134581494 0 0 4096 16386 0 0 0 17 5 0 0 0 0 0
/proc/32067/statm: 53819 53293 110 216 0 53601 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 215276

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.05
CPU user time (s): 1799.76
CPU system time (s): 0.283956
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 215276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
system time used= 0.283956
maximum resident set size= 213180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53699
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= 99
involuntary context switches= 1851

runsolver used 2.86256 second user time and 11.2633 second system time

The end

Launcher Data 

Begin job on node106 at 2012-06-01 14:41:24
IDJOB=3721303
IDBENCH=2248
IDSOLVER=2306
FILE ID=node106/3721303-1338554484
RUNJOBID= node106-1338552592-31717
PBS_JOBID= 14635884
Free space on /tmp= 70860 MiB

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

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

MD5SUM BENCH= 62a6bdf0e089cd0b8a79007277394096
RANDOM SEED=2076301207

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
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:        29146232 kB
Buffers:          197952 kB
Cached:          2496580 kB
SwapCached:         1940 kB
Active:          1067340 kB
Inactive:        1838992 kB
Active(anon):     209060 kB
Inactive(anon):     4868 kB
Active(file):     858280 kB
Inactive(file):  1834124 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100516 kB
Dirty:              5064 kB
Writeback:             0 kB
AnonPages:        218540 kB
Mapped:             9312 kB
Shmem:                 0 kB
Slab:             679072 kB
SReclaimable:     121344 kB
SUnreclaim:       557728 kB
KernelStack:        1456 kB
PageTables:         4040 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     335580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    137216 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-3721303-1338554484.opb

Free space on /tmp at the end= 70860 MiB
End job on node106 at 2012-06-01 15:11:26