Trace number 3723559

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-5.opb
MD5SUM32f273c48805c1e726044ae006778010
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.08
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 constraints80035
Number of constraints which are clauses80035
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 80035 PB-constraints to clauses...
0.00/0.09	c   -- Unit propagations: (none)
0.00/0.09	c   -- Detecting intervals from adjacent constraints: (none)
0.00/0.09	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 |   80035   160070 |   26678       0        0    -nan |  0.000 % |
0.00/0.16	c ==============================================================================
0.00/0.16	c Found solution: -37
0.00/0.17	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 |  147951   319392 |   49317       0        0    -nan |  0.000 % |
0.00/0.32	c |       100 |  147312   318040 |   54248      57     1282    22.5 |  0.772 % |
0.00/0.44	c |       251 |  146773   316900 |   59673     187     2917    15.6 |  1.422 % |
0.00/0.66	c |       476 |  145213   313544 |   65640     368     5352    14.5 |  3.429 % |
0.00/0.90	c |       813 |  143505   309796 |   72205     621     8354    13.5 |  5.644 % |
1.29/1.38	c |      1320 |  139677   301273 |   79425    1008    13306    13.2 | 10.638 % |
1.79/1.82	c |      2079 |  135693   292365 |   87368    1543    19391    12.6 | 15.964 % |
2.49/2.52	c |      3218 |  129784   278974 |   96104    2359    29829    12.6 | 24.035 % |
3.29/3.39	c |      4926 |  123451   264482 |  105715    3726    48618    13.0 | 32.884 % |
4.49/4.51	c |      7488 |  113685   241871 |  116286    5265    72610    13.8 | 46.471 % |
5.79/5.88	c |     11332 |  103852   218632 |  127915    7962   114705    14.4 | 60.670 % |
6.09/6.12	c ==============================================================================
6.09/6.12	c Found solution: -38
6.09/6.12	c ---[   0]---> Sorter-cost:    0     Base:
6.09/6.13	c ==================================[MINISAT+]==================================
6.09/6.13	c | Conflicts | Original         | Learnt                           | Progress |
6.09/6.13	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
6.09/6.13	c ==============================================================================
6.09/6.13	c |     12040 |  102285   214933 |   34095    8414   124807    14.8 | 60.670 % |
6.09/6.16	c |     12140 |  102166   214645 |   37504    8498   128015    15.1 | 63.140 % |
6.19/6.22	c |     12290 |  101703   213559 |   41254    8574   129145    15.1 | 63.804 % |
6.19/6.29	c |     12515 |  101343   212707 |   45380    8728   131717    15.1 | 64.329 % |
6.29/6.34	c |     12852 |  101142   212230 |   49918    9039   137436    15.2 | 64.626 % |
6.39/6.45	c |     13358 |  100487   210678 |   54910    9431   143863    15.3 | 65.571 % |
6.59/6.66	c |     14117 |   99399   208029 |   60401   10007   155862    15.6 | 67.217 % |
6.78/6.82	c |     15256 |   98829   206696 |   66441   10978   181034    16.5 | 68.013 % |
7.18/7.26	c |     16964 |   96219   200427 |   73085   12089   213911    17.7 | 71.854 % |
7.59/7.67	c |     19526 |   94829   197054 |   80394   14059   280640    20.0 | 73.972 % |
8.18/8.24	c |     23370 |   93282   193388 |   88433   17435   435361    25.0 | 76.254 % |
8.88/8.93	c ==============================================================================
8.88/8.93	c Found solution: -39
8.88/8.93	c ---[   0]---> Sorter-cost:    0     Base:
8.88/8.95	c ==================================[MINISAT+]==================================
8.88/8.95	c | Conflicts | Original         | Learnt                           | Progress |
8.88/8.95	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
8.88/8.95	c ==============================================================================
8.88/8.95	c |     27138 |   91518   189174 |   30506   19956   561484    28.1 | 76.254 % |
8.88/8.96	c |     27238 |   91518   189174 |   33556   20056   566237    28.2 | 78.958 % |
8.98/9.03	c |     27388 |   91058   188070 |   36912   20109   568062    28.2 | 79.649 % |
8.98/9.07	c |     27614 |   90912   187720 |   40603   20301   574009    28.3 | 79.946 % |
9.08/9.17	c |     27951 |   90537   186817 |   44663   20448   585467    28.6 | 80.426 % |
9.18/9.22	c |     28457 |   90537   186817 |   49130   20954   603456    28.8 | 80.426 % |
9.18/9.28	c ==============================================================================
9.18/9.28	c Found solution: -40
9.18/9.28	c ---[   0]---> Sorter-cost:    0     Base:
9.28/9.30	c ==================================[MINISAT+]==================================
9.28/9.30	c | Conflicts | Original         | Learnt                           | Progress |
9.28/9.30	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
9.28/9.30	c ==============================================================================
9.28/9.30	c |     28884 |   90478   186664 |   30159   21341   649708    30.4 | 80.426 % |
9.28/9.32	c |     28984 |   90470   186644 |   33174   21423   653900    30.5 | 80.530 % |
9.28/9.37	c |     29134 |   90279   186164 |   36492   21428   656822    30.7 | 80.826 % |
9.38/9.40	c |     29360 |   90273   186150 |   40141   21650   663502    30.6 | 80.834 % |
9.38/9.46	c |     29697 |   90120   185775 |   44155   21635   667996    30.9 | 81.072 % |
9.48/9.52	c |     30203 |   90065   185641 |   48571   22096   708500    32.1 | 81.154 % |
9.58/9.61	c |     30963 |   90065   185641 |   53428   22856   750794    32.8 | 81.154 % |
9.68/9.76	c ==============================================================================
9.68/9.76	c Found solution: -41
9.68/9.76	c ---[   0]---> Sorter-cost:    0     Base:
9.68/9.78	c ==================================[MINISAT+]==================================
9.68/9.78	c | Conflicts | Original         | Learnt                           | Progress |
9.68/9.78	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
9.68/9.78	c ==============================================================================
9.68/9.78	c |     32086 |   90011   185527 |   30003   23927   817853    34.2 | 81.154 % |
9.68/9.79	c |     32186 |   90011   185527 |   33003   24027   820154    34.1 | 81.253 % |
9.79/9.81	c |     32336 |   90011   185527 |   36303   24177   827008    34.2 | 81.253 % |
9.79/9.86	c |     32561 |   89889   185232 |   39933   24299   833193    34.3 | 81.430 % |
9.79/9.90	c |     32898 |   89879   185208 |   43927   24631   845578    34.3 | 81.445 % |
9.89/9.96	c |     33404 |   89834   185090 |   48320   25111   869744    34.6 | 81.521 % |
10.08/10.15	c |     34163 |   89697   184761 |   53152   25651   913989    35.6 | 81.724 % |
10.28/10.33	c |     35302 |   89587   184499 |   58467   26620  1005603    37.8 | 81.887 % |
10.58/10.60	c |     37010 |   89453   184177 |   64314   28198  1135806    40.3 | 82.090 % |
10.89/10.98	c |     39573 |   89338   183900 |   70745   30591  1285382    42.0 | 82.263 % |
11.68/11.79	c ==============================================================================
11.68/11.79	c Found solution: -42
11.68/11.79	c ---[   0]---> Sorter-cost:    0     Base:
11.78/11.81	c ==================================[MINISAT+]==================================
11.78/11.81	c | Conflicts | Original         | Learnt                           | Progress |
11.78/11.81	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
11.78/11.81	c ==============================================================================
11.78/11.81	c |     43322 |   89285   183736 |   29761   34090  2021210    59.3 | 82.263 % |
11.78/11.83	c |     43422 |   89285   183736 |   32737   34190  2024508    59.2 | 82.354 % |
11.78/11.86	c |     43572 |   89285   183736 |   36010   34340  2032527    59.2 | 82.354 % |
11.88/11.90	c |     43797 |   89266   183685 |   39611   34550  2047435    59.3 | 82.386 % |
11.88/11.96	c |     44135 |   89266   183685 |   43573   34888  2063738    59.2 | 82.386 % |
11.99/12.05	c |     44641 |   89266   183685 |   47930   35394  2109856    59.6 | 82.386 % |
12.09/12.17	c |     45400 |   89266   183685 |   52723   36153  2160261    59.8 | 82.386 % |
12.38/12.48	c |     46539 |   89074   183207 |   57995   37123  2239474    60.3 | 82.686 % |
12.78/12.89	c |     48248 |   88972   182965 |   63795   38602  2363265    61.2 | 82.837 % |
13.28/13.37	c |     50810 |   88925   182850 |   70174   41128  2594785    63.1 | 82.910 % |
14.08/14.19	c |     54655 |   88849   182666 |   77192   44682  3155418    70.6 | 83.022 % |
15.08/15.15	c |     60422 |   88741   182402 |   84911   50384  3570951    70.9 | 83.191 % |
17.18/17.20	c |     69072 |   88608   182083 |   93402   58841  4391799    74.6 | 83.389 % |
20.79/20.84	c |     82047 |   88446   181683 |  102743   71587  6213116    86.8 | 83.641 % |
21.58/21.65	c ==============================================================================
21.58/21.65	c Found solution: -43
21.58/21.65	c ---[   0]---> Sorter-cost:    0     Base:
21.68/21.70	c ==================================[MINISAT+]==================================
21.68/21.70	c | Conflicts | Original         | Learnt                           | Progress |
21.68/21.70	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
21.68/21.70	c ==============================================================================
21.68/21.70	c |     85047 |   88489   181812 |   29496   74587  6605965    88.6 | 83.641 % |
21.68/21.79	c |     85148 |   88448   181713 |   32445   21338  1766325    82.8 | 83.672 % |
21.78/21.83	c |     85298 |   88435   181682 |   35690   21480  1773493    82.6 | 83.691 % |
21.78/21.89	c |     85523 |   88424   181655 |   39259   21678  1783381    82.3 | 83.708 % |
21.89/21.95	c |     85860 |   88424   181655 |   43185   22015  1817430    82.6 | 83.708 % |
21.99/22.06	c |     86366 |   88297   181332 |   47503   22511  1847339    82.1 | 83.917 % |
22.08/22.19	c |     87125 |   88289   181310 |   52253   23258  1892246    81.4 | 83.932 % |
22.28/22.36	c |     88264 |   88289   181310 |   57479   24397  1983122    81.3 | 83.932 % |
22.48/22.55	c |     89972 |   88289   181310 |   63227   26105  2058004    78.8 | 83.932 % |
22.88/22.99	c |     92535 |   88278   181285 |   69550   28662  2294400    80.1 | 83.947 % |
23.68/23.77	c |     96379 |   88176   181023 |   76505   32491  2732873    84.1 | 84.119 % |
24.88/24.96	c |    102145 |   88122   180889 |   84155   38211  3475814    91.0 | 84.206 % |
26.78/26.81	c |    110794 |   88073   180764 |   92571   46858  4629516    98.8 | 84.287 % |
30.48/30.53	c |    123769 |   87814   180149 |  101828   59729  6544587   109.6 | 84.662 % |
36.78/36.81	c |    143231 |   87780   180065 |  112011   79107  9516079   120.3 | 84.716 % |
48.48/48.56	c |    172424 |   87506   179399 |  123212  108163 14311628   132.3 | 85.120 % |
59.28/59.36	c ==============================================================================
59.28/59.36	c Found solution: -44
59.28/59.36	c ---[   0]---> Sorter-cost:    0     Base:
59.38/59.47	c ==================================[MINISAT+]==================================
59.38/59.47	c | Conflicts | Original         | Learnt                           | Progress |
59.38/59.47	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
59.38/59.47	c ==============================================================================
59.38/59.47	c |    195185 |   87459   179273 |   29153  130774 17301267   132.3 | 85.120 % |
59.57/59.64	c |    195288 |   87453   179259 |   32068   20732  1817944    87.7 | 85.200 % |
59.57/59.67	c |    195439 |   87453   179259 |   35275   20883  1830474    87.7 | 85.200 % |
59.67/59.70	c |    195665 |   87453   179259 |   38802   21109  1845659    87.4 | 85.200 % |
59.67/59.74	c |    196002 |   87453   179259 |   42682   21446  1861441    86.8 | 85.200 % |
59.77/59.83	c |    196508 |   87442   179232 |   46951   21948  1920342    87.5 | 85.218 % |
59.87/59.94	c |    197267 |   87440   179228 |   51646   22704  1971728    86.8 | 85.220 % |
60.07/60.13	c |    198406 |   87430   179204 |   56810   23838  2107264    88.4 | 85.235 % |
60.27/60.37	c |    200116 |   87430   179204 |   62492   25548  2262663    88.6 | 85.235 % |
60.77/60.81	c |    202678 |   87395   179125 |   68741   28105  2536053    90.2 | 85.282 % |
61.37/61.50	c |    206522 |   87395   179125 |   75615   31949  3064256    95.9 | 85.282 % |
62.68/62.76	c |    212288 |   87395   179125 |   83176   37715  3918746   103.9 | 85.282 % |
64.78/64.81	c |    220937 |   87271   178829 |   91494   46280  5090019   110.0 | 85.465 % |
67.97/68.06	c |    233912 |   87266   178816 |  100644   59254  6931306   117.0 | 85.474 % |
73.68/73.71	c |    253374 |   87265   178813 |  110708   78708  9149021   116.2 | 85.476 % |
84.45/84.59	c |    282566 |   87215   178689 |  121779  107894 13156513   121.9 | 85.555 % |
89.25/89.39	c ==============================================================================
89.25/89.39	c Found solution: -45
89.25/89.39	c ---[   0]---> Sorter-cost:    0     Base:
89.35/89.48	c ==================================[MINISAT+]==================================
89.35/89.48	c | Conflicts | Original         | Learnt                           | Progress |
89.35/89.48	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
89.35/89.48	c ==============================================================================
89.35/89.48	c |    295527 |   87233   178741 |   29077  120851 14577716   120.6 | 85.555 % |
89.55/89.65	c |    295628 |   87227   178727 |   31984   23504  1499387    63.8 | 85.547 % |
89.65/89.70	c |    295779 |   87213   178691 |   35183   23627  1503173    63.6 | 85.571 % |
89.65/89.73	c |    296005 |   87213   178691 |   38701   23853  1522211    63.8 | 85.571 % |
89.65/89.78	c |    296342 |   87213   178691 |   42571   24190  1539550    63.6 | 85.571 % |
89.75/89.85	c |    296849 |   87213   178691 |   46828   24697  1589838    64.4 | 85.571 % |
89.85/89.96	c |    297608 |   87213   178691 |   51511   25456  1667139    65.5 | 85.571 % |
90.06/90.13	c |    298748 |   87213   178691 |   56662   26596  1766768    66.4 | 85.571 % |
90.35/90.44	c |    300456 |   87037   178248 |   62329   28282  1867034    66.0 | 85.854 % |
90.75/90.85	c |    303018 |   87027   178224 |   68562   30840  2120411    68.8 | 85.869 % |
91.45/91.52	c |    306862 |   86979   178108 |   75418   34629  2479288    71.6 | 85.943 % |
92.55/92.60	c |    312628 |   86912   177947 |   82960   40321  3121316    77.4 | 86.041 % |
94.34/94.48	c |    321278 |   86893   177902 |   91256   48963  4117898    84.1 | 86.069 % |
97.54/97.65	c |    334253 |   86852   177804 |  100381   61919  5831193    94.2 | 86.130 % |
102.44/102.56	c |    353714 |   86824   177734 |  110419   81310  8105331    99.7 | 86.175 % |
110.73/110.83	c |    382908 |   86815   177713 |  121461  110475 11834073   107.1 | 86.188 % |
127.62/127.72	c |    426699 |   86815   177713 |  133608  154266 17445514   113.1 | 86.188 % |
144.22/144.33	c ==============================================================================
144.22/144.33	c Found solution: -46
144.22/144.33	c ---[   0]---> Sorter-cost:    0     Base:
144.22/144.37	c ==================================[MINISAT+]==================================
144.22/144.37	c | Conflicts | Original         | Learnt                           | Progress |
144.22/144.37	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
144.22/144.37	c ==============================================================================
144.22/144.37	c |    480192 |   86794   177630 |   28931   53155  4993455    93.9 | 86.188 % |
144.22/144.39	c |    480292 |   86794   177630 |   31824   53255  4997751    93.8 | 86.225 % |
144.32/144.42	c |    480442 |   86794   177630 |   35006   53405  5005448    93.7 | 86.225 % |
144.32/144.47	c |    480668 |   86794   177630 |   38507   53631  5022508    93.6 | 86.225 % |
144.42/144.54	c |    481006 |   86794   177630 |   42357   53969  5050860    93.6 | 86.225 % |
144.52/144.63	c |    481512 |   86794   177630 |   46593   54475  5090837    93.5 | 86.225 % |
144.62/144.74	c |    482271 |   86794   177630 |   51253   55234  5148466    93.2 | 86.225 % |
144.82/144.94	c |    483411 |   86786   177610 |   56378   56369  5226631    92.7 | 86.238 % |
145.12/145.23	c |    485121 |   86786   177610 |   62016   58079  5394568    92.9 | 86.238 % |
145.62/145.74	c |    487683 |   86786   177610 |   68217   60641  5655652    93.3 | 86.238 % |
146.32/146.49	c |    491527 |   86786   177610 |   75039   64485  6046015    93.8 | 86.238 % |
147.52/147.60	c |    497294 |   86779   177593 |   82543   70249  6806710    96.9 | 86.248 % |
149.32/149.45	c |    505943 |   86779   177593 |   90797   78898  7601890    96.4 | 86.249 % |
152.72/152.81	c |    518917 |   86771   177573 |   99877   91864  8838745    96.2 | 86.261 % |
158.22/158.38	c |    538378 |   86746   177516 |  109865  111312 11035088    99.1 | 86.296 % |
166.51/166.63	c |    567572 |   86737   177495 |  120851  140497 14673332   104.4 | 86.309 % |
178.81/178.97	c |    611362 |   86737   177495 |  132937   45092  2420518    53.7 | 86.309 % |
197.82/197.91	c |    677046 |   86734   177488 |  146230  110773  8199628    74.0 | 86.313 % |
233.20/233.34	c |    775573 |   86689   177377 |  160853   44089  2079261    47.2 | 86.384 % |
278.99/279.14	c |    923362 |   86689   177377 |  176939  191878  9471881    49.4 | 86.384 % |
363.17/363.38	c |   1145045 |   86686   177370 |  194633   31168   824730    26.5 | 86.388 % |
484.06/484.21	c |   1477570 |   86636   177252 |  214096  159169  6441004    40.5 | 86.459 % |
672.53/672.71	c ==============================================================================
672.53/672.71	c Found solution: -47
672.53/672.71	c ---[   0]---> Sorter-cost:    0     Base:
672.53/672.76	c ==================================[MINISAT+]==================================
672.53/672.76	c | Conflicts | Original         | Learnt                           | Progress |
672.53/672.76	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
672.53/672.76	c ==============================================================================
672.53/672.76	c |   1924562 |   86644   177283 |   28881  150071  6211619    41.4 | 86.459 % |
673.53/673.76	c |   1924662 |   86644   177283 |   31769   30559   868542    28.4 | 86.484 % |
673.53/673.79	c |   1924812 |   86644   177283 |   34946   30709   874115    28.5 | 86.484 % |
673.63/673.83	c |   1925038 |   86644   177283 |   38440   30935   884977    28.6 | 86.484 % |
673.63/673.88	c |   1925376 |   86644   177283 |   42284   31273   902139    28.8 | 86.484 % |
673.73/673.94	c |   1925882 |   86644   177283 |   46513   31779   932829    29.4 | 86.484 % |
673.83/674.02	c |   1926642 |   86604   177181 |   51164   32517   956208    29.4 | 86.551 % |
673.93/674.12	c |   1927781 |   86595   177158 |   56280   33652   996769    29.6 | 86.566 % |
674.03/674.25	c |   1929489 |   86595   177158 |   61908   35360  1072194    30.3 | 86.566 % |
674.23/674.47	c |   1932052 |   86595   177158 |   68099   37923  1217510    32.1 | 86.566 % |
674.73/674.96	c |   1935896 |   86485   176893 |   74909   41736  1487083    35.6 | 86.731 % |
675.53/675.73	c |   1941663 |   86485   176893 |   82400   47503  2109628    44.4 | 86.731 % |
676.73/676.94	c |   1950313 |   86441   176793 |   90640   56140  2846133    50.7 | 86.791 % |
679.03/679.26	c |   1963289 |   86441   176793 |   99705   69116  4075416    59.0 | 86.791 % |
683.33/683.52	c |   1982750 |   86441   176793 |  109675   88577  5215270    58.9 | 86.791 % |
691.12/691.39	c |   2011943 |   86439   176789 |  120643  117769  6723646    57.1 | 86.793 % |
705.72/705.99	c |   2055733 |   86439   176789 |  132707  161559  8855065    54.8 | 86.793 % |
722.53/722.71	c |   2121418 |   86439   176789 |  145978   79735  3481813    43.7 | 86.793 % |
758.51/758.71	c |   2219944 |   86424   176754 |  160575  178258  8803483    49.4 | 86.815 % |
808.21/808.46	c |   2367734 |   86424   176754 |  176633  150416  8981883    59.7 | 86.815 % |
884.79/885.00	c |   2589418 |   86409   176719 |  194296  179161 11236826    62.7 | 86.836 % |
1003.07/1003.35	c |   2921944 |   86390   176674 |  213726  102211  5156919    50.5 | 86.864 % |
1023.57/1023.83	c ==============================================================================
1023.57/1023.83	c Found solution: -48
1023.57/1023.83	c ---[   0]---> Sorter-cost:    0     Base:
1023.67/1023.90	c ==================================[MINISAT+]==================================
1023.67/1023.90	c | Conflicts | Original         | Learnt                           | Progress |
1023.67/1023.90	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1023.67/1023.90	c ==============================================================================
1023.67/1023.90	c |   2985476 |   86365   176597 |   28788  165739  8148112    49.2 | 86.864 % |
1024.57/1024.87	c |   2985578 |   86365   176597 |   31666   31788   799594    25.2 | 86.903 % |
1024.57/1024.89	c |   2985729 |   86365   176597 |   34833   31939   803951    25.2 | 86.903 % |
1024.67/1024.92	c |   2985954 |   86356   176576 |   38316   32162   812625    25.3 | 86.916 % |
1024.67/1024.96	c |   2986291 |   86356   176576 |   42148   32499   825594    25.4 | 86.916 % |
1024.77/1025.00	c |   2986797 |   86356   176576 |   46363   33005   841034    25.5 | 86.916 % |
1024.77/1025.07	c |   2987557 |   86356   176576 |   50999   33765   892311    26.4 | 86.916 % |
1024.87/1025.17	c |   2988696 |   86356   176576 |   56099   34904   957143    27.4 | 86.916 % |
1025.07/1025.36	c |   2990404 |   86355   176573 |   61709   36597  1048904    28.7 | 86.918 % |
1025.37/1025.68	c |   2992968 |   86313   176479 |   67880   39146  1221155    31.2 | 86.974 % |
1025.87/1026.16	c |   2996812 |   86313   176479 |   74668   42990  1444440    33.6 | 86.974 % |
1026.67/1026.90	c |   3002578 |   86226   176265 |   82135   48697  1779061    36.5 | 87.107 % |
1027.97/1028.28	c |   3011227 |   86226   176265 |   90349   57346  2368893    41.3 | 87.107 % |
1030.07/1030.34	c |   3024201 |   86220   176249 |   99383   70280  3381345    48.1 | 87.118 % |
1033.87/1034.13	c |   3043663 |   86220   176249 |  109322   89742  4457778    49.7 | 87.118 % |
1041.37/1041.69	c |   3072855 |   86215   176238 |  120254  118932  5690151    47.8 | 87.124 % |
1055.26/1055.50	c |   3116644 |   86208   176223 |  132280  162718  7834790    48.1 | 87.133 % |
1072.06/1072.32	c |   3182328 |   86203   176210 |  145508   83595  3283676    39.3 | 87.141 % |
1106.76/1107.07	c |   3280854 |   86148   176080 |  160058  182098  7977124    43.8 | 87.221 % |
1153.36/1153.68	c |   3428644 |   86141   176063 |  176064  158608  6163482    38.9 | 87.231 % |
1237.34/1237.62	c |   3650327 |   86128   176032 |  193671  198065  7305553    36.9 | 87.251 % |
1346.92/1347.29	c |   3982853 |   86014   175755 |  213038  128082  5024089    39.2 | 87.420 % |
1518.70/1519.09	c |   4481641 |   85995   175708 |  234342  190883  7369511    38.6 | 87.450 % |
1800.06/1800.40	c 
1800.06/1800.40	c *** TERMINATED ***
1800.06/1800.40	s SATISFIABLE
1800.06/1800.40	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	-48

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.01 1.89 3/179 20524
/proc/meminfo: memFree=28304428/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 277 236 213 0 72 0

[startup+0.0119111 s]
/proc/loadavg: 2.01 2.01 1.89 3/179 20524
/proc/meminfo: memFree=28304428/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100281 s]
/proc/loadavg: 2.01 2.01 1.89 3/179 20524
/proc/meminfo: memFree=28304428/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300345 s]
/proc/loadavg: 2.01 2.01 1.89 3/179 20524
/proc/meminfo: memFree=28304428/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700353 s]
/proc/loadavg: 2.01 2.01 1.89 3/179 20524
/proc/meminfo: memFree=28304428/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5004 s]
/proc/loadavg: 2.01 2.01 1.89 3/181 20529
/proc/meminfo: memFree=28265220/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 277 236 213 0 72 0
[pid=20528] ppid=20524 vsize=40672 CPUtime=1.49 cores=1,3,5,7
/proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 9896 0 0 0 145 4 0 0 20 0 1 0 323304015 41648128 9852 33554432000 4194304 5276501 140735827143392 140735827141640 4391506 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/20528/statm: 10168 9852 116 265 0 9900 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49820

[startup+3.1004 s]
/proc/loadavg: 2.01 2.01 1.89 3/181 20529
/proc/meminfo: memFree=28264848/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 277 236 213 0 72 0
[pid=20528] ppid=20524 vsize=40672 CPUtime=3.09 cores=1,3,5,7
/proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 9897 0 0 0 305 4 0 0 20 0 1 0 323304015 41648128 9853 33554432000 4194304 5276501 140735827143392 140735827141640 4399804 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/20528/statm: 10168 9853 117 265 0 9900 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 49820

[startup+6.30035 s]
/proc/loadavg: 2.01 2.01 1.89 3/181 20529
/proc/meminfo: memFree=28264984/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 277 236 213 0 72 0
[pid=20528] ppid=20524 vsize=40672 CPUtime=6.29 cores=1,3,5,7
/proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 9897 0 0 0 625 4 0 0 20 0 1 0 323304015 41648128 9853 33554432000 4194304 5276501 140735827143392 140735827141640 4745056 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/20528/statm: 10168 9853 117 265 0 9900 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 49820

[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 1.89 3/181 20529
/proc/meminfo: memFree=28265676/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 277 236 213 0 72 0
[pid=20528] ppid=20524 vsize=40672 CPUtime=12.68 cores=1,3,5,7
/proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 9899 0 0 0 1264 4 0 0 20 0 1 0 323304015 41648128 9855 33554432000 4194304 5276501 140735827143392 140735827141640 4399749 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/20528/statm: 10168 9855 119 265 0 9900 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49820

[startup+25.5004 s]
/proc/loadavg: 2.01 2.01 1.89 3/182 20532
/proc/meminfo: memFree=28217360/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 277 236 213 0 72 0
[pid=20528] ppid=20524 vsize=56648 CPUtime=25.48 cores=1,3,5,7
/proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 13915 0 0 0 2543 5 0 0 20 0 1 0 323304015 58007552 13818 33554432000 4194304 5276501 140735827143392 140735827141640 4399913 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/20528/statm: 14162 13818 119 265 0 13894 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 65796

[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 1.89 3/182 20532
/proc/meminfo: memFree=28168712/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 277 236 213 0 72 0
[pid=20528] ppid=20524 vsize=93860 CPUtime=51.08 cores=1,3,5,7
/proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 23197 0 0 0 5099 9 0 0 20 0 1 0 323304015 96112640 23100 33554432000 4194304 5276501 140735827143392 140735827141384 4400020 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/20528/statm: 23465 23100 119 265 0 23197 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 103008

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.90 3/181 20533
/proc/meminfo: memFree=28111368/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 277 236 213 0 72 0
[pid=20528] ppid=20524 vsize=104144 CPUtime=102.25 cores=1,3,5,7
/proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 25885 0 0 0 10216 9 0 0 20 0 1 0 323304015 106643456 25710 33554432000 4194304 5276501 140735827143392 140735827141640 4397196 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/20528/statm: 26036 25710 119 265 0 25768 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 113292

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/181 20533
/proc/meminfo: memFree=28087828/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 277 236 213 0 72 0
[pid=20528] ppid=20524 vsize=120724 CPUtime=162.21 cores=1,3,5,7
/proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 29944 0 0 0 16209 12 0 0 20 0 1 0 323304015 123621376 29750 33554432000 4194304 5276501 140735827143392 140735827141624 4400017 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/20528/statm: 30181 29750 119 265 0 29913 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 129872

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 20533
/proc/meminfo: memFree=28086600/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 277 236 213 0 72 0
[pid=20528] ppid=20524 vsize=120716 CPUtime=222.2 cores=1,3,5,7
/proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 29958 0 0 0 22208 12 0 0 20 0 1 0 323304015 123613184 29764 33554432000 4194304 5276501 140735827143392 140735827141640 4399290 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/20528/statm: 30179 29764 119 265 0 29911 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 129864

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 20533
/proc/meminfo: memFree=28047228/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 277 236 213 0 72 0
[pid=20528] ppid=20524 vsize=120716 CPUtime=282.19 cores=1,3,5,7
/proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 30004 0 0 0 28207 12 0 0 20 0 1 0 323304015 123613184 29809 33554432000 4194304 5276501 140735827143392 140735827141640 4399850 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/20528/statm: 30179 29809 119 265 0 29911 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 129864

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 20533
/proc/meminfo: memFree=28013360/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 277 236 213 0 72 0
[pid=20528] ppid=20524 vsize=122496 CPUtime=342.18 cores=1,3,5,7
/proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 30242 0 0 0 34206 12 0 0 20 0 1 0 323304015 125435904 30059 33554432000 4194304 5276501 140735827143392 140735827141624 4394737 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/20528/statm: 30624 30059 119 265 0 30356 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 131644

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 20534
/proc/meminfo: memFree=28012040/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/20524/statm: 2287 277 236 213 0 72 0
[pid=20528] ppid=20524 vsize=136676 CPUtime=1062.06 cores=1,3,5,7
/proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 33439 0 0 0 106192 14 0 0 20 0 1 0 323304015 139956224 33262 33554432000 4194304 5276501 140735827143392 140735827141640 4399757 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/20528/statm: 34169 33262 119 265 0 33901 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 145824

[startup+1122.3 s]
/proc/loadavg: 2.10 2.05 1.94 3/181 20540
/proc/meminfo: memFree=27999952/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 277 236 213 0 72 0
[pid=20528] ppid=20524 vsize=137160 CPUtime=1122.06 cores=1,3,5,7
/proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 33525 0 0 0 112191 15 0 0 20 0 1 0 323304015 140451840 33348 33554432000 4194304 5276501 140735827143392 140735827141640 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/20528/statm: 34290 33348 119 265 0 34022 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 146308

[startup+1182.3 s]
/proc/loadavg: 2.14 2.07 1.95 3/181 20540
/proc/meminfo: memFree=27999952/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 277 236 213 0 72 0
[pid=20528] ppid=20524 vsize=137232 CPUtime=1182.05 cores=1,3,5,7
/proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 33541 0 0 0 118190 15 0 0 20 0 1 0 323304015 140525568 33364 33554432000 4194304 5276501 140735827143392 140735827141816 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/20528/statm: 34308 33364 119 265 0 34040 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 146380

[startup+1242.3 s]
/proc/loadavg: 2.13 2.08 1.96 3/182 20543
/proc/meminfo: memFree=27998456/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 277 236 213 0 72 0
[pid=20528] ppid=20524 vsize=138472 CPUtime=1242.04 cores=1,3,5,7
/proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 33800 0 0 0 124189 15 0 0 20 0 1 0 323304015 141795328 33623 33554432000 4194304 5276501 140735827143392 140735827141624 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/20528/statm: 34618 33623 119 265 0 34350 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 147620

[startup+1302.3 s]
/proc/loadavg: 2.05 2.06 1.96 3/181 20543
/proc/meminfo: memFree=27997596/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 277 236 213 0 72 0
[pid=20528] ppid=20524 vsize=139496 CPUtime=1302.04 cores=1,3,5,7
/proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 34020 0 0 0 130189 15 0 0 20 0 1 0 323304015 142843904 33843 33554432000 4194304 5276501 140735827143392 140735827141816 4399330 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/20528/statm: 34874 33843 119 265 0 34606 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 148644

[startup+1362.3 s]
/proc/loadavg: 2.09 2.08 1.97 3/181 20544
/proc/meminfo: memFree=27997224/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 277 236 213 0 72 0
[pid=20528] ppid=20524 vsize=139496 CPUtime=1362.02 cores=1,3,5,7
/proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 34033 0 0 0 136187 15 0 0 20 0 1 0 323304015 142843904 33856 33554432000 4194304 5276501 140735827143392 140735827141640 4399937 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/20528/statm: 34874 33856 119 265 0 34606 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 148644

[startup+1422.31 s]
/proc/loadavg: 2.03 2.06 1.97 3/181 20544
/proc/meminfo: memFree=27997224/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 277 236 213 0 72 0
[pid=20528] ppid=20524 vsize=140024 CPUtime=1422.02 cores=1,3,5,7
/proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 34103 0 0 0 142187 15 0 0 20 0 1 0 323304015 143384576 33926 33554432000 4194304 5276501 140735827143392 140735827141624 4399937 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/20528/statm: 35006 33926 119 265 0 34738 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 149172

[startup+1482.3 s]
/proc/loadavg: 2.07 2.06 1.97 3/181 20544
/proc/meminfo: memFree=27996852/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 277 236 213 0 72 0
[pid=20528] ppid=20524 vsize=140528 CPUtime=1482 cores=1,3,5,7
/proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 34206 0 0 0 148185 15 0 0 20 0 1 0 323304015 143900672 34029 33554432000 4194304 5276501 140735827143392 140735827141624 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/20528/statm: 35132 34029 119 265 0 34864 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 149676

[startup+1542.3 s]
/proc/loadavg: 2.02 2.05 1.97 3/181 20544
/proc/meminfo: memFree=27996480/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 277 236 213 0 72 0
[pid=20528] ppid=20524 vsize=141012 CPUtime=1541.99 cores=1,3,5,7
/proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 34297 0 0 0 154184 15 0 0 20 0 1 0 323304015 144396288 34120 33554432000 4194304 5276501 140735827143392 140735827141816 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/20528/statm: 35253 34120 119 265 0 34985 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 150160

[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 1.97 3/181 20544
/proc/meminfo: memFree=27995984/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 277 236 213 0 72 0
[pid=20528] ppid=20524 vsize=141660 CPUtime=1601.98 cores=1,3,5,7
/proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 34468 0 0 0 160183 15 0 0 20 0 1 0 323304015 145059840 34291 33554432000 4194304 5276501 140735827143392 140735827141624 4399904 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/20528/statm: 35415 34291 119 265 0 35147 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 150808

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 1.97 3/181 20545
/proc/meminfo: memFree=27994868/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 277 236 213 0 72 0
[pid=20528] ppid=20524 vsize=142584 CPUtime=1661.97 cores=1,3,5,7
/proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 34645 0 0 0 166182 15 0 0 20 0 1 0 323304015 146006016 34468 33554432000 4194304 5276501 140735827143392 140735827141576 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/20528/statm: 35646 34468 119 265 0 35378 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 151732

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/181 20545
/proc/meminfo: memFree=27994496/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 277 236 213 0 72 0
[pid=20528] ppid=20524 vsize=142992 CPUtime=1721.96 cores=1,3,5,7
/proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 34766 0 0 0 172181 15 0 0 20 0 1 0 323304015 146423808 34589 33554432000 4194304 5276501 140735827143392 140735827141816 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/20528/statm: 35748 34589 119 265 0 35480 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 152140

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/181 20545
/proc/meminfo: memFree=27993256/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 277 236 213 0 72 0
[pid=20528] ppid=20524 vsize=144180 CPUtime=1781.95 cores=1,3,5,7
/proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 35030 0 0 0 178180 15 0 0 20 0 1 0 323304015 147640320 34853 33554432000 4194304 5276501 140735827143392 140735827141624 4399364 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/20528/statm: 36045 34853 119 265 0 35777 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 153328



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 1.97 3/176 20575
/proc/meminfo: memFree=28209480/32873844 swapFree=7124/7124
[pid=20524] ppid=20522 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20524/stat : 20524 (minisat+_script) S 20522 20524 18257 0 -1 4202496 383 553 0 0 0 0 0 0 20 0 1 0 323304014 9367552 277 33554432000 4194304 5064252 140737296875248 140737296874160 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20524/statm: 2287 277 236 213 0 72 0
[pid=20528] ppid=20524 vsize=144484 CPUtime=1800.06 cores=1,3,5,7
/proc/20528/stat : 20528 (minisat+_64-bit) R 20524 20524 18257 0 -1 4202496 35101 0 0 0 179991 15 0 0 20 0 1 0 323304015 147951616 34924 33554432000 4194304 5276501 140735827143392 140735827141624 4399904 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/20528/statm: 36121 34924 119 265 0 35853 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 153632

Sending SIGTERM to process tree (bottom up)

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

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1799.92
CPU system time (s): 0.160975
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 153632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.92
system time used= 0.160975
maximum resident set size= 139700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36050
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= 70
involuntary context switches= 1857

runsolver used 3.09553 second user time and 8.45072 second system time

The end

Launcher Data 

Begin job on node134 at 2012-06-01 19:29:46
IDJOB=3723559
IDBENCH=2262
IDSOLVER=2307
FILE ID=node134/3723559-1338571786
RUNJOBID= node134-1338569978-20369
PBS_JOBID= 14635850
Free space on /tmp= 70352 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-5.opb
COMMAND LINE= minisat+_script BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723559-1338571786/watcher-3723559-1338571786 -o /tmp/evaluation-result-3723559-1338571786/solver-3723559-1338571786 -C 1800 -W 1900 -M 15500  minisat+_script HOME/instance-3723559-1338571786.opb

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

MD5SUM BENCH= 32f273c48805c1e726044ae006778010
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:        28305080 kB
Buffers:          437696 kB
Cached:          3187056 kB
SwapCached:           76 kB
Active:          1735932 kB
Inactive:        1940360 kB
Active(anon):      42808 kB
Inactive(anon):    10508 kB
Active(file):    1693124 kB
Inactive(file):  1929852 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67107756 kB
Dirty:              8972 kB
Writeback:             0 kB
AnonPages:         57976 kB
Mapped:            11636 kB
Shmem:                96 kB
Slab:             753560 kB
SReclaimable:     195052 kB
SUnreclaim:       558508 kB
KernelStack:        1472 kB
PageTables:         4088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     166468 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:47