Trace number 3723564

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
PB12: minisatp 1.0-2-g022594cSAT (TO)-52 1800.07 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

Solver Data 

0.00/0.00	c Parsing PB file...
0.00/0.12	c Converting 109401 PB-constraints to clauses...
0.00/0.12	c   -- Unit propagations: (none)
0.00/0.12	c   -- Detecting intervals from adjacent constraints: (none)
0.00/0.13	c   -- Clauses(.)/Splits(s): .........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.00/0.22	c ==================================[MINISAT+]==================================
0.00/0.22	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.22	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.22	c ==============================================================================
0.00/0.22	c |         0 |  109401   218802 |   36467       0        0    -nan |  0.000 % |
0.00/0.22	c ==============================================================================
0.00/0.22	c Found solution: -40
0.00/0.22	c ---[   0]---> Sorter-cost:78076     Base:
0.00/0.27	c ==================================[MINISAT+]==================================
0.00/0.27	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.27	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.27	c ==============================================================================
0.00/0.27	c |         0 |  193094   415099 |   64364       0        0    -nan |  0.000 % |
0.00/0.40	c |       100 |  192550   413981 |   70800      81      590     7.3 |  0.516 % |
0.00/0.59	c |       250 |  191694   412157 |   77880     191     2087    10.9 |  1.412 % |
0.00/0.81	c |       476 |  190523   409618 |   85668     373     4634    12.4 |  2.568 % |
1.09/1.16	c |       814 |  188009   404076 |   94235     603     7316    12.1 |  5.226 % |
1.48/1.57	c |      1320 |  185071   397592 |  103658    1000    11541    11.5 |  8.340 % |
2.28/2.34	c |      2079 |  180361   387088 |  114024    1525    18000    11.8 | 13.428 % |
3.19/3.29	c |      3218 |  174052   372857 |  125427    2298    26933    11.7 | 20.384 % |
4.29/4.40	c |      4926 |  167171   357178 |  137969    3480    42305    12.2 | 28.065 % |
5.88/5.96	c |      7488 |  157158   334221 |  151766    5331    61838    11.6 | 39.255 % |
7.88/7.99	c |     11332 |  143512   302241 |  166943    7957    92329    11.6 | 55.025 % |
9.28/9.33	c ==============================================================================
9.28/9.33	c Found solution: -42
9.28/9.33	c ---[   0]---> Sorter-cost:    0     Base:
9.28/9.35	c ==================================[MINISAT+]==================================
9.28/9.35	c | Conflicts | Original         | Learnt                           | Progress |
9.28/9.35	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
9.28/9.35	c ==============================================================================
9.28/9.35	c |     15569 |  135946   284322 |   45315   11306   149403    13.2 | 55.025 % |
9.28/9.38	c |     15669 |  135866   284136 |   49846   11395   150559    13.2 | 64.125 % |
9.38/9.45	c |     15820 |  135426   283104 |   54831   11500   151916    13.2 | 64.641 % |
9.48/9.50	c |     16045 |  135286   282788 |   60314   11683   154098    13.2 | 64.793 % |
9.58/9.65	c |     16382 |  134342   280503 |   66345   11786   157063    13.3 | 65.953 % |
9.68/9.79	c |     16888 |  133659   278867 |   72980   12093   163237    13.5 | 66.757 % |
9.89/9.92	c |     17647 |  133237   277871 |   80278   12731   175572    13.8 | 67.245 % |
10.08/10.16	c |     18786 |  132389   275854 |   88306   13643   193821    14.2 | 68.253 % |
10.48/10.58	c |     20494 |  130458   271203 |   97136   14901   229536    15.4 | 70.564 % |
11.08/11.12	c |     23056 |  128584   266721 |  106850   16833   296515    17.6 | 72.830 % |
11.88/11.94	c |     26900 |  126476   261666 |  117535   20110   395917    19.7 | 75.386 % |
11.99/12.00	c ==============================================================================
11.99/12.00	c Found solution: -43
11.99/12.01	c ---[   0]---> Sorter-cost:    0     Base:
11.99/12.02	c ==================================[MINISAT+]==================================
11.99/12.02	c | Conflicts | Original         | Learnt                           | Progress |
11.99/12.02	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
11.99/12.02	c ==============================================================================
11.99/12.02	c |     27112 |  126362   261467 |   42120   20168   399601    19.8 | 75.386 % |
11.99/12.06	c |     27213 |  126232   261163 |   46332   20222   400168    19.8 | 75.734 % |
11.99/12.08	c ==============================================================================
11.99/12.08	c Found solution: -45
11.99/12.09	c ---[   0]---> Sorter-cost:    0     Base:
11.99/12.10	c ==================================[MINISAT+]==================================
11.99/12.10	c | Conflicts | Original         | Learnt                           | Progress |
11.99/12.10	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
11.99/12.10	c ==============================================================================
11.99/12.10	c |     27304 |  126147   260998 |   42049   20300   406316    20.0 | 75.734 % |
12.09/12.14	c |     27404 |  125936   260484 |   46253   20305   406337    20.0 | 76.119 % |
12.09/12.17	c |     27554 |  125826   260240 |   50879   20394   406963    20.0 | 76.236 % |
12.18/12.25	c |     27780 |  125529   259518 |   55967   20456   409720    20.0 | 76.607 % |
12.18/12.29	c |     28117 |  125529   259518 |   61563   20793   424866    20.4 | 76.607 % |
12.38/12.41	c |     28623 |  125154   258581 |   67720   21185   442562    20.9 | 77.087 % |
12.48/12.55	c |     29383 |  124885   257942 |   74492   21769   460588    21.2 | 77.404 % |
12.78/12.85	c |     30522 |  123809   255381 |   81941   21857   468905    21.5 | 78.685 % |
13.09/13.16	c |     32230 |  123206   253923 |   90135   23164   522450    22.6 | 79.418 % |
13.68/13.70	c |     34794 |  122139   251310 |   99149   25075   620853    24.8 | 80.726 % |
14.18/14.27	c |     38638 |  121565   249916 |  109064   28502   808206    28.4 | 81.433 % |
14.58/14.67	c ==============================================================================
14.58/14.67	c Found solution: -46
14.58/14.67	c ---[   0]---> Sorter-cost:    0     Base:
14.58/14.69	c ==================================[MINISAT+]==================================
14.58/14.69	c | Conflicts | Original         | Learnt                           | Progress |
14.58/14.69	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
14.58/14.69	c ==============================================================================
14.58/14.69	c |     40656 |  121278   249156 |   40426   30353  1075811    35.4 | 81.433 % |
14.68/14.70	c |     40757 |  121278   249156 |   44468   30454  1077201    35.4 | 81.803 % |
14.68/14.72	c |     40908 |  121278   249156 |   48915   30605  1082440    35.4 | 81.803 % |
14.68/14.77	c |     41133 |  121276   249152 |   53807   30828  1095379    35.5 | 81.805 % |
14.78/14.82	c |     41470 |  121276   249152 |   59187   31165  1111921    35.7 | 81.804 % |
14.88/14.90	c |     41976 |  121275   249149 |   65106   31642  1147778    36.3 | 81.806 % |
14.98/15.01	c |     42737 |  121275   249149 |   71617   32403  1217895    37.6 | 81.806 % |
15.08/15.18	c |     43878 |  121275   249149 |   78778   33544  1300610    38.8 | 81.806 % |
15.48/15.52	c |     45586 |  121134   248804 |   86656   35012  1429413    40.8 | 81.985 % |
15.88/15.93	c |     48148 |  121087   248685 |   95322   37563  1646865    43.8 | 82.048 % |
16.68/16.75	c |     51992 |  120673   247675 |  104854   41161  1981276    48.1 | 82.568 % |
17.58/17.68	c ==============================================================================
17.58/17.68	c Found solution: -47
17.58/17.68	c ---[   0]---> Sorter-cost:    0     Base:
17.68/17.71	c ==================================[MINISAT+]==================================
17.68/17.71	c | Conflicts | Original         | Learnt                           | Progress |
17.68/17.71	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
17.68/17.71	c ==============================================================================
17.68/17.71	c |     55645 |  120589   247506 |   40196   44636  2845221    63.7 | 82.568 % |
17.68/17.78	c |     55745 |  120506   247303 |   44215   44614  2848674    63.9 | 82.817 % |
17.78/17.80	c |     55895 |  120506   247303 |   48637   44764  2855825    63.8 | 82.817 % |
17.78/17.88	c |     56120 |  120473   247226 |   53500   44621  2875329    64.4 | 82.859 % |
17.88/17.97	c |     56457 |  120470   247219 |   58850   44958  2901652    64.5 | 82.859 % |
18.08/18.18	c |     56963 |  120246   246684 |   64736   45331  2929516    64.6 | 83.132 % |
18.28/18.37	c |     57722 |  120230   246648 |   71209   45995  2959483    64.3 | 83.149 % |
18.59/18.68	c |     58861 |  120074   246278 |   78330   46773  3044531    65.1 | 83.336 % |
19.08/19.12	c |     60569 |  119833   245693 |   86163   48027  3118193    64.9 | 83.635 % |
19.69/19.79	c |     63131 |  119691   245351 |   94780   50492  3367022    66.7 | 83.806 % |
20.78/20.87	c |     66976 |  119410   244671 |  104258   54046  3626059    67.1 | 84.150 % |
22.28/22.37	c |     72742 |  119318   244450 |  114683   59670  4356221    73.0 | 84.260 % |
24.89/24.90	c |     81391 |  119148   244038 |  126152   68101  5799724    85.2 | 84.471 % |
29.08/29.15	c |     94365 |  118726   242988 |  138767   80374  7708861    95.9 | 84.998 % |
30.27/30.31	c ==============================================================================
30.27/30.31	c Found solution: -49
30.27/30.31	c ---[   0]---> Sorter-cost:    0     Base:
30.27/30.37	c ==================================[MINISAT+]==================================
30.27/30.37	c | Conflicts | Original         | Learnt                           | Progress |
30.27/30.37	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
30.27/30.37	c ==============================================================================
30.27/30.37	c |     98262 |  118748   243053 |   39582   84271  8272750    98.2 | 84.998 % |
30.37/30.40	c |     98362 |  118748   243053 |   43540   84371  8276754    98.1 | 84.982 % |
30.37/30.45	c |     98513 |  118748   243053 |   47894   84522  8288612    98.1 | 84.982 % |
30.47/30.59	c |     98739 |  118712   242968 |   52683   84696  8301533    98.0 | 85.024 % |
30.69/30.70	c |     99077 |  118712   242968 |   57952   85034  8337014    98.0 | 85.024 % |
30.79/30.86	c |     99584 |  118712   242968 |   63747   85541  8378096    97.9 | 85.024 % |
31.08/31.15	c |    100343 |  118705   242951 |   70121   86282  8458897    98.0 | 85.033 % |
31.48/31.52	c |    101482 |  118705   242951 |   77134   87421  8604128    98.4 | 85.033 % |
32.08/32.10	c |    103190 |  118705   242951 |   84847   89129  8867240    99.5 | 85.033 % |
32.98/33.01	c |    105752 |  118618   242750 |   93332   91353  9258326   101.3 | 85.132 % |
34.38/34.44	c |    109596 |  118494   242460 |  102665   94683  9748011   103.0 | 85.277 % |
36.58/36.69	c |    115363 |  118389   242202 |  112932   99691 10311028   103.4 | 85.410 % |
39.68/39.75	c |    124012 |  118262   241899 |  124225  108142 11362077   105.1 | 85.563 % |
44.67/44.71	c |    136986 |  118190   241720 |  136647  121034 13717458   113.3 | 85.656 % |
46.47/46.54	c ==============================================================================
46.47/46.54	c Found solution: -50
46.47/46.54	c ---[   0]---> Sorter-cost:    0     Base:
46.57/46.63	c ==================================[MINISAT+]==================================
46.57/46.63	c | Conflicts | Original         | Learnt                           | Progress |
46.57/46.63	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
46.57/46.63	c ==============================================================================
46.57/46.63	c |    140733 |  118042   241316 |   39347  118525 12661343   106.8 | 85.656 % |
46.67/46.76	c |    140833 |  118042   241316 |   43281   23363  2545990   109.0 | 85.841 % |
46.67/46.78	c |    140984 |  118042   241316 |   47609   23514  2556602   108.7 | 85.841 % |
46.77/46.81	c |    141209 |  118042   241316 |   52370   23739  2571154   108.3 | 85.841 % |
46.77/46.89	c |    141546 |  118034   241294 |   57607   24025  2614706   108.8 | 85.853 % |
46.87/46.99	c |    142052 |  118022   241268 |   63368   24526  2658123   108.4 | 85.866 % |
47.07/47.12	c |    142811 |  118002   241222 |   69705   25265  2721433   107.7 | 85.888 % |
47.18/47.30	c |    143950 |  118002   241222 |   76676   26404  2857185   108.2 | 85.888 % |
47.47/47.59	c |    145658 |  118002   241222 |   84343   28112  3085282   109.7 | 85.888 % |
47.87/47.96	c |    148221 |  118002   241222 |   92778   30675  3289400   107.2 | 85.888 % |
48.57/48.61	c |    152065 |  118000   241218 |  102055   34517  3710933   107.5 | 85.890 % |
49.56/49.66	c |    157831 |  117945   241081 |  112261   40262  4413927   109.6 | 85.962 % |
51.46/51.53	c |    166480 |  117887   240940 |  123487   48877  5631309   115.2 | 86.030 % |
54.56/54.69	c |    179455 |  117887   240940 |  135836   61852  8211924   132.8 | 86.030 % |
60.06/60.10	c |    198916 |  117844   240839 |  149420   81253 11981039   147.5 | 86.080 % |
69.46/69.50	c |    228109 |  117764   240643 |  164362  110425 16006759   145.0 | 86.182 % |
82.46/82.59	c ==============================================================================
82.46/82.59	c Found solution: -51
82.46/82.59	c ---[   0]---> Sorter-cost:    0     Base:
82.65/82.72	c ==================================[MINISAT+]==================================
82.65/82.72	c | Conflicts | Original         | Learnt                           | Progress |
82.65/82.72	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
82.65/82.72	c ==============================================================================
82.65/82.72	c |    258225 |  117789   240716 |   39263  140540 21102100   150.2 | 86.182 % |
82.85/82.92	c |    258325 |  117764   240657 |   43189   22412  2602371   116.1 | 86.211 % |
82.85/82.98	c |    258475 |  117712   240535 |   47508   22556  2608151   115.6 | 86.272 % |
82.95/83.01	c |    258701 |  117712   240535 |   52259   22782  2616086   114.8 | 86.272 % |
82.95/83.04	c |    259038 |  117712   240535 |   57484   23119  2627774   113.7 | 86.272 % |
83.05/83.10	c |    259545 |  117712   240535 |   63233   23626  2652445   112.3 | 86.272 % |
83.05/83.18	c |    260304 |  117712   240535 |   69556   24385  2720590   111.6 | 86.272 % |
83.25/83.33	c |    261443 |  117712   240535 |   76512   25524  2856345   111.9 | 86.272 % |
83.56/83.67	c |    263152 |  117640   240361 |   84163   27211  3076930   113.1 | 86.360 % |
84.05/84.11	c |    265714 |  117600   240259 |   92580   29749  3312423   111.3 | 86.414 % |
84.66/84.73	c |    269558 |  117594   240245 |  101838   33587  3653983   108.8 | 86.421 % |
85.66/85.72	c |    275324 |  117496   240005 |  112021   39305  4216144   107.3 | 86.542 % |
87.15/87.23	c |    283973 |  117471   239944 |  123224   47913  5228983   109.1 | 86.573 % |
90.16/90.20	c |    296948 |  117429   239844 |  135546   60870  7139376   117.3 | 86.623 % |
95.05/95.11	c |    316409 |  117429   239844 |  149101   80331  9710952   120.9 | 86.623 % |
103.26/103.35	c |    345601 |  117393   239760 |  164011  109507 12969722   118.4 | 86.665 % |
120.35/120.46	c |    389390 |  117315   239574 |  180412  153233 19167960   125.1 | 86.759 % |
157.63/157.71	c |    455074 |  117310   239563 |  198453  218880 29384472   134.2 | 86.764 % |
193.23/193.33	c |    553600 |  117183   239252 |  218299   90317 10632075   117.7 | 86.925 % |
232.72/232.89	c ==============================================================================
232.72/232.89	c Found solution: -52
232.72/232.89	c ---[   0]---> Sorter-cost:    0     Base:
232.92/233.05	c ==================================[MINISAT+]==================================
232.92/233.05	c | Conflicts | Original         | Learnt                           | Progress |
232.92/233.05	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
232.92/233.05	c ==============================================================================
232.92/233.05	c |    655731 |  117048   238895 |   39016  192148 26551907   138.2 | 86.925 % |
233.22/233.36	c |    655831 |  117048   238895 |   42917   23965  2149684    89.7 | 87.085 % |
233.22/233.38	c |    655981 |  117048   238895 |   47209   24115  2154083    89.3 | 87.085 % |
233.32/233.41	c |    656206 |  117048   238895 |   51930   24340  2161048    88.8 | 87.085 % |
233.32/233.42	c |    656543 |  117048   238895 |   57123   24677  2167887    87.9 | 87.085 % |
233.42/233.50	c |    657050 |  117001   238778 |   62835   25177  2204473    87.6 | 87.146 % |
233.42/233.57	c |    657809 |  117001   238778 |   69119   25936  2245218    86.6 | 87.146 % |
233.52/233.69	c |    658949 |  117001   238778 |   76031   27076  2320764    85.7 | 87.146 % |
233.82/233.90	c |    660658 |  117001   238778 |   83634   28785  2472398    85.9 | 87.146 % |
234.02/234.17	c |    663220 |  117001   238778 |   91997   31347  2684969    85.7 | 87.146 % |
234.62/234.73	c |    667064 |  117001   238778 |  101197   35191  3173628    90.2 | 87.146 % |
235.42/235.55	c |    672830 |  117001   238778 |  111317   40957  3801771    92.8 | 87.146 % |
236.92/237.05	c |    681479 |  116968   238697 |  122448   49585  4598770    92.7 | 87.188 % |
239.41/239.57	c |    694453 |  116968   238697 |  134693   62559  6077249    97.1 | 87.188 % |
243.51/243.62	c |    713916 |  116951   238656 |  148163   82013  8258995   100.7 | 87.209 % |
251.50/251.64	c |    743108 |  116945   238642 |  162979  111203 11824174   106.3 | 87.216 % |
267.39/267.59	c |    786898 |  116904   238537 |  179277  154992 18286585   118.0 | 87.272 % |
297.89/298.01	c |    852582 |  116869   238454 |  197205  220620 24560147   111.3 | 87.313 % |
329.28/329.45	c |    951108 |  116852   238413 |  216925  100033 10205952   102.0 | 87.334 % |
384.27/384.47	c |   1098897 |  116789   238262 |  238618  247795 27465689   110.8 | 87.411 % |
461.96/462.12	c |   1320580 |  116739   238140 |  262480  206604 21862653   105.8 | 87.474 % |
619.64/619.88	c |   1653105 |  116714   238077 |  288728  255153 30664804   120.2 | 87.507 % |
890.79/891.03	c |   2151893 |  116680   237993 |  317600  138523  5429108    39.2 | 87.550 % |
1367.22/1367.52	c |   2900076 |  116643   237904 |  349361  219625  9242414    42.1 | 87.596 % |
1800.06/1800.40	c 
1800.06/1800.40	c *** TERMINATED ***
1800.06/1800.40	s SATISFIABLE
1800.06/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-3723564-1338571562/watcher-3723564-1338571562 -o /tmp/evaluation-result-3723564-1338571562/solver-3723564-1338571562 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723564-1338571562.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.10 2.03 1.93 3/175 12654
/proc/meminfo: memFree=28138196/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12654/stat : 12654 (minisat+_script) S 12652 12654 10505 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323282102 9367552 276 33554432000 4194304 5064252 140734389156992 140734389155904 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12654/statm: 2287 276 236 213 0 72 0

[startup+0.0719259 s]
/proc/loadavg: 2.10 2.03 1.93 3/175 12654
/proc/meminfo: memFree=28138196/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12654/stat : 12654 (minisat+_script) S 12652 12654 10505 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323282102 9367552 276 33554432000 4194304 5064252 140734389156992 140734389155904 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12654/statm: 2287 276 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100355 s]
/proc/loadavg: 2.10 2.03 1.93 3/175 12654
/proc/meminfo: memFree=28138196/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12654/stat : 12654 (minisat+_script) S 12652 12654 10505 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323282102 9367552 276 33554432000 4194304 5064252 140734389156992 140734389155904 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12654/statm: 2287 276 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300302 s]
/proc/loadavg: 2.10 2.03 1.93 3/175 12654
/proc/meminfo: memFree=28138196/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12654/stat : 12654 (minisat+_script) S 12652 12654 10505 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323282102 9367552 276 33554432000 4194304 5064252 140734389156992 140734389155904 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12654/statm: 2287 276 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700319 s]
/proc/loadavg: 2.10 2.03 1.93 3/175 12654
/proc/meminfo: memFree=28138196/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12654/stat : 12654 (minisat+_script) S 12652 12654 10505 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323282102 9367552 276 33554432000 4194304 5064252 140734389156992 140734389155904 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12654/statm: 2287 276 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50035 s]
/proc/loadavg: 2.10 2.03 1.93 3/177 12659
/proc/meminfo: memFree=28083984/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12654/stat : 12654 (minisat+_script) S 12652 12654 10505 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323282102 9367552 276 33554432000 4194304 5064252 140734389156992 140734389155904 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12654/statm: 2287 276 236 213 0 72 0
[pid=12658] ppid=12654 vsize=54580 CPUtime=1.48 cores=1,3,5,7
/proc/12658/stat : 12658 (minisat+_64-bit) R 12654 12654 10505 0 -1 4202496 13426 0 0 0 144 4 0 0 20 0 1 0 323282103 55889920 13382 33554432000 4194304 5276501 140734875303328 140734875301576 4390266 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12658/statm: 13645 13382 118 265 0 13377 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 63728

[startup+3.10037 s]
/proc/loadavg: 2.10 2.03 1.93 3/177 12659
/proc/meminfo: memFree=28082248/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12654/stat : 12654 (minisat+_script) S 12652 12654 10505 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323282102 9367552 276 33554432000 4194304 5064252 140734389156992 140734389155904 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12654/statm: 2287 276 236 213 0 72 0
[pid=12658] ppid=12654 vsize=54580 CPUtime=3.08 cores=1,3,5,7
/proc/12658/stat : 12658 (minisat+_64-bit) R 12654 12654 10505 0 -1 4202496 13426 0 0 0 304 4 0 0 20 0 1 0 323282103 55889920 13382 33554432000 4194304 5276501 140734875303328 140734875301576 4390364 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12658/statm: 13645 13382 118 265 0 13377 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 63728

[startup+6.30037 s]
/proc/loadavg: 2.10 2.03 1.93 3/177 12659
/proc/meminfo: memFree=28080760/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12654/stat : 12654 (minisat+_script) S 12652 12654 10505 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323282102 9367552 276 33554432000 4194304 5064252 140734389156992 140734389155904 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12654/statm: 2287 276 236 213 0 72 0
[pid=12658] ppid=12654 vsize=54580 CPUtime=6.28 cores=1,3,5,7
/proc/12658/stat : 12658 (minisat+_64-bit) R 12654 12654 10505 0 -1 4202496 13426 0 0 0 624 4 0 0 20 0 1 0 323282103 55889920 13382 33554432000 4194304 5276501 140734875303328 140734875301576 4391506 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12658/statm: 13645 13382 118 265 0 13377 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 63728

[startup+12.7004 s]
/proc/loadavg: 2.08 2.03 1.93 3/177 12659
/proc/meminfo: memFree=28082564/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12654/stat : 12654 (minisat+_script) S 12652 12654 10505 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323282102 9367552 276 33554432000 4194304 5064252 140734389156992 140734389155904 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12654/statm: 2287 276 236 213 0 72 0
[pid=12658] ppid=12654 vsize=54580 CPUtime=12.68 cores=1,3,5,7
/proc/12658/stat : 12658 (minisat+_64-bit) R 12654 12654 10505 0 -1 4202496 13426 0 0 0 1264 4 0 0 20 0 1 0 323282103 55889920 13382 33554432000 4194304 5276501 140734875303328 140734875301576 4391570 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12658/statm: 13645 13382 118 265 0 13377 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 63728

[startup+25.5004 s]
/proc/loadavg: 2.07 2.03 1.93 3/177 12659
/proc/meminfo: memFree=28079588/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12654/stat : 12654 (minisat+_script) S 12652 12654 10505 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323282102 9367552 276 33554432000 4194304 5064252 140734389156992 140734389155904 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12654/statm: 2287 276 236 213 0 72 0
[pid=12658] ppid=12654 vsize=58252 CPUtime=25.49 cores=1,3,5,7
/proc/12658/stat : 12658 (minisat+_64-bit) R 12654 12654 10505 0 -1 4202496 14327 0 0 0 2544 5 0 0 20 0 1 0 323282103 59650048 14283 33554432000 4194304 5276501 140734875303328 140734875301320 4391563 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12658/statm: 14563 14283 118 265 0 14295 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 67400

[startup+51.1003 s]
/proc/loadavg: 2.04 2.02 1.93 3/177 12659
/proc/meminfo: memFree=28037632/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12654/stat : 12654 (minisat+_script) S 12652 12654 10505 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323282102 9367552 276 33554432000 4194304 5064252 140734389156992 140734389155904 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12654/statm: 2287 276 236 213 0 72 0
[pid=12658] ppid=12654 vsize=96164 CPUtime=51.06 cores=1,3,5,7
/proc/12658/stat : 12658 (minisat+_64-bit) R 12654 12654 10505 0 -1 4202496 24036 0 0 0 5097 9 0 0 20 0 1 0 323282103 98471936 23755 33554432000 4194304 5276501 140734875303328 140734875301576 4394737 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12658/statm: 24041 23755 118 265 0 23773 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 105312

[startup+102.307 s]
/proc/loadavg: 2.02 2.02 1.93 3/177 12660
/proc/meminfo: memFree=28006988/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12654/stat : 12654 (minisat+_script) S 12652 12654 10505 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323282102 9367552 276 33554432000 4194304 5064252 140734389156992 140734389155904 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12654/statm: 2287 276 236 213 0 72 0
[pid=12658] ppid=12654 vsize=126296 CPUtime=102.26 cores=1,3,5,7
/proc/12658/stat : 12658 (minisat+_64-bit) R 12654 12654 10505 0 -1 4202496 31604 0 0 0 10213 13 0 0 20 0 1 0 323282103 129327104 31190 33554432000 4194304 5276501 140734875303328 140734875301576 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12658/statm: 31574 31190 118 265 0 31306 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 135444

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 12660
/proc/meminfo: memFree=27963952/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12654/stat : 12654 (minisat+_script) S 12652 12654 10505 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323282102 9367552 276 33554432000 4194304 5064252 140734389156992 140734389155904 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12654/statm: 2287 276 236 213 0 72 0
[pid=12658] ppid=12654 vsize=169836 CPUtime=162.24 cores=1,3,5,7
/proc/12658/stat : 12658 (minisat+_64-bit) R 12654 12654 10505 0 -1 4202496 42407 0 0 0 16207 17 0 0 20 0 1 0 323282103 173912064 41993 33554432000 4194304 5276501 140734875303328 140734875300920 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12658/statm: 42459 41993 118 265 0 42191 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 178984

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/177 12660
/proc/meminfo: memFree=27942128/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12654/stat : 12654 (minisat+_script) S 12652 12654 10505 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323282102 9367552 276 33554432000 4194304 5064252 140734389156992 140734389155904 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12654/statm: 2287 276 236 213 0 72 0
[pid=12658] ppid=12654 vsize=184780 CPUtime=222.22 cores=1,3,5,7
/proc/12658/stat : 12658 (minisat+_64-bit) R 12654 12654 10505 0 -1 4202496 46145 0 0 0 22203 19 0 0 20 0 1 0 323282103 189214720 45731 33554432000 4194304 5276501 140734875303328 140734875301576 4399904 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12658/statm: 46195 45731 118 265 0 45927 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 193928

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12705
/proc/meminfo: memFree=27912692/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12654/stat : 12654 (minisat+_script) S 12652 12654 10505 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323282102 9367552 276 33554432000 4194304 5064252 140734389156992 140734389155904 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12654/statm: 2287 276 236 213 0 72 0
[pid=12658] ppid=12654 vsize=184780 CPUtime=282.19 cores=1,3,5,7
/proc/12658/stat : 12658 (minisat+_64-bit) R 12654 12654 10505 0 -1 4202496 46174 0 0 0 28200 19 0 0 20 0 1 0 323282103 189214720 45856 33554432000 4194304 5276501 140734875303328 140734875301576 4397608 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12658/statm: 46195 45856 118 265 0 45927 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 193928

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 12705
/proc/meminfo: memFree=27868844/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12654/stat : 12654 (minisat+_script) S 12652 12654 10505 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323282102 9367552 276 33554432000 4194304 5064252 140734389156992 140734389155904 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12654/statm: 2287 276 236 213 0 72 0
[pid=12658] ppid=12654 vsize=184780 CPUtime=342.18 cores=1,3,5,7
/proc/12658/stat : 12658 (minisat+_64-bit) R 12654 12654 10505 0 -1 4202496 46174 0 0 0 34199 19 0 0 20 0 1 0 323282103 189214720 45856 33554432000 4194304 5276501 140734875303328 140734875301576 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12658/statm: 46195 45856 118 265 0 45927 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 193928

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 12706
/proc/meminfo: memFree=27854212/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/12654/statm: 2287 276 236 213 0 72 0
[pid=12658] ppid=12654 vsize=233068 CPUtime=1062.06 cores=1,3,5,7
/proc/12658/stat : 12658 (minisat+_64-bit) R 12654 12654 10505 0 -1 4202496 57839 0 0 0 106179 27 0 0 20 0 1 0 323282103 238661632 57606 33554432000 4194304 5276501 140734875303328 140734875301752 4400452 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12658/statm: 58267 57606 118 265 0 57999 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 242216

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 12711
/proc/meminfo: memFree=27780848/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12654/stat : 12654 (minisat+_script) S 12652 12654 10505 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323282102 9367552 276 33554432000 4194304 5064252 140734389156992 140734389155904 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12654/statm: 2287 276 236 213 0 72 0
[pid=12658] ppid=12654 vsize=233392 CPUtime=1122.05 cores=1,3,5,7
/proc/12658/stat : 12658 (minisat+_64-bit) R 12654 12654 10505 0 -1 4202496 57934 0 0 0 112178 27 0 0 20 0 1 0 323282103 238993408 57701 33554432000 4194304 5276501 140734875303328 140734875301560 4395891 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12658/statm: 58348 57701 118 265 0 58080 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 242540

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 12711
/proc/meminfo: memFree=27780228/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12654/stat : 12654 (minisat+_script) S 12652 12654 10505 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323282102 9367552 276 33554432000 4194304 5064252 140734389156992 140734389155904 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12654/statm: 2287 276 236 213 0 72 0
[pid=12658] ppid=12654 vsize=234200 CPUtime=1182.04 cores=1,3,5,7
/proc/12658/stat : 12658 (minisat+_64-bit) R 12654 12654 10505 0 -1 4202496 58093 0 0 0 118177 27 0 0 20 0 1 0 323282103 239820800 57860 33554432000 4194304 5276501 140734875303328 140734875301752 4399850 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12658/statm: 58550 57860 118 265 0 58282 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 243348

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 12711
/proc/meminfo: memFree=27779544/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12654/stat : 12654 (minisat+_script) S 12652 12654 10505 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323282102 9367552 276 33554432000 4194304 5064252 140734389156992 140734389155904 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12654/statm: 2287 276 236 213 0 72 0
[pid=12658] ppid=12654 vsize=235008 CPUtime=1242.04 cores=1,3,5,7
/proc/12658/stat : 12658 (minisat+_64-bit) R 12654 12654 10505 0 -1 4202496 58252 0 0 0 124176 28 0 0 20 0 1 0 323282103 240648192 58022 33554432000 4194304 5276501 140734875303328 140734875301560 4399783 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12658/statm: 58752 58022 118 265 0 58484 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 244156

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 12711
/proc/meminfo: memFree=27779668/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12654/stat : 12654 (minisat+_script) S 12652 12654 10505 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323282102 9367552 276 33554432000 4194304 5064252 140734389156992 140734389155904 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12654/statm: 2287 276 236 213 0 72 0
[pid=12658] ppid=12654 vsize=235008 CPUtime=1302.03 cores=1,3,5,7
/proc/12658/stat : 12658 (minisat+_64-bit) R 12654 12654 10505 0 -1 4202496 58272 0 0 0 130175 28 0 0 20 0 1 0 323282103 240648192 58042 33554432000 4194304 5276501 140734875303328 140734875301560 4399800 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12658/statm: 58752 58042 118 265 0 58484 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 244156

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 12712
/proc/meminfo: memFree=27779048/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12654/stat : 12654 (minisat+_script) S 12652 12654 10505 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323282102 9367552 276 33554432000 4194304 5064252 140734389156992 140734389155904 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12654/statm: 2287 276 236 213 0 72 0
[pid=12658] ppid=12654 vsize=235008 CPUtime=1362.02 cores=1,3,5,7
/proc/12658/stat : 12658 (minisat+_64-bit) R 12654 12654 10505 0 -1 4202496 58272 0 0 0 136174 28 0 0 20 0 1 0 323282103 240648192 58042 33554432000 4194304 5276501 140734875303328 140734875301560 4399315 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12658/statm: 58752 58042 118 265 0 58484 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 244156

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 12712
/proc/meminfo: memFree=27777560/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12654/stat : 12654 (minisat+_script) S 12652 12654 10505 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323282102 9367552 276 33554432000 4194304 5064252 140734389156992 140734389155904 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12654/statm: 2287 276 236 213 0 72 0
[pid=12658] ppid=12654 vsize=235732 CPUtime=1422.01 cores=1,3,5,7
/proc/12658/stat : 12658 (minisat+_64-bit) R 12654 12654 10505 0 -1 4202496 58406 0 0 0 142173 28 0 0 20 0 1 0 323282103 241389568 58176 33554432000 4194304 5276501 140734875303328 140734875301752 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12658/statm: 58933 58176 118 265 0 58665 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 244880

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 12715
/proc/meminfo: memFree=27775320/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12654/stat : 12654 (minisat+_script) S 12652 12654 10505 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323282102 9367552 276 33554432000 4194304 5064252 140734389156992 140734389155904 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12654/statm: 2287 276 236 213 0 72 0
[pid=12658] ppid=12654 vsize=236216 CPUtime=1482 cores=1,3,5,7
/proc/12658/stat : 12658 (minisat+_64-bit) R 12654 12654 10505 0 -1 4202496 58521 0 0 0 148172 28 0 0 20 0 1 0 323282103 241885184 58291 33554432000 4194304 5276501 140734875303328 140734875301560 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12658/statm: 59054 58291 118 265 0 58786 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 245364

[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 1.94 3/177 12715
/proc/meminfo: memFree=27774956/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12654/stat : 12654 (minisat+_script) S 12652 12654 10505 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323282102 9367552 276 33554432000 4194304 5064252 140734389156992 140734389155904 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12654/statm: 2287 276 236 213 0 72 0
[pid=12658] ppid=12654 vsize=236376 CPUtime=1541.99 cores=1,3,5,7
/proc/12658/stat : 12658 (minisat+_64-bit) R 12654 12654 10505 0 -1 4202496 58630 0 0 0 154171 28 0 0 20 0 1 0 323282103 242049024 58400 33554432000 4194304 5276501 140734875303328 140734875301752 4399958 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12658/statm: 59094 58400 118 265 0 58826 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 245524

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/177 12715
/proc/meminfo: memFree=27774212/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12654/stat : 12654 (minisat+_script) S 12652 12654 10505 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323282102 9367552 276 33554432000 4194304 5064252 140734389156992 140734389155904 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12654/statm: 2287 276 236 213 0 72 0
[pid=12658] ppid=12654 vsize=236376 CPUtime=1601.98 cores=1,3,5,7
/proc/12658/stat : 12658 (minisat+_64-bit) R 12654 12654 10505 0 -1 4202496 58630 0 0 0 160170 28 0 0 20 0 1 0 323282103 242049024 58400 33554432000 4194304 5276501 140734875303328 140734875301752 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12658/statm: 59094 58400 118 265 0 58826 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 245524

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 12716
/proc/meminfo: memFree=27773840/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12654/stat : 12654 (minisat+_script) S 12652 12654 10505 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323282102 9367552 276 33554432000 4194304 5064252 140734389156992 140734389155904 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12654/statm: 2287 276 236 213 0 72 0
[pid=12658] ppid=12654 vsize=236616 CPUtime=1661.97 cores=1,3,5,7
/proc/12658/stat : 12658 (minisat+_64-bit) R 12654 12654 10505 0 -1 4202496 58691 0 0 0 166169 28 0 0 20 0 1 0 323282103 242294784 58461 33554432000 4194304 5276501 140734875303328 140734875301752 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12658/statm: 59154 58461 118 265 0 58886 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 245764

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 12716
/proc/meminfo: memFree=27771484/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12654/stat : 12654 (minisat+_script) S 12652 12654 10505 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323282102 9367552 276 33554432000 4194304 5064252 140734389156992 140734389155904 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12654/statm: 2287 276 236 213 0 72 0
[pid=12658] ppid=12654 vsize=237180 CPUtime=1721.96 cores=1,3,5,7
/proc/12658/stat : 12658 (minisat+_64-bit) R 12654 12654 10505 0 -1 4202496 58894 0 0 0 172168 28 0 0 20 0 1 0 323282103 242872320 58536 33554432000 4194304 5276501 140734875303328 140734875301496 4390362 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12658/statm: 59295 58536 118 265 0 59027 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 246328

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 12716
/proc/meminfo: memFree=27770616/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12654/stat : 12654 (minisat+_script) S 12652 12654 10505 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323282102 9367552 276 33554432000 4194304 5064252 140734389156992 140734389155904 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12654/statm: 2287 276 236 213 0 72 0
[pid=12658] ppid=12654 vsize=238308 CPUtime=1781.95 cores=1,3,5,7
/proc/12658/stat : 12658 (minisat+_64-bit) R 12654 12654 10505 0 -1 4202496 59092 0 0 0 178167 28 0 0 20 0 1 0 323282103 244027392 58734 33554432000 4194304 5276501 140734875303328 140734875301560 4400448 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12658/statm: 59577 58734 118 265 0 59309 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 247456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 12716
/proc/meminfo: memFree=27770616/32873852 swapFree=6856/6856
[pid=12654] ppid=12652 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12654/stat : 12654 (minisat+_script) S 12652 12654 10505 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323282102 9367552 276 33554432000 4194304 5064252 140734389156992 140734389155904 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12654/statm: 2287 276 236 213 0 72 0
[pid=12658] ppid=12654 vsize=238308 CPUtime=1800.06 cores=1,3,5,7
/proc/12658/stat : 12658 (minisat+_64-bit) R 12654 12654 10505 0 -1 4202496 59092 0 0 0 179978 28 0 0 20 0 1 0 323282103 244027392 58734 33554432000 4194304 5276501 140734875303328 140734875301560 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/12658/statm: 59577 58734 118 265 0 59309 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 247456

Sending SIGTERM to process tree (bottom up)

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

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1799.78
CPU system time (s): 0.289955
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 247456

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.78
system time used= 0.289955
maximum resident set size= 234940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60042
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= 121
involuntary context switches= 1852

runsolver used 3.68044 second user time and 8.83866 second system time

The end

Launcher Data 

Begin job on node128 at 2012-06-01 19:26:02
IDJOB=3723564
IDBENCH=2248
IDSOLVER=2307
FILE ID=node128/3723564-1338571562
RUNJOBID= node128-1338569698-12415
PBS_JOBID= 14635885
Free space on /tmp= 70504 MiB

SOLVER NAME= minisatp 1.0-2-g022594c
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= minisat+_script BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723564-1338571562/watcher-3723564-1338571562 -o /tmp/evaluation-result-3723564-1338571562/solver-3723564-1338571562 -C 1800 -W 1900 -M 15500  minisat+_script HOME/instance-3723564-1338571562.opb

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

MD5SUM BENCH= 62a6bdf0e089cd0b8a79007277394096
RANDOM SEED=290780661

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.389
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:       32873852 kB
MemFree:        28138468 kB
Buffers:          513152 kB
Cached:          3277716 kB
SwapCached:          784 kB
Active:          1717576 kB
Inactive:        2125724 kB
Active(anon):      43336 kB
Inactive(anon):    11368 kB
Active(file):    1674240 kB
Inactive(file):  2114356 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67106552 kB
Dirty:              5076 kB
Writeback:             0 kB
AnonPages:         58676 kB
Mapped:            14524 kB
Shmem:               200 kB
Slab:             751676 kB
SReclaimable:     193956 kB
SUnreclaim:       557720 kB
KernelStack:        1464 kB
PageTables:         4136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     166448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70500 MiB
End job on node128 at 2012-06-01 19:56:02