Trace number 3723557

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)-47 1800.12 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
MD5SUM29f577041bedcbf69a98210424b233be
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-48
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 -49
Optimality of the best value was proved NO
Number of variables1150
Total number of constraints81068
Number of constraints which are clauses81068
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 1150
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 1150
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 1150
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.09	c Converting 81068 PB-constraints to clauses...
0.00/0.10	c   -- Unit propagations: (none)
0.00/0.10	c   -- Detecting intervals from adjacent constraints: (none)
0.00/0.10	c   -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.00/0.16	c ==================================[MINISAT+]==================================
0.00/0.16	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.16	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.16	c ==============================================================================
0.00/0.16	c |         0 |   81068   162136 |   27022       0        0    -nan |  0.000 % |
0.00/0.16	c ==============================================================================
0.00/0.16	c Found solution: -34
0.00/0.16	c ---[   0]---> Sorter-cost:63046     Base:
0.00/0.20	c ==================================[MINISAT+]==================================
0.00/0.20	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.20	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.20	c ==============================================================================
0.00/0.20	c |         0 |  148824   321085 |   49608       0        0    -nan |  0.000 % |
0.00/0.25	c |       100 |  148525   320464 |   54568      89      647     7.3 |  0.364 % |
0.00/0.34	c |       250 |  147550   318365 |   60025     172     1582     9.2 |  1.583 % |
0.00/0.49	c |       475 |  146282   315603 |   66028     352     3233     9.2 |  3.202 % |
0.00/0.70	c |       813 |  144245   311162 |   72631     579     5643     9.7 |  5.871 % |
0.00/0.92	c |      1319 |  142081   306384 |   79894     969     9530     9.8 |  8.642 % |
1.38/1.41	c |      2078 |  137736   296703 |   87883    1563    16664    10.7 | 14.500 % |
1.98/2.03	c |      3217 |  131537   282628 |   96671    2418    27257    11.3 | 23.018 % |
2.68/2.73	c |      4926 |  124608   266847 |  106339    3611    44165    12.2 | 32.512 % |
3.48/3.54	c ==============================================================================
3.48/3.54	c Found solution: -36
3.48/3.54	c ---[   0]---> Sorter-cost:    0     Base:
3.48/3.55	c ==================================[MINISAT+]==================================
3.48/3.55	c | Conflicts | Original         | Learnt                           | Progress |
3.48/3.55	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
3.48/3.55	c ==============================================================================
3.48/3.55	c |      7121 |  116328   247788 |   38776    5229    67916    13.0 | 32.512 % |
3.58/3.60	c |      7221 |  115829   246631 |   42653    5300    68878    13.0 | 44.956 % |
3.58/3.66	c |      7371 |  114955   244592 |   46918    5333    69219    13.0 | 46.075 % |
3.68/3.76	c |      7596 |  114338   243107 |   51610    5480    70982    13.0 | 46.979 % |
3.78/3.87	c |      7933 |  113400   240870 |   56771    5711    75728    13.3 | 48.329 % |
3.88/3.99	c |      8439 |  112241   238146 |   62449    6014    78461    13.0 | 49.986 % |
4.08/4.19	c |      9198 |  110692   234499 |   68694    6613    88111    13.3 | 52.221 % |
4.48/4.52	c |     10337 |  107712   227414 |   75563    7352   100802    13.7 | 56.602 % |
4.88/4.98	c |     12045 |  104093   218912 |   83119    8474   122627    14.5 | 61.829 % |
5.08/5.17	c ==============================================================================
5.08/5.17	c Found solution: -38
5.08/5.17	c ---[   0]---> Sorter-cost:    0     Base:
5.08/5.18	c ==================================[MINISAT+]==================================
5.08/5.18	c | Conflicts | Original         | Learnt                           | Progress |
5.08/5.18	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
5.08/5.18	c ==============================================================================
5.08/5.18	c |     12644 |  102621   215385 |   34207    8903   130816    14.7 | 61.829 % |
5.08/5.19	c |     12744 |  102621   215385 |   37627    9003   131505    14.6 | 64.061 % |
5.18/5.24	c |     12894 |  102034   213988 |   41390    9070   132245    14.6 | 64.937 % |
5.18/5.28	c |     13120 |  101729   213271 |   45529    9226   134851    14.6 | 65.380 % |
5.28/5.35	c |     13457 |  101524   212791 |   50082    9520   140367    14.7 | 65.672 % |
5.39/5.46	c |     13965 |  100793   211049 |   55090    9885   146780    14.8 | 66.729 % |
5.58/5.60	c |     14724 |   99651   208280 |   60599   10460   157729    15.1 | 68.407 % |
5.78/5.81	c |     15863 |   98450   205420 |   66659   11355   182237    16.0 | 70.139 % |
5.98/6.05	c |     17572 |   97333   202741 |   73325   12844   220960    17.2 | 71.813 % |
6.38/6.41	c |     20134 |   96007   199578 |   80658   14940   284607    19.1 | 73.784 % |
6.98/7.05	c |     23979 |   93586   193800 |   88724   17921   474546    26.5 | 77.360 % |
7.18/7.20	c ==============================================================================
7.18/7.20	c Found solution: -39
7.18/7.20	c ---[   0]---> Sorter-cost:    0     Base:
7.18/7.22	c ==================================[MINISAT+]==================================
7.18/7.22	c | Conflicts | Original         | Learnt                           | Progress |
7.18/7.22	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
7.18/7.22	c ==============================================================================
7.18/7.22	c |     25152 |   93347   193278 |   31115   18971   527035    27.8 | 77.360 % |
7.18/7.26	c |     25252 |   93146   192786 |   34226   19036   528374    27.8 | 78.063 % |
7.18/7.28	c |     25402 |   93141   192775 |   37649   19184   532191    27.7 | 78.070 % |
7.28/7.32	c |     25627 |   93140   192772 |   41414   19398   541785    27.9 | 78.072 % |
7.28/7.39	c |     25965 |   92983   192404 |   45555   19553   552367    28.2 | 78.299 % |
7.38/7.45	c |     26471 |   92983   192404 |   50111   20059   582834    29.1 | 78.299 % |
7.59/7.61	c |     27233 |   92550   191335 |   55122   20634   613732    29.7 | 78.976 % |
7.78/7.83	c |     28372 |   91707   189339 |   60634   21412   664392    31.0 | 80.192 % |
8.08/8.10	c ==============================================================================
8.08/8.10	c Found solution: -40
8.08/8.10	c ---[   0]---> Sorter-cost:    0     Base:
8.08/8.11	c ==================================[MINISAT+]==================================
8.08/8.11	c | Conflicts | Original         | Learnt                           | Progress |
8.08/8.11	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
8.08/8.11	c ==============================================================================
8.08/8.11	c |     29978 |   91342   188430 |   30447   22675   830496    36.6 | 80.192 % |
8.08/8.13	c |     30078 |   91342   188430 |   33491   22775   832576    36.6 | 80.739 % |
8.08/8.16	c |     30228 |   91293   188303 |   36840   22924   839021    36.6 | 80.823 % |
8.18/8.22	c |     30453 |   91085   187804 |   40524   23040   845757    36.7 | 81.125 % |
8.28/8.30	c |     30790 |   90911   187362 |   44577   23207   859763    37.0 | 81.403 % |
8.28/8.36	c |     31296 |   90911   187362 |   49035   23713   885160    37.3 | 81.403 % |
8.38/8.45	c |     32055 |   90911   187362 |   53938   24472   928924    38.0 | 81.403 % |
8.58/8.67	c |     33195 |   90640   186715 |   59332   25383  1001079    39.4 | 81.809 % |
8.88/8.93	c |     34904 |   90553   186500 |   65265   26946  1170077    43.4 | 81.947 % |
9.28/9.30	c |     37466 |   90543   186476 |   71792   29499  1365513    46.3 | 81.962 % |
9.79/9.87	c |     41310 |   90457   186272 |   78971   33251  1679978    50.5 | 82.085 % |
10.58/10.60	c ==============================================================================
10.58/10.60	c Found solution: -42
10.58/10.60	c ---[   0]---> Sorter-cost:    0     Base:
10.58/10.62	c ==================================[MINISAT+]==================================
10.58/10.62	c | Conflicts | Original         | Learnt                           | Progress |
10.58/10.62	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
10.58/10.62	c ==============================================================================
10.58/10.62	c |     44887 |   90260   185769 |   30086   36135  1845007    51.1 | 82.085 % |
10.58/10.64	c |     44987 |   90260   185769 |   33094   36235  1851639    51.1 | 82.400 % |
10.58/10.68	c |     45137 |   90210   185641 |   36404   36381  1861336    51.2 | 82.484 % |
10.68/10.74	c |     45362 |   90132   185447 |   40044   36476  1873443    51.4 | 82.609 % |
10.78/10.83	c |     45699 |   90007   185138 |   44048   36775  1883264    51.2 | 82.807 % |
10.88/10.93	c |     46205 |   89957   185012 |   48453   37272  1909285    51.2 | 82.889 % |
10.99/11.07	c |     46964 |   89922   184927 |   53299   37991  1958409    51.5 | 82.941 % |
11.28/11.31	c |     48103 |   89800   184617 |   58629   38960  2049243    52.6 | 83.135 % |
11.58/11.64	c |     49811 |   89786   184585 |   64492   40641  2207455    54.3 | 83.154 % |
12.08/12.16	c |     52376 |   89703   184388 |   70941   43068  2474310    57.5 | 83.275 % |
12.98/13.03	c |     56220 |   89497   183886 |   78035   46441  2837025    61.1 | 83.590 % |
14.28/14.39	c |     61986 |   89290   183371 |   85838   51971  3519056    67.7 | 83.913 % |
16.07/16.19	c |     70635 |   89189   183130 |   94422   60438  4508112    74.6 | 84.059 % |
19.27/19.37	c |     83609 |   89179   183106 |  103865   73245  6319222    86.3 | 84.075 % |
26.36/26.43	c |    103070 |   89179   183106 |  114251   92706 11066509   119.4 | 84.075 % |
31.56/31.65	c ==============================================================================
31.56/31.65	c Found solution: -43
31.56/31.65	c ---[   0]---> Sorter-cost:    0     Base:
31.66/31.73	c ==================================[MINISAT+]==================================
31.66/31.73	c | Conflicts | Original         | Learnt                           | Progress |
31.66/31.73	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
31.66/31.73	c ==============================================================================
31.66/31.73	c |    117791 |   89215   183218 |   29738  107427 13539689   126.0 | 84.075 % |
31.77/31.81	c |    117892 |   89215   183218 |   32711   18517  2234935   120.7 | 84.055 % |
31.77/31.86	c |    118043 |   89205   183194 |   35982   18665  2237581   119.9 | 84.070 % |
31.77/31.88	c |    118269 |   89205   183194 |   39581   18891  2249744   119.1 | 84.070 % |
31.87/31.95	c |    118606 |   89188   183153 |   43539   19219  2264682   117.8 | 84.096 % |
31.96/32.02	c |    119112 |   89175   183122 |   47893   19721  2277543   115.5 | 84.115 % |
31.96/32.09	c |    119871 |   89175   183122 |   52682   20480  2315747   113.1 | 84.115 % |
32.16/32.25	c |    121012 |   89112   182969 |   57950   21613  2372803   109.8 | 84.212 % |
32.46/32.57	c |    122720 |   89039   182796 |   63746   23289  2526905   108.5 | 84.319 % |
32.87/32.95	c |    125282 |   88890   182444 |   70120   25833  2743695   106.2 | 84.534 % |
33.46/33.55	c |    129126 |   88783   182170 |   77132   29641  3098343   104.5 | 84.709 % |
34.46/34.59	c |    134892 |   88590   181687 |   84845   35324  3583294   101.4 | 85.012 % |
36.05/36.19	c |    143541 |   88517   181498 |   93330   43959  4901626   111.5 | 85.134 % |
38.65/38.71	c |    156515 |   88461   181363 |  102663   56895  6530601   114.8 | 85.216 % |
42.45/42.52	c ==============================================================================
42.45/42.52	c Found solution: -44
42.45/42.52	c ---[   0]---> Sorter-cost:    0     Base:
42.45/42.57	c ==================================[MINISAT+]==================================
42.45/42.57	c | Conflicts | Original         | Learnt                           | Progress |
42.45/42.57	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
42.45/42.57	c ==============================================================================
42.45/42.57	c |    172066 |   88299   180948 |   29433   71995  9157103   127.2 | 85.216 % |
42.55/42.64	c |    172166 |   88294   180937 |   32376   19085  2323423   121.7 | 85.468 % |
42.55/42.65	c |    172316 |   88294   180937 |   35613   19235  2326875   121.0 | 85.468 % |
42.55/42.67	c |    172542 |   88294   180937 |   39175   19461  2337137   120.1 | 85.468 % |
42.65/42.71	c |    172879 |   88294   180937 |   43092   19798  2363800   119.4 | 85.468 % |
42.65/42.78	c |    173385 |   88280   180901 |   47402   20301  2397566   118.1 | 85.492 % |
42.76/42.87	c |    174144 |   88274   180887 |   52142   21059  2454389   116.5 | 85.501 % |
42.95/43.03	c |    175283 |   88229   180766 |   57356   22193  2540826   114.5 | 85.574 % |
43.15/43.27	c |    176991 |   88163   180618 |   63092   23897  2691579   112.6 | 85.658 % |
43.55/43.61	c |    179553 |   88163   180618 |   69401   26459  2943705   111.3 | 85.658 % |
43.96/44.06	c |    183397 |   88163   180618 |   76341   30303  3300538   108.9 | 85.658 % |
44.84/44.95	c |    189164 |   88157   180604 |   83975   36067  4004075   111.0 | 85.666 % |
46.34/46.45	c |    197813 |   88122   180519 |   92373   44711  5283485   118.2 | 85.720 % |
48.84/48.98	c |    210788 |   88017   180268 |  101610   57657  6891364   119.5 | 85.877 % |
53.64/53.73	c |    230249 |   88005   180236 |  111771   77058 10066860   130.6 | 85.899 % |
56.93/57.09	c ==============================================================================
56.93/57.09	c Found solution: -45
56.93/57.09	c ---[   0]---> Sorter-cost:    0     Base:
57.04/57.16	c ==================================[MINISAT+]==================================
57.04/57.16	c | Conflicts | Original         | Learnt                           | Progress |
57.04/57.16	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
57.04/57.16	c ==============================================================================
57.04/57.16	c |    243746 |   88022   180286 |   29340   90535 11914178   131.6 | 85.899 % |
57.14/57.25	c |    243846 |   87989   180201 |   32274   21878  1797569    82.2 | 85.937 % |
57.14/57.27	c |    243996 |   87989   180201 |   35501   22028  1807620    82.1 | 85.937 % |
57.14/57.29	c |    244222 |   87989   180201 |   39051   22254  1819492    81.8 | 85.937 % |
57.23/57.34	c |    244559 |   87989   180201 |   42956   22591  1845172    81.7 | 85.937 % |
57.23/57.39	c |    245066 |   87989   180201 |   47252   23098  1864615    80.7 | 85.937 % |
57.33/57.47	c |    245825 |   87989   180201 |   51977   23857  1931331    81.0 | 85.937 % |
57.53/57.60	c |    246964 |   87979   180177 |   57175   24993  1984786    79.4 | 85.952 % |
57.73/57.83	c |    248672 |   87979   180177 |   62892   26701  2138125    80.1 | 85.952 % |
58.03/58.18	c |    251234 |   87979   180177 |   69182   29263  2436244    83.3 | 85.952 % |
58.73/58.82	c |    255078 |   87979   180177 |   76100   33107  3049115    92.1 | 85.952 % |
59.63/59.75	c |    260844 |   87968   180150 |   83710   38871  3736755    96.1 | 85.969 % |
61.23/61.30	c |    269493 |   87968   180150 |   92081   47520  4859259   102.3 | 85.969 % |
63.83/63.98	c |    282467 |   87931   180059 |  101289   60479  6469914   107.0 | 86.028 % |
68.53/68.68	c |    301928 |   87872   179916 |  111418   79915  9111613   114.0 | 86.118 % |
77.02/77.10	c |    331121 |   87795   179727 |  122560  108665 13333587   122.7 | 86.238 % |
93.23/93.32	c |    374912 |   87747   179612 |  134816  152406 19883960   130.5 | 86.309 % |
113.82/113.95	c |    440596 |   87740   179595 |  148298   64544  7101896   110.0 | 86.320 % |
143.01/143.16	c |    539123 |   87574   179186 |  163127  162924 20921188   128.4 | 86.580 % |
197.90/198.06	c |    686913 |   87561   179155 |  179440  128709  8883882    69.0 | 86.599 % |
265.07/265.26	c |    908596 |   87409   178787 |  197384  151119 27057991   179.1 | 86.829 % |
397.64/397.86	c ==============================================================================
397.64/397.86	c Found solution: -46
397.64/397.86	c ---[   0]---> Sorter-cost:    0     Base:
397.74/397.90	c ==================================[MINISAT+]==================================
397.74/397.90	c | Conflicts | Original         | Learnt                           | Progress |
397.74/397.90	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
397.74/397.90	c ==============================================================================
397.74/397.90	c |   1239860 |   87303   178504 |   29101   55856  5357357    95.9 | 86.829 % |
397.74/397.92	c |   1239961 |   87303   178504 |   32011   55957  5362730    95.8 | 86.991 % |
397.74/397.95	c |   1240111 |   87303   178504 |   35212   56107  5372941    95.8 | 86.991 % |
397.74/397.98	c |   1240336 |   87303   178504 |   38733   56332  5383816    95.6 | 86.991 % |
397.84/398.02	c |   1240673 |   87303   178504 |   42606   56669  5398575    95.3 | 86.991 % |
397.84/398.10	c |   1241179 |   87303   178504 |   46867   57175  5448712    95.3 | 86.991 % |
398.04/398.20	c |   1241938 |   87303   178504 |   51554   57934  5489885    94.8 | 86.991 % |
398.24/398.44	c |   1243079 |   87299   178494 |   56709   59072  5616350    95.1 | 86.998 % |
398.54/398.73	c |   1244788 |   87299   178494 |   62380   60781  5831894    95.9 | 86.998 % |
398.94/399.12	c |   1247350 |   87299   178494 |   68618   63343  6112677    96.5 | 86.998 % |
399.54/399.72	c |   1251196 |   87293   178480 |   75480   67186  6429159    95.7 | 87.006 % |
400.64/400.86	c |   1256962 |   87293   178480 |   83028   72952  7043228    96.5 | 87.006 % |
402.34/402.53	c |   1265611 |   87293   178480 |   91331   81601  8068880    98.9 | 87.006 % |
404.93/405.14	c |   1278585 |   87293   178480 |  100464   94575  9531570   100.8 | 87.006 % |
409.83/410.03	c |   1298046 |   87293   178480 |  110510  114036 12455187   109.2 | 87.006 % |
419.12/419.31	c |   1327238 |   87293   178480 |  121562  143228 16372580   114.3 | 87.006 % |
431.31/431.50	c |   1371027 |   87287   178466 |  133718   50115  4009184    80.0 | 87.015 % |
448.40/448.69	c |   1436711 |   87237   178339 |  147090  115780 10057777    86.9 | 87.096 % |
483.50/483.76	c |   1535238 |   87237   178339 |  161799   50615  3086324    61.0 | 87.096 % |
529.79/530.05	c |   1683027 |   87224   178308 |  177979  198387 13502398    68.1 | 87.116 % |
612.48/612.78	c |   1904710 |   87201   178255 |  195776   38353  1844969    48.1 | 87.148 % |
713.37/713.69	c |   2237235 |   87169   178177 |  215354  162796 14505494    89.1 | 87.197 % |
913.63/913.98	c |   2736023 |   87154   178142 |  236890  202519 17973871    88.8 | 87.219 % |
1181.99/1182.35	c |   3484205 |   87096   178001 |  260579  200713 10339161    51.5 | 87.303 % |
1294.48/1294.88	c ==============================================================================
1294.48/1294.88	c Found solution: -47
1294.48/1294.88	c ---[   0]---> Sorter-cost:    0     Base:
1294.57/1294.94	c ==================================[MINISAT+]==================================
1294.57/1294.94	c | Conflicts | Original         | Learnt                           | Progress |
1294.57/1294.94	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1294.57/1294.94	c ==============================================================================
1294.57/1294.94	c |   3737175 |   87113   178051 |   29037  187322  7588115    40.5 | 87.303 % |
1297.97/1298.36	c |   3737275 |   87113   178051 |   31940   37512   904162    24.1 | 87.311 % |
1297.97/1298.39	c |   3737426 |   87113   178051 |   35134   37663   910234    24.2 | 87.311 % |
1298.07/1298.45	c |   3737652 |   87113   178051 |   38648   37889   916827    24.2 | 87.311 % |
1298.17/1298.52	c |   3737989 |   87113   178051 |   42513   38226   928622    24.3 | 87.311 % |
1298.27/1298.65	c |   3738495 |   87113   178051 |   46764   38732   947425    24.5 | 87.311 % |
1298.47/1298.86	c |   3739254 |   87113   178051 |   51440   39491   975528    24.7 | 87.311 % |
1298.78/1299.16	c |   3740393 |   87113   178051 |   56584   40630  1017794    25.1 | 87.311 % |
1299.17/1299.53	c |   3742101 |   87113   178051 |   62243   42338  1081957    25.6 | 87.311 % |
1299.67/1300.06	c |   3744665 |   87113   178051 |   68467   44902  1189985    26.5 | 87.311 % |
1300.57/1300.97	c |   3748509 |   87113   178051 |   75314   48746  1338984    27.5 | 87.311 % |
1302.08/1302.43	c |   3754275 |   87113   178051 |   82845   54512  1560794    28.6 | 87.311 % |
1303.87/1304.21	c |   3762924 |   87113   178051 |   91130   63161  1972297    31.2 | 87.311 % |
1306.77/1307.19	c |   3775898 |   87113   178051 |  100243   76135  2566529    33.7 | 87.311 % |
1310.97/1311.33	c |   3795360 |   87103   178027 |  110267   95590  4121642    43.1 | 87.326 % |
1317.38/1317.71	c |   3824552 |   87103   178027 |  121294  124782  6589035    52.8 | 87.326 % |
1329.57/1329.91	c |   3868341 |   87103   178027 |  133424   35629  1655459    46.5 | 87.326 % |
1344.37/1344.77	c |   3934026 |   87103   178027 |  146766  101314  4899493    48.4 | 87.326 % |
1374.57/1374.94	c |   4032552 |   87100   178020 |  161443   39414  1666929    42.3 | 87.330 % |
1426.36/1426.79	c |   4180341 |   87090   177998 |  177587  187200  7987436    42.7 | 87.343 % |
1500.94/1501.31	c |   4402024 |   87087   177991 |  195346   34672   773293    22.3 | 87.347 % |
1608.72/1609.17	c |   4734550 |   87063   177937 |  214881  164247  7311144    44.5 | 87.379 % |
1781.40/1781.85	c |   5233338 |   87007   177799 |  236369  208570 10309905    49.4 | 87.463 % |
1800.10/1800.50	c 
1800.10/1800.50	c *** TERMINATED ***
1800.10/1800.50	s SATISFIABLE
1800.10/1800.50	v -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	-47

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.01 1.89 3/175 20489
/proc/meminfo: memFree=28328484/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/20489/stat : 20489 (runsolver) D 20487 20489 18257 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 323303937 12095488 50 33554432000 4194304 5436572 140734083246688 140734083242984 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/20489/statm: 2953 50 31 304 0 2645 0

[startup+0.039534 s]
/proc/loadavg: 2.01 2.01 1.89 3/175 20489
/proc/meminfo: memFree=28328484/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20489/stat : 20489 (minisat+_script) S 20487 20489 18257 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323303937 9367552 277 33554432000 4194304 5064252 140737382472128 140737382471040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20489/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100274 s]
/proc/loadavg: 2.01 2.01 1.89 3/175 20489
/proc/meminfo: memFree=28328484/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20489/stat : 20489 (minisat+_script) S 20487 20489 18257 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323303937 9367552 277 33554432000 4194304 5064252 140737382472128 140737382471040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20489/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300289 s]
/proc/loadavg: 2.01 2.01 1.89 3/175 20489
/proc/meminfo: memFree=28328484/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20489/stat : 20489 (minisat+_script) S 20487 20489 18257 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323303937 9367552 277 33554432000 4194304 5064252 140737382472128 140737382471040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20489/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700291 s]
/proc/loadavg: 2.01 2.01 1.89 3/175 20489
/proc/meminfo: memFree=28328484/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20489/stat : 20489 (minisat+_script) S 20487 20489 18257 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323303937 9367552 277 33554432000 4194304 5064252 140737382472128 140737382471040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20489/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50036 s]
/proc/loadavg: 2.01 2.01 1.89 3/181 20529
/proc/meminfo: memFree=28266096/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20489/stat : 20489 (minisat+_script) S 20487 20489 18257 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323303937 9367552 277 33554432000 4194304 5064252 140737382472128 140737382471040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20489/statm: 2287 277 236 213 0 72 0
[pid=20494] ppid=20489 vsize=41196 CPUtime=1.48 cores=0,2,4,6
/proc/20494/stat : 20494 (minisat+_64-bit) R 20489 20489 18257 0 -1 4202496 10016 0 0 0 145 3 0 0 20 0 1 0 323303938 42184704 9972 33554432000 4194304 5276501 140736621933360 140736621931608 4391577 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/20494/statm: 10299 9972 117 265 0 10031 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 50344

[startup+3.10032 s]
/proc/loadavg: 2.01 2.01 1.89 3/181 20529
/proc/meminfo: memFree=28264848/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20489/stat : 20489 (minisat+_script) S 20487 20489 18257 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323303937 9367552 277 33554432000 4194304 5064252 140737382472128 140737382471040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20489/statm: 2287 277 236 213 0 72 0
[pid=20494] ppid=20489 vsize=41196 CPUtime=3.08 cores=0,2,4,6
/proc/20494/stat : 20494 (minisat+_64-bit) R 20489 20489 18257 0 -1 4202496 10016 0 0 0 305 3 0 0 20 0 1 0 323303938 42184704 9972 33554432000 4194304 5276501 140736621933360 140736621931608 4391506 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/20494/statm: 10299 9972 117 265 0 10031 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 50344

[startup+6.30032 s]
/proc/loadavg: 2.01 2.01 1.89 3/181 20529
/proc/meminfo: memFree=28264984/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20489/stat : 20489 (minisat+_script) S 20487 20489 18257 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323303937 9367552 277 33554432000 4194304 5064252 140737382472128 140737382471040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20489/statm: 2287 277 236 213 0 72 0
[pid=20494] ppid=20489 vsize=41196 CPUtime=6.28 cores=0,2,4,6
/proc/20494/stat : 20494 (minisat+_64-bit) R 20489 20489 18257 0 -1 4202496 10016 0 0 0 624 4 0 0 20 0 1 0 323303938 42184704 9972 33554432000 4194304 5276501 140736621933360 140736621931608 4391506 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/20494/statm: 10299 9972 117 265 0 10031 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 50344

[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 1.89 3/181 20529
/proc/meminfo: memFree=28265056/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20489/stat : 20489 (minisat+_script) S 20487 20489 18257 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323303937 9367552 277 33554432000 4194304 5064252 140737382472128 140737382471040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20489/statm: 2287 277 236 213 0 72 0
[pid=20494] ppid=20489 vsize=41196 CPUtime=12.68 cores=0,2,4,6
/proc/20494/stat : 20494 (minisat+_64-bit) R 20489 20489 18257 0 -1 4202496 10017 0 0 0 1264 4 0 0 20 0 1 0 323303938 42184704 9973 33554432000 4194304 5276501 140736621933360 140736621931608 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/20494/statm: 10299 9973 118 265 0 10031 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 50344

[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 1.89 3/182 20532
/proc/meminfo: memFree=28218972/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20489/stat : 20489 (minisat+_script) S 20487 20489 18257 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323303937 9367552 277 33554432000 4194304 5064252 140737382472128 140737382471040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20489/statm: 2287 277 236 213 0 72 0
[pid=20494] ppid=20489 vsize=72780 CPUtime=25.46 cores=0,2,4,6
/proc/20494/stat : 20494 (minisat+_64-bit) R 20489 20489 18257 0 -1 4202496 17934 0 0 0 2540 6 0 0 20 0 1 0 323303938 74526720 17874 33554432000 4194304 5276501 140736621933360 140736621931352 4633200 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/20494/statm: 18195 17874 118 265 0 17927 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 81928

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 1.89 3/182 20532
/proc/meminfo: memFree=28169828/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20489/stat : 20489 (minisat+_script) S 20487 20489 18257 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323303937 9367552 277 33554432000 4194304 5064252 140737382472128 140737382471040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20489/statm: 2287 277 236 213 0 72 0
[pid=20494] ppid=20489 vsize=86448 CPUtime=51.04 cores=0,2,4,6
/proc/20494/stat : 20494 (minisat+_64-bit) R 20489 20489 18257 0 -1 4202496 21379 0 0 0 5097 7 0 0 20 0 1 0 323303938 88522752 21246 33554432000 4194304 5276501 140736621933360 140736621931608 4399909 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/20494/statm: 21612 21246 118 265 0 21344 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 95596

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.90 3/181 20533
/proc/meminfo: memFree=28112484/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20489/stat : 20489 (minisat+_script) S 20487 20489 18257 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323303937 9367552 277 33554432000 4194304 5064252 140737382472128 140737382471040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20489/statm: 2287 277 236 213 0 72 0
[pid=20494] ppid=20489 vsize=131392 CPUtime=102.23 cores=0,2,4,6
/proc/20494/stat : 20494 (minisat+_64-bit) R 20489 20489 18257 0 -1 4202496 32581 0 0 0 10212 11 0 0 20 0 1 0 323303938 134545408 32441 33554432000 4194304 5276501 140736621933360 140736621931352 4399944 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/20494/statm: 32848 32441 118 265 0 32580 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 140540

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/181 20533
/proc/meminfo: memFree=28088448/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20489/stat : 20489 (minisat+_script) S 20487 20489 18257 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323303937 9367552 277 33554432000 4194304 5064252 140737382472128 140737382471040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20489/statm: 2287 277 236 213 0 72 0
[pid=20494] ppid=20489 vsize=139632 CPUtime=162.21 cores=0,2,4,6
/proc/20494/stat : 20494 (minisat+_64-bit) R 20489 20489 18257 0 -1 4202496 34701 0 0 0 16209 12 0 0 20 0 1 0 323303938 142983168 34561 33554432000 4194304 5276501 140736621933360 140736621931544 4394889 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/20494/statm: 34908 34561 118 265 0 34640 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 148780

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 20533
/proc/meminfo: memFree=28086600/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20489/stat : 20489 (minisat+_script) S 20487 20489 18257 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323303937 9367552 277 33554432000 4194304 5064252 140737382472128 140737382471040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20489/statm: 2287 277 236 213 0 72 0
[pid=20494] ppid=20489 vsize=141496 CPUtime=222.17 cores=0,2,4,6
/proc/20494/stat : 20494 (minisat+_64-bit) R 20489 20489 18257 0 -1 4202496 34971 0 0 0 22205 12 0 0 20 0 1 0 323303938 144891904 34826 33554432000 4194304 5276501 140736621933360 140736621931496 4395096 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/20494/statm: 35374 34826 118 265 0 35106 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 150644

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 20533
/proc/meminfo: memFree=28047972/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20489/stat : 20489 (minisat+_script) S 20487 20489 18257 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323303937 9367552 277 33554432000 4194304 5064252 140737382472128 140737382471040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20489/statm: 2287 277 236 213 0 72 0
[pid=20494] ppid=20489 vsize=180888 CPUtime=282.17 cores=0,2,4,6
/proc/20494/stat : 20494 (minisat+_64-bit) R 20489 20489 18257 0 -1 4202496 44804 0 0 0 28201 16 0 0 20 0 1 0 323303938 185229312 44659 33554432000 4194304 5276501 140736621933360 140736621931544 4391568 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/20494/statm: 45222 44659 118 265 0 44954 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 190036

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 20533
/proc/meminfo: memFree=28013360/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20489/stat : 20489 (minisat+_script) S 20487 20489 18257 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323303937 9367552 277 33554432000 4194304 5064252 140737382472128 140737382471040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20489/statm: 2287 277 236 213 0 72 0
[pid=20494] ppid=20489 vsize=213464 CPUtime=342.16 cores=0,2,4,6
/proc/20494/stat : 20494 (minisat+_64-bit) R 20489 20489 18257 0 -1 4202496 52961 0 0 0 34197 19 0 0 20 0 1 0 323303938 218587136 52816 33554432000 4194304 5276501 140736621933360 140736621931352 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/20494/statm: 53366 52816 118 265 0 53098 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 222612

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 20534
/proc/meminfo: memFree=28012040/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/20489/statm: 2287 277 236 213 0 72 0
[pid=20494] ppid=20489 vsize=213464 CPUtime=1122 cores=0,2,4,6
/proc/20494/stat : 20494 (minisat+_64-bit) R 20489 20489 18257 0 -1 4202496 53077 0 0 0 112180 20 0 0 20 0 1 0 323303938 218587136 52958 33554432000 4194304 5276501 140736621933360 140736621931608 4394737 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/20494/statm: 53366 52958 118 265 0 53098 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 222612

[startup+1182.3 s]
/proc/loadavg: 2.14 2.07 1.95 3/181 20540
/proc/meminfo: memFree=27999952/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20489/stat : 20489 (minisat+_script) S 20487 20489 18257 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323303937 9367552 277 33554432000 4194304 5064252 140737382472128 140737382471040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20489/statm: 2287 277 236 213 0 72 0
[pid=20494] ppid=20489 vsize=213464 CPUtime=1181.99 cores=0,2,4,6
/proc/20494/stat : 20494 (minisat+_64-bit) R 20489 20489 18257 0 -1 4202496 53077 0 0 0 118179 20 0 0 20 0 1 0 323303938 218587136 52958 33554432000 4194304 5276501 140736621933360 140736621931608 4399947 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/20494/statm: 53366 52958 118 265 0 53098 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 222612

[startup+1242.3 s]
/proc/loadavg: 2.15 2.08 1.96 3/182 20543
/proc/meminfo: memFree=27998456/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20489/stat : 20489 (minisat+_script) S 20487 20489 18257 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323303937 9367552 277 33554432000 4194304 5064252 140737382472128 140737382471040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20489/statm: 2287 277 236 213 0 72 0
[pid=20494] ppid=20489 vsize=213464 CPUtime=1241.98 cores=0,2,4,6
/proc/20494/stat : 20494 (minisat+_64-bit) R 20489 20489 18257 0 -1 4202496 53120 0 0 0 124178 20 0 0 20 0 1 0 323303938 218587136 53001 33554432000 4194304 5276501 140736621933360 140736621931608 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/20494/statm: 53366 53001 118 265 0 53098 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 222612

[startup+1302.3 s]
/proc/loadavg: 2.05 2.06 1.96 3/181 20543
/proc/meminfo: memFree=27997596/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20489/stat : 20489 (minisat+_script) S 20487 20489 18257 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323303937 9367552 277 33554432000 4194304 5064252 140737382472128 140737382471040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20489/statm: 2287 277 236 213 0 72 0
[pid=20494] ppid=20489 vsize=213464 CPUtime=1301.98 cores=0,2,4,6
/proc/20494/stat : 20494 (minisat+_64-bit) R 20489 20489 18257 0 -1 4202496 53120 0 0 0 130178 20 0 0 20 0 1 0 323303938 218587136 53001 33554432000 4194304 5276501 140736621933360 140736621931608 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/20494/statm: 53366 53001 118 265 0 53098 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 222612

[startup+1362.3 s]
/proc/loadavg: 2.10 2.08 1.97 3/181 20544
/proc/meminfo: memFree=27997348/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20489/stat : 20489 (minisat+_script) S 20487 20489 18257 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323303937 9367552 277 33554432000 4194304 5064252 140737382472128 140737382471040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20489/statm: 2287 277 236 213 0 72 0
[pid=20494] ppid=20489 vsize=213464 CPUtime=1361.96 cores=0,2,4,6
/proc/20494/stat : 20494 (minisat+_64-bit) R 20489 20489 18257 0 -1 4202496 53120 0 0 0 136176 20 0 0 20 0 1 0 323303938 218587136 53001 33554432000 4194304 5276501 140736621933360 140736621931608 4399942 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/20494/statm: 53366 53001 118 265 0 53098 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 222612

[startup+1422.31 s]
/proc/loadavg: 2.03 2.06 1.97 3/181 20544
/proc/meminfo: memFree=27997224/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20489/stat : 20489 (minisat+_script) S 20487 20489 18257 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323303937 9367552 277 33554432000 4194304 5064252 140737382472128 140737382471040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20489/statm: 2287 277 236 213 0 72 0
[pid=20494] ppid=20489 vsize=213464 CPUtime=1421.96 cores=0,2,4,6
/proc/20494/stat : 20494 (minisat+_64-bit) R 20489 20489 18257 0 -1 4202496 53120 0 0 0 142176 20 0 0 20 0 1 0 323303938 218587136 53001 33554432000 4194304 5276501 140736621933360 140736621931608 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/20494/statm: 53366 53001 118 265 0 53098 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 222612

[startup+1482.3 s]
/proc/loadavg: 2.07 2.06 1.97 3/181 20544
/proc/meminfo: memFree=27996852/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20489/stat : 20489 (minisat+_script) S 20487 20489 18257 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323303937 9367552 277 33554432000 4194304 5064252 140737382472128 140737382471040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20489/statm: 2287 277 236 213 0 72 0
[pid=20494] ppid=20489 vsize=213464 CPUtime=1481.94 cores=0,2,4,6
/proc/20494/stat : 20494 (minisat+_64-bit) R 20489 20489 18257 0 -1 4202496 53120 0 0 0 148174 20 0 0 20 0 1 0 323303938 218587136 53001 33554432000 4194304 5276501 140736621933360 140736621931608 4399850 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/20494/statm: 53366 53001 118 265 0 53098 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 222612

[startup+1542.3 s]
/proc/loadavg: 2.02 2.05 1.97 3/181 20544
/proc/meminfo: memFree=27996480/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20489/stat : 20489 (minisat+_script) S 20487 20489 18257 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323303937 9367552 277 33554432000 4194304 5064252 140737382472128 140737382471040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20489/statm: 2287 277 236 213 0 72 0
[pid=20494] ppid=20489 vsize=213464 CPUtime=1541.93 cores=0,2,4,6
/proc/20494/stat : 20494 (minisat+_64-bit) R 20489 20489 18257 0 -1 4202496 53120 0 0 0 154173 20 0 0 20 0 1 0 323303938 218587136 53001 33554432000 4194304 5276501 140736621933360 140736621931608 4399741 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/20494/statm: 53366 53001 118 265 0 53098 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 222612

[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 1.97 3/181 20544
/proc/meminfo: memFree=27995984/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20489/stat : 20489 (minisat+_script) S 20487 20489 18257 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323303937 9367552 277 33554432000 4194304 5064252 140737382472128 140737382471040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20489/statm: 2287 277 236 213 0 72 0
[pid=20494] ppid=20489 vsize=213464 CPUtime=1601.92 cores=0,2,4,6
/proc/20494/stat : 20494 (minisat+_64-bit) R 20489 20489 18257 0 -1 4202496 53120 0 0 0 160172 20 0 0 20 0 1 0 323303938 218587136 53001 33554432000 4194304 5276501 140736621933360 140736621931608 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/20494/statm: 53366 53001 118 265 0 53098 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 222612

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 1.97 3/181 20545
/proc/meminfo: memFree=27994992/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20489/stat : 20489 (minisat+_script) S 20487 20489 18257 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323303937 9367552 277 33554432000 4194304 5064252 140737382472128 140737382471040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20489/statm: 2287 277 236 213 0 72 0
[pid=20494] ppid=20489 vsize=213864 CPUtime=1661.91 cores=0,2,4,6
/proc/20494/stat : 20494 (minisat+_64-bit) R 20489 20489 18257 0 -1 4202496 53208 0 0 0 166171 20 0 0 20 0 1 0 323303938 218996736 53089 33554432000 4194304 5276501 140736621933360 140736621931784 4396979 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/20494/statm: 53466 53089 118 265 0 53198 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 223012

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/181 20545
/proc/meminfo: memFree=27994496/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20489/stat : 20489 (minisat+_script) S 20487 20489 18257 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323303937 9367552 277 33554432000 4194304 5064252 140737382472128 140737382471040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20489/statm: 2287 277 236 213 0 72 0
[pid=20494] ppid=20489 vsize=213864 CPUtime=1721.91 cores=0,2,4,6
/proc/20494/stat : 20494 (minisat+_64-bit) R 20489 20489 18257 0 -1 4202496 53208 0 0 0 172171 20 0 0 20 0 1 0 323303938 218996736 53089 33554432000 4194304 5276501 140736621933360 140736621931784 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/20494/statm: 53466 53089 118 265 0 53198 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 223012

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/181 20545
/proc/meminfo: memFree=27993256/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20489/stat : 20489 (minisat+_script) S 20487 20489 18257 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323303937 9367552 277 33554432000 4194304 5064252 140737382472128 140737382471040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20489/statm: 2287 277 236 213 0 72 0
[pid=20494] ppid=20489 vsize=213864 CPUtime=1781.9 cores=0,2,4,6
/proc/20494/stat : 20494 (minisat+_64-bit) R 20489 20489 18257 0 -1 4202496 53208 0 0 0 178170 20 0 0 20 0 1 0 323303938 218996736 53089 33554432000 4194304 5276501 140736621933360 140736621931784 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/20494/statm: 53466 53089 118 265 0 53198 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 223012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.01 1.97 3/181 20545
/proc/meminfo: memFree=27993256/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20489/stat : 20489 (minisat+_script) S 20487 20489 18257 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323303937 9367552 277 33554432000 4194304 5064252 140737382472128 140737382471040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20489/statm: 2287 277 236 213 0 72 0
[pid=20494] ppid=20489 vsize=213864 CPUtime=1800.1 cores=0,2,4,6
/proc/20494/stat : 20494 (minisat+_64-bit) R 20489 20489 18257 0 -1 4202496 53208 0 0 0 179990 20 0 0 20 0 1 0 323303938 218996736 53089 33554432000 4194304 5276501 140736621933360 140736621931608 4399947 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/20494/statm: 53466 53089 118 265 0 53198 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 223012

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.5 s]
/proc/loadavg: 2.00 2.01 1.97 3/181 20545
/proc/meminfo: memFree=27993256/32873844 swapFree=7124/7124
[pid=20489] ppid=20487 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20489/stat : 20489 (minisat+_script) S 20487 20489 18257 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323303937 9367552 277 33554432000 4194304 5064252 140737382472128 140737382471040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20489/statm: 2287 277 236 213 0 72 0
[pid=20494] ppid=20489 vsize=213864 CPUtime=1800.1 cores=0,2,4,6
/proc/20494/stat : 20494 (minisat+_64-bit) R 20489 20489 18257 0 -1 4202496 53208 0 0 0 179990 20 0 0 20 0 1 0 323303938 218996736 53089 33554432000 4194304 5276501 140736621933360 140736621931608 4399947 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/20494/statm: 53466 53089 118 265 0 53198 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 223012

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.12
CPU user time (s): 1799.91
CPU system time (s): 0.212967
CPU usage (%): 99.9783
Max. virtual memory (cumulated for all children) (KiB): 223012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.212967
maximum resident set size= 212360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54156
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= 112
involuntary context switches= 2049

runsolver used 3.58645 second user time and 8.73867 second system time

The end

Launcher Data 

Begin job on node134 at 2012-06-01 19:29:45
IDJOB=3723557
IDBENCH=2261
IDSOLVER=2307
FILE ID=node134/3723557-1338571785
RUNJOBID= node134-1338569978-20368
PBS_JOBID= 14635850
Free space on /tmp= 70340 MiB

SOLVER NAME= minisatp 1.0-2-g022594c
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
COMMAND LINE= minisat+_script BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723557-1338571785/watcher-3723557-1338571785 -o /tmp/evaluation-result-3723557-1338571785/solver-3723557-1338571785 -C 1800 -W 1900 -M 15500  minisat+_script HOME/instance-3723557-1338571785.opb

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

MD5SUM BENCH= 29f577041bedcbf69a98210424b233be
RANDOM SEED=1980438695

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28329228 kB
Buffers:          437664 kB
Cached:          3202440 kB
SwapCached:           76 kB
Active:          1711856 kB
Inactive:        1940324 kB
Active(anon):       3084 kB
Inactive(anon):    10508 kB
Active(file):    1708772 kB
Inactive(file):  1929816 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67107756 kB
Dirty:              4480 kB
Writeback:             0 kB
AnonPages:         18596 kB
Mapped:            10876 kB
Shmem:                96 kB
Slab:             753228 kB
SReclaimable:     194912 kB
SUnreclaim:       558316 kB
KernelStack:        1440 kB
PageTables:         3952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     105892 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70352 MiB
End job on node134 at 2012-06-01 19:59:46