Trace number 3723563

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-1.opb
MD5SUMb8b0df75c0f0dbb89ae9601b9070a445
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-51
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -54
Optimality of the best value was proved NO
Number of variables1400
Total number of constraints109676
Number of constraints which are clauses109676
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1400
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1400
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1400
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Parsing PB file...
0.00/0.12	c Converting 109676 PB-constraints to clauses...
0.00/0.12	c   -- Unit propagations: (none)
0.00/0.12	c   -- Detecting intervals from adjacent constraints: (none)
0.00/0.12	c   -- Clauses(.)/Splits(s): ............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.00/0.21	c ==================================[MINISAT+]==================================
0.00/0.21	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.21	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.21	c ==============================================================================
0.00/0.21	c |         0 |  109676   219352 |   36558       0        0    -nan |  0.000 % |
0.00/0.21	c ==============================================================================
0.00/0.21	c Found solution: -39
0.00/0.21	c ---[   0]---> Sorter-cost:78076     Base:
0.00/0.25	c ==================================[MINISAT+]==================================
0.00/0.25	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.25	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.25	c ==============================================================================
0.00/0.25	c |         0 |  193374   415660 |   64458       0        0    -nan |  0.000 % |
0.00/0.35	c |       100 |  192719   414299 |   70903      63     1093    17.3 |  0.622 % |
0.00/0.44	c |       250 |  192264   413332 |   77994     193     3275    17.0 |  1.071 % |
0.00/0.57	c |       476 |  191415   411505 |   85793     346     4129    11.9 |  1.930 % |
0.00/0.87	c |       813 |  188955   406147 |   94372     570     6726    11.8 |  4.475 % |
1.19/1.23	c |      1319 |  186406   400564 |  103810     962    13044    13.6 |  7.139 % |
1.79/1.85	c |      2078 |  180912   388275 |  114191    1479    18824    12.7 | 13.094 % |
2.49/2.52	c |      3217 |  175709   376585 |  125610    2357    32192    13.7 | 18.778 % |
3.48/3.57	c |      4925 |  166853   356432 |  138171    3637    49556    13.6 | 28.629 % |
4.98/5.01	c |      7487 |  155457   330154 |  151988    5422    72359    13.3 | 41.543 % |
5.58/5.68	c ==============================================================================
5.58/5.68	c Found solution: -43
5.58/5.68	c ---[   0]---> Sorter-cost:    0     Base:
5.58/5.69	c ==================================[MINISAT+]==================================
5.58/5.69	c | Conflicts | Original         | Learnt                           | Progress |
5.58/5.69	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
5.58/5.69	c ==============================================================================
5.58/5.69	c |      8898 |  150768   319423 |   50256    6417    88041    13.7 | 41.543 % |
5.68/5.76	c |      8998 |  150046   317745 |   55281    6440    88567    13.8 | 47.826 % |
5.78/5.82	c |      9148 |  149703   316936 |   60809    6560    90329    13.8 | 48.216 % |
5.88/5.91	c |      9373 |  148834   314876 |   66890    6715    92282    13.7 | 49.237 % |
5.98/6.09	c |      9710 |  147177   311011 |   73579    6856    94625    13.8 | 51.136 % |
6.28/6.35	c |     10217 |  145187   306310 |   80937    7223    99243    13.7 | 53.486 % |
6.59/6.67	c |     10976 |  142967   301057 |   89031    7742   107556    13.9 | 56.112 % |
6.98/7.03	c |     12115 |  141150   296719 |   97934    8557   117331    13.7 | 58.278 % |
7.59/7.68	c |     13823 |  136259   285129 |  107728    9544   138294    14.5 | 64.058 % |
8.38/8.41	c |     16385 |  131792   274449 |  118501   11204   164454    14.7 | 69.403 % |
8.58/8.65	c ==============================================================================
8.58/8.65	c Found solution: -45
8.58/8.65	c ---[   0]---> Sorter-cost:    0     Base:
8.58/8.67	c ==================================[MINISAT+]==================================
8.58/8.67	c | Conflicts | Original         | Learnt                           | Progress |
8.58/8.67	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
8.58/8.67	c ==============================================================================
8.58/8.67	c |     17552 |  130772   272041 |   43590   12173   182779    15.0 | 69.403 % |
8.69/8.72	c |     17652 |  130261   270806 |   47949   12154   182011    15.0 | 71.260 % |
8.69/8.76	c |     17803 |  130107   270428 |   52743   12257   183368    15.0 | 71.456 % |
8.69/8.78	c |     18028 |  130107   270428 |   58018   12482   190634    15.3 | 71.456 % |
8.79/8.84	c |     18365 |  129896   269926 |   63820   12756   196614    15.4 | 71.708 % |
8.88/8.90	c |     18872 |  129655   269354 |   70202   13176   206113    15.6 | 71.985 % |
8.88/8.97	c |     19631 |  129505   269000 |   77222   13557   211284    15.6 | 72.158 % |
9.28/9.30	c |     20770 |  127302   263707 |   84944   14121   225274    16.0 | 74.803 % |
9.58/9.62	c |     22478 |  126103   260844 |   93439   15486   259884    16.8 | 76.243 % |
9.89/9.97	c |     25040 |  125038   258280 |  102782   17606   327294    18.6 | 77.542 % |
10.38/10.47	c |     28884 |  124023   255829 |  113061   20972   432776    20.6 | 78.780 % |
11.08/11.17	c |     34650 |  123420   254382 |  124367   26224   638344    24.3 | 79.515 % |
12.38/12.44	c |     43299 |  122059   251062 |  136804   33893  1019209    30.1 | 81.193 % |
12.68/12.77	c ==============================================================================
12.68/12.77	c Found solution: -46
12.68/12.77	c ---[   0]---> Sorter-cost:    0     Base:
12.68/12.79	c ==================================[MINISAT+]==================================
12.68/12.79	c | Conflicts | Original         | Learnt                           | Progress |
12.68/12.79	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
12.68/12.79	c ==============================================================================
12.68/12.79	c |     45693 |  121850   250439 |   40616   35714  1151135    32.2 | 81.193 % |
12.78/12.81	c |     45793 |  121850   250439 |   44677   35814  1154776    32.2 | 81.451 % |
12.78/12.84	c |     45943 |  121797   250315 |   49145   35895  1162242    32.4 | 81.513 % |
12.78/12.88	c |     46168 |  121745   250201 |   54059   36040  1172207    32.5 | 81.567 % |
12.88/12.92	c |     46505 |  121745   250201 |   59465   36377  1184344    32.6 | 81.567 % |
12.88/12.99	c |     47012 |  121699   250091 |   65412   36496  1200469    32.9 | 81.616 % |
13.08/13.11	c |     47772 |  121578   249804 |   71953   37053  1244009    33.6 | 81.759 % |
13.28/13.35	c |     48912 |  121396   249365 |   79149   37747  1360118    36.0 | 81.982 % |
13.48/13.58	c |     50620 |  121304   249145 |   87064   39419  1475743    37.4 | 82.092 % |
13.88/13.94	c |     53182 |  121295   249124 |   95770   41966  1703236    40.6 | 82.103 % |
14.48/14.52	c |     57026 |  121129   248708 |  105347   45531  1974770    43.4 | 82.311 % |
15.98/16.01	c |     62793 |  120605   247432 |  115882   50429  3013089    59.7 | 82.953 % |
17.58/17.65	c |     71442 |  120368   246865 |  127470   58830  4171971    70.9 | 83.237 % |
19.28/19.30	c ==============================================================================
19.28/19.30	c Found solution: -47
19.28/19.31	c ---[   0]---> Sorter-cost:    0     Base:
19.28/19.35	c ==================================[MINISAT+]==================================
19.28/19.35	c | Conflicts | Original         | Learnt                           | Progress |
19.28/19.35	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
19.28/19.35	c ==============================================================================
19.28/19.35	c |     78880 |  120408   246998 |   40136   66255  5286825    79.8 | 83.237 % |
19.38/19.44	c |     78981 |  120354   246866 |   44149   66249  5287430    79.8 | 83.293 % |
19.48/19.53	c |     79132 |  120299   246737 |   48564   66226  5286737    79.8 | 83.357 % |
19.48/19.58	c |     79357 |  120299   246737 |   53421   66451  5302298    79.8 | 83.357 % |
19.58/19.69	c |     79694 |  120249   246615 |   58763   66764  5335504    79.9 | 83.420 % |
19.78/19.81	c |     80200 |  120249   246615 |   64639   67270  5394842    80.2 | 83.420 % |
19.88/19.98	c |     80959 |  120249   246615 |   71103   68029  5470627    80.4 | 83.420 % |
20.18/20.28	c |     82098 |  120238   246590 |   78213   69110  5610114    81.2 | 83.433 % |
20.58/20.66	c |     83807 |  120155   246387 |   86035   70745  5762741    81.5 | 83.537 % |
21.27/21.33	c |     86371 |  120089   246220 |   94638   73266  6043152    82.5 | 83.625 % |
22.17/22.23	c |     90218 |  120070   246175 |  104102   77105  6560010    85.1 | 83.647 % |
23.86/23.96	c |     95984 |  119864   245677 |  114512   82617  7288585    88.2 | 83.895 % |
24.46/24.52	c ==============================================================================
24.46/24.52	c Found solution: -48
24.46/24.52	c ---[   0]---> Sorter-cost:    0     Base:
24.46/24.57	c ==================================[MINISAT+]==================================
24.46/24.57	c | Conflicts | Original         | Learnt                           | Progress |
24.46/24.57	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
24.46/24.57	c ==============================================================================
24.46/24.57	c |     98168 |  119853   245626 |   39951   84289  7541083    89.5 | 83.895 % |
24.56/24.61	c |     98268 |  119853   245626 |   43946   84389  7549019    89.5 | 83.912 % |
24.56/24.66	c |     98418 |  119853   245626 |   48340   84539  7558289    89.4 | 83.912 % |
24.66/24.72	c |     98643 |  119853   245626 |   53174   84764  7571420    89.3 | 83.912 % |
24.66/24.78	c |     98980 |  119853   245626 |   58492   85101  7591450    89.2 | 83.912 % |
24.96/25.02	c |     99486 |  119820   245545 |   64341   85550  7643651    89.3 | 83.952 % |
25.17/25.26	c |    100245 |  119771   245416 |   70775   86292  7692338    89.1 | 84.020 % |
25.46/25.57	c |    101385 |  119771   245416 |   77853   87432  7817934    89.4 | 84.020 % |
25.96/26.02	c |    103094 |  119771   245416 |   85638   89141  8053215    90.3 | 84.020 % |
26.67/26.75	c |    105656 |  119771   245416 |   94202   91703  8424955    91.9 | 84.020 % |
28.57/28.69	c |    109501 |  119237   244086 |  103622   94660  8928169    94.3 | 84.713 % |
30.36/30.45	c |    115269 |  119237   244086 |  113984  100428  9950716    99.1 | 84.713 % |
33.06/33.15	c |    123920 |  119231   244072 |  125383  109074 11087505   101.7 | 84.720 % |
37.45/37.56	c |    136894 |  119152   243883 |  137921  121989 13354119   109.5 | 84.816 % |
45.25/45.37	c |    156355 |  119088   243731 |  151713  141345 16877284   119.4 | 84.893 % |
58.74/58.83	c |    185547 |  119064   243671 |  166885  170497 22698339   133.1 | 84.924 % |
81.82/81.97	c |    229336 |  119013   243549 |  183573  213514 29694163   139.1 | 84.986 % |
94.50/94.61	c ==============================================================================
94.50/94.61	c Found solution: -49
94.50/94.61	c ---[   0]---> Sorter-cost:    0     Base:
94.50/94.63	c ==================================[MINISAT+]==================================
94.50/94.63	c | Conflicts | Original         | Learnt                           | Progress |
94.50/94.63	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
94.50/94.63	c ==============================================================================
94.50/94.63	c |    250384 |  118947   243402 |   39649   25378  2794058   110.1 | 84.986 % |
94.50/94.65	c |    250484 |  118947   243402 |   43613   25478  2798003   109.8 | 85.078 % |
94.50/94.69	c |    250635 |  118942   243391 |   47975   25627  2802687   109.4 | 85.083 % |
94.59/94.70	c |    250860 |  118942   243391 |   52772   25852  2806039   108.5 | 85.083 % |
94.59/94.79	c |    251197 |  118869   243215 |   58050   26144  2832746   108.4 | 85.172 % |
94.69/94.88	c |    251703 |  118852   243174 |   63855   26647  2862916   107.4 | 85.193 % |
94.79/94.98	c |    252462 |  118815   243088 |   70240   27387  2897760   105.8 | 85.233 % |
94.99/95.10	c |    253602 |  118815   243088 |   77264   28527  2952887   103.5 | 85.233 % |
95.19/95.36	c |    255312 |  118807   243068 |   84991   30234  3113227   103.0 | 85.243 % |
95.60/95.78	c |    257874 |  118721   242860 |   93490   32738  3349779   102.3 | 85.348 % |
96.19/96.31	c |    261718 |  118721   242860 |  102839   36582  3712298   101.5 | 85.348 % |
97.19/97.37	c |    267485 |  118610   242591 |  113123   42319  4457864   105.3 | 85.482 % |
98.99/99.10	c |    276134 |  118537   242409 |  124435   50931  5563592   109.2 | 85.577 % |
102.29/102.46	c |    289108 |  118495   242311 |  136879   63900  8622999   134.9 | 85.626 % |
107.89/108.00	c |    308569 |  118382   242036 |  150567   83310 12075656   144.9 | 85.767 % |
118.19/118.34	c |    337761 |  118365   241997 |  165623  112477 17102799   152.1 | 85.786 % |
136.59/136.72	c |    381552 |  118291   241816 |  182186  156167 25090363   160.7 | 85.879 % |
179.09/179.20	c |    447236 |  118291   241816 |  200404  221851 36842498   166.1 | 85.879 % |
223.58/223.72	c |    545762 |  118089   241336 |  220445   88273 16674638   188.9 | 86.121 % |
297.34/297.59	c |    693551 |  117789   240607 |  242489  235875 47561926   201.6 | 86.493 % |
345.13/345.31	c ==============================================================================
345.13/345.31	c Found solution: -50
345.13/345.31	c ---[   0]---> Sorter-cost:    0     Base:
345.13/345.33	c ==================================[MINISAT+]==================================
345.13/345.33	c | Conflicts | Original         | Learnt                           | Progress |
345.13/345.33	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
345.13/345.33	c ==============================================================================
345.13/345.33	c |    754082 |  117666   240268 |   39222   30465  2313096    75.9 | 86.493 % |
345.13/345.35	c |    754182 |  117666   240268 |   43144   30565  2316000    75.8 | 86.647 % |
345.13/345.35	c |    754332 |  117666   240268 |   47458   30715  2318100    75.5 | 86.647 % |
345.13/345.39	c |    754557 |  117666   240268 |   52204   30940  2337072    75.5 | 86.647 % |
345.23/345.43	c |    754895 |  117666   240268 |   57424   31278  2362726    75.5 | 86.647 % |
345.33/345.54	c |    755402 |  117595   240097 |   63167   31781  2397898    75.5 | 86.734 % |
345.43/345.66	c |    756161 |  117595   240097 |   69484   32540  2506053    77.0 | 86.734 % |
345.63/345.86	c |    757301 |  117595   240097 |   76432   33680  2649079    78.7 | 86.734 % |
345.93/346.16	c |    759009 |  117595   240097 |   84075   35388  2866403    81.0 | 86.734 % |
346.43/346.61	c |    761573 |  117595   240097 |   92483   37952  3210504    84.6 | 86.734 % |
347.03/347.28	c |    765417 |  117595   240097 |  101731   41796  3758037    89.9 | 86.734 % |
348.53/348.74	c |    771184 |  117594   240094 |  111904   47560  5009696   105.3 | 86.736 % |
350.63/350.90	c |    779833 |  117594   240094 |  123095   56209  6506208   115.8 | 86.736 % |
353.93/354.17	c |    792808 |  117565   240023 |  135404   69147  9095226   131.5 | 86.773 % |
359.53/359.79	c |    812269 |  117565   240023 |  148945   88608 12474948   140.8 | 86.773 % |
370.22/370.44	c |    841462 |  117555   239997 |  163840  117760 16855281   143.1 | 86.787 % |
389.23/389.43	c |    885251 |  117465   239778 |  180224  161516 23146688   143.3 | 86.895 % |
424.82/425.07	c |    950936 |  117447   239730 |  198246  227192 31896031   140.4 | 86.921 % |
467.22/467.45	c |   1049462 |  117427   239682 |  218071  102695 19312823   188.1 | 86.945 % |
545.29/545.60	c |   1197253 |  117257   239263 |  239878  250388 43329256   173.0 | 87.160 % |
597.87/598.18	c ==============================================================================
597.87/598.18	c Found solution: -51
597.87/598.18	c ---[   0]---> Sorter-cost:    0     Base:
597.97/598.28	c ==================================[MINISAT+]==================================
597.97/598.28	c | Conflicts | Original         | Learnt                           | Progress |
597.97/598.28	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
597.97/598.28	c ==============================================================================
597.97/598.28	c |   1320904 |  117267   239301 |   39089  105856 17508546   165.4 | 87.160 % |
598.18/598.41	c |   1321004 |  117267   239301 |   42997   23740  1894584    79.8 | 87.175 % |
598.18/598.43	c |   1321155 |  117267   239301 |   47297   23891  1902777    79.6 | 87.175 % |
598.18/598.45	c |   1321381 |  117267   239301 |   52027   24117  1907581    79.1 | 87.175 % |
598.18/598.47	c |   1321718 |  117267   239301 |   57230   24454  1922546    78.6 | 87.175 % |
598.27/598.53	c |   1322224 |  117267   239301 |   62953   24960  1953161    78.3 | 87.175 % |
598.27/598.59	c |   1322983 |  117267   239301 |   69248   25719  1987256    77.3 | 87.175 % |
598.47/598.73	c |   1324122 |  117267   239301 |   76173   26858  2091511    77.9 | 87.175 % |
598.67/598.94	c |   1325831 |  117258   239278 |   83790   28564  2248883    78.7 | 87.187 % |
599.07/599.31	c |   1328393 |  117233   239217 |   92169   31123  2570507    82.6 | 87.219 % |
599.57/599.86	c |   1332238 |  117233   239217 |  101386   34968  3122490    89.3 | 87.219 % |
600.57/600.80	c |   1338005 |  117226   239200 |  111525   40730  3910330    96.0 | 87.227 % |
602.07/602.39	c |   1346655 |  117226   239200 |  122678   49380  5267615   106.7 | 87.227 % |
605.07/605.35	c |   1359630 |  117226   239200 |  134945   62355  7441622   119.3 | 87.227 % |
610.28/610.51	c |   1379091 |  117218   239180 |  148440   81813 11108880   135.8 | 87.238 % |
619.57/619.80	c |   1408284 |  117218   239180 |  163284  111006 16019536   144.3 | 87.238 % |
636.77/637.01	c |   1452073 |  117215   239173 |  179612  154793 21772045   140.7 | 87.241 % |
670.86/671.11	c |   1517758 |  117177   239077 |  197574  220462 30351299   137.7 | 87.292 % |
712.56/712.82	c |   1616284 |  117177   239077 |  217331   96373  7693019    79.8 | 87.292 % |
776.95/777.29	c |   1764073 |  117169   239057 |  239064  244160 26399220   108.1 | 87.302 % |
885.43/885.78	c |   1985756 |  117154   239022 |  262971  202791 17951875    88.5 | 87.320 % |
1099.70/1100.00	c |   2318281 |  117148   239008 |  289268  255940 12116752    47.3 | 87.327 % |
1366.96/1367.33	c |   2817069 |  117127   238953 |  318195  130765  8589742    65.7 | 87.356 % |
1725.21/1725.69	c |   3565251 |  116939   238501 |  350014  199492 22307883   111.8 | 87.584 % |
1800.00/1800.40	c 
1800.00/1800.40	c *** TERMINATED ***
1800.00/1800.40	s SATISFIABLE
1800.00/1800.40	v -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366 x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348 -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313 x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 x829 -x828 -x827 -x826 x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 x480 -x479 -x478 -x477 -x476 x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1

Verifier Data 

OK	-51

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3723563-1338571587/watcher-3723563-1338571587 -o /tmp/evaluation-result-3723563-1338571587/solver-3723563-1338571587 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723563-1338571587.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 2/174 17539
/proc/meminfo: memFree=27327588/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17539/stat : 17539 (minisat+_script) S 17537 17539 15600 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323286087 9367552 277 33554432000 4194304 5064252 140736220157072 140736220155984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17539/statm: 2287 277 236 213 0 72 0

[startup+0.0782941 s]
/proc/loadavg: 2.01 2.01 1.89 2/174 17539
/proc/meminfo: memFree=27327588/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17539/stat : 17539 (minisat+_script) S 17537 17539 15600 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323286087 9367552 277 33554432000 4194304 5064252 140736220157072 140736220155984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17539/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100337 s]
/proc/loadavg: 2.01 2.01 1.89 2/174 17539
/proc/meminfo: memFree=27327588/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17539/stat : 17539 (minisat+_script) S 17537 17539 15600 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323286087 9367552 277 33554432000 4194304 5064252 140736220157072 140736220155984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17539/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300291 s]
/proc/loadavg: 2.01 2.01 1.89 2/174 17539
/proc/meminfo: memFree=27327588/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17539/stat : 17539 (minisat+_script) S 17537 17539 15600 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323286087 9367552 277 33554432000 4194304 5064252 140736220157072 140736220155984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17539/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.70029 s]
/proc/loadavg: 2.01 2.01 1.89 2/174 17539
/proc/meminfo: memFree=27327588/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17539/stat : 17539 (minisat+_script) S 17537 17539 15600 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323286087 9367552 277 33554432000 4194304 5064252 140736220157072 140736220155984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17539/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50035 s]
/proc/loadavg: 1.93 2.00 1.88 2/176 17544
/proc/meminfo: memFree=27274376/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17539/stat : 17539 (minisat+_script) S 17537 17539 15600 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323286087 9367552 277 33554432000 4194304 5064252 140736220157072 140736220155984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17539/statm: 2287 277 236 213 0 72 0
[pid=17543] ppid=17539 vsize=54744 CPUtime=1.49 cores=1,3,5,7
/proc/17543/stat : 17543 (minisat+_64-bit) R 17539 17539 15600 0 -1 4202496 13466 0 0 0 144 5 0 0 20 0 1 0 323286087 56057856 13421 33554432000 4194304 5276501 140736595096816 140736595095064 4391506 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 13686 13421 118 265 0 13418 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 63892

[startup+3.10035 s]
/proc/loadavg: 1.93 2.00 1.88 3/179 17586
/proc/meminfo: memFree=27247964/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17539/stat : 17539 (minisat+_script) S 17537 17539 15600 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323286087 9367552 277 33554432000 4194304 5064252 140736220157072 140736220155984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17539/statm: 2287 277 236 213 0 72 0
[pid=17543] ppid=17539 vsize=54744 CPUtime=3.08 cores=1,3,5,7
/proc/17543/stat : 17543 (minisat+_64-bit) R 17539 17539 15600 0 -1 4202496 13473 0 0 0 303 5 0 0 20 0 1 0 323286087 56057856 13421 33554432000 4194304 5276501 140736595096816 140736595095064 4391662 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 13686 13421 118 265 0 13418 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 63892

[startup+6.30033 s]
/proc/loadavg: 1.93 2.00 1.88 3/180 17587
/proc/meminfo: memFree=27245828/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17539/stat : 17539 (minisat+_script) S 17537 17539 15600 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323286087 9367552 277 33554432000 4194304 5064252 140736220157072 140736220155984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17539/statm: 2287 277 236 213 0 72 0
[pid=17543] ppid=17539 vsize=54744 CPUtime=6.28 cores=1,3,5,7
/proc/17543/stat : 17543 (minisat+_64-bit) R 17539 17539 15600 0 -1 4202496 13473 0 0 0 623 5 0 0 20 0 1 0 323286087 56057856 13421 33554432000 4194304 5276501 140736595096816 140736595095064 4391563 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 13686 13421 118 265 0 13418 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 63892

[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 1.89 3/180 17587
/proc/meminfo: memFree=27241792/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17539/stat : 17539 (minisat+_script) S 17537 17539 15600 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323286087 9367552 277 33554432000 4194304 5064252 140736220157072 140736220155984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17539/statm: 2287 277 236 213 0 72 0
[pid=17543] ppid=17539 vsize=54744 CPUtime=12.68 cores=1,3,5,7
/proc/17543/stat : 17543 (minisat+_64-bit) R 17539 17539 15600 0 -1 4202496 13473 0 0 0 1263 5 0 0 20 0 1 0 323286087 56057856 13421 33554432000 4194304 5276501 140736595096816 140736595095064 4396688 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 13686 13421 118 265 0 13418 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 63892

[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 1.89 3/180 17587
/proc/meminfo: memFree=27217744/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17539/stat : 17539 (minisat+_script) S 17537 17539 15600 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323286087 9367552 277 33554432000 4194304 5064252 140736220157072 140736220155984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17539/statm: 2287 277 236 213 0 72 0
[pid=17543] ppid=17539 vsize=67128 CPUtime=25.46 cores=1,3,5,7
/proc/17543/stat : 17543 (minisat+_64-bit) R 17539 17539 15600 0 -1 4202496 16788 0 0 0 2541 5 0 0 20 0 1 0 323286087 68739072 16526 33554432000 4194304 5276501 140736595096816 140736595095064 4399813 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 16782 16526 118 265 0 16514 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 76276

[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 1.89 3/180 17587
/proc/meminfo: memFree=27143344/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17539/stat : 17539 (minisat+_script) S 17537 17539 15600 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323286087 9367552 277 33554432000 4194304 5064252 140736220157072 140736220155984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17539/statm: 2287 277 236 213 0 72 0
[pid=17543] ppid=17539 vsize=118488 CPUtime=51.05 cores=1,3,5,7
/proc/17543/stat : 17543 (minisat+_64-bit) R 17539 17539 15600 0 -1 4202496 29537 0 0 0 5094 11 0 0 20 0 1 0 323286087 121331712 29260 33554432000 4194304 5276501 140736595096816 140736595095000 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 29622 29260 118 265 0 29354 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 127636

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.90 3/179 17587
/proc/meminfo: memFree=27066152/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17539/stat : 17539 (minisat+_script) S 17537 17539 15600 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323286087 9367552 277 33554432000 4194304 5064252 140736220157072 140736220155984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17539/statm: 2287 277 236 213 0 72 0
[pid=17543] ppid=17539 vsize=180560 CPUtime=102.2 cores=1,3,5,7
/proc/17543/stat : 17543 (minisat+_64-bit) R 17539 17539 15600 0 -1 4202496 45022 0 0 0 10203 17 0 0 20 0 1 0 323286087 184893440 44727 33554432000 4194304 5276501 140736595096816 140736595095064 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 45140 44727 118 265 0 44872 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 189708

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 17587
/proc/meminfo: memFree=27066460/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17539/stat : 17539 (minisat+_script) S 17537 17539 15600 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323286087 9367552 277 33554432000 4194304 5064252 140736220157072 140736220155984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17539/statm: 2287 277 236 213 0 72 0
[pid=17543] ppid=17539 vsize=180560 CPUtime=162.18 cores=1,3,5,7
/proc/17543/stat : 17543 (minisat+_64-bit) R 17539 17539 15600 0 -1 4202496 45026 0 0 0 16201 17 0 0 20 0 1 0 323286087 184893440 44730 33554432000 4194304 5276501 140736595096816 140736595095064 4394723 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 45140 44730 118 265 0 44872 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 189708

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 17590
/proc/meminfo: memFree=27019788/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17539/stat : 17539 (minisat+_script) S 17537 17539 15600 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323286087 9367552 277 33554432000 4194304 5064252 140736220157072 140736220155984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17539/statm: 2287 277 236 213 0 72 0
[pid=17543] ppid=17539 vsize=224768 CPUtime=222.18 cores=1,3,5,7
/proc/17543/stat : 17543 (minisat+_64-bit) R 17539 17539 15600 0 -1 4202496 56069 0 0 0 22195 23 0 0 20 0 1 0 323286087 230162432 55773 33554432000 4194304 5276501 140736595096816 140736595094808 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 56192 55773 118 265 0 55924 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 233916

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 17590
/proc/meminfo: memFree=27013236/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17539/stat : 17539 (minisat+_script) S 17537 17539 15600 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323286087 9367552 277 33554432000 4194304 5064252 140736220157072 140736220155984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17539/statm: 2287 277 236 213 0 72 0
[pid=17543] ppid=17539 vsize=226088 CPUtime=282.15 cores=1,3,5,7
/proc/17543/stat : 17543 (minisat+_64-bit) R 17539 17539 15600 0 -1 4202496 56408 0 0 0 28192 23 0 0 20 0 1 0 323286087 231514112 56116 33554432000 4194304 5276501 140736595096816 140736595094808 4391568 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 56522 56116 118 265 0 56254 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 235236

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 17591
/proc/meminfo: memFree=26954040/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17539/stat : 17539 (minisat+_script) S 17537 17539 15600 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323286087 9367552 277 33554432000 4194304 5064252 140736220157072 140736220155984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17539/statm: 2287 277 236 213 0 72 0
[pid=17543] ppid=17539 vsize=284208 CPUtime=342.13 cores=1,3,5,7
/proc/17543/stat : 17543 (minisat+_64-bit) R 17539 17539 15600 0 -1 4202496 70919 0 0 0 34184 29 0 0 20 0 1 0 323286087 291028992 70647 33554432000 4194304 5276501 140736595096816 140736595094808 4399992 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 71052 70647 118 265 0 70784 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 293356

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 17591
/proc/meminfo: memFree=26945288/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/17539/statm: 2287 277 236 213 0 72 0
[pid=17543] ppid=17539 vsize=287008 CPUtime=1062 cores=1,3,5,7
/proc/17543/stat : 17543 (minisat+_64-bit) R 17539 17539 15600 0 -1 4202496 71416 0 0 0 106171 29 0 0 20 0 1 0 323286087 293896192 71176 33554432000 4194304 5276501 140736595096816 140736595094952 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 71752 71176 118 265 0 71484 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 296156

[startup+1122.3 s]
/proc/loadavg: 2.08 2.02 1.92 3/179 17596
/proc/meminfo: memFree=26930788/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17539/stat : 17539 (minisat+_script) S 17537 17539 15600 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323286087 9367552 277 33554432000 4194304 5064252 140736220157072 140736220155984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17539/statm: 2287 277 236 213 0 72 0
[pid=17543] ppid=17539 vsize=287008 CPUtime=1121.99 cores=1,3,5,7
/proc/17543/stat : 17543 (minisat+_64-bit) R 17539 17539 15600 0 -1 4202496 71416 0 0 0 112170 29 0 0 20 0 1 0 323286087 293896192 71176 33554432000 4194304 5276501 140736595096816 140736595095064 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 71752 71176 118 265 0 71484 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 296156

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 1.92 3/179 17596
/proc/meminfo: memFree=26930044/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17539/stat : 17539 (minisat+_script) S 17537 17539 15600 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323286087 9367552 277 33554432000 4194304 5064252 140736220157072 140736220155984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17539/statm: 2287 277 236 213 0 72 0
[pid=17543] ppid=17539 vsize=287008 CPUtime=1181.98 cores=1,3,5,7
/proc/17543/stat : 17543 (minisat+_64-bit) R 17539 17539 15600 0 -1 4202496 71467 0 0 0 118169 29 0 0 20 0 1 0 323286087 293896192 71227 33554432000 4194304 5276501 140736595096816 140736595095064 4399854 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 71752 71227 118 265 0 71484 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 296156

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/178 17597
/proc/meminfo: memFree=26930076/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17539/stat : 17539 (minisat+_script) S 17537 17539 15600 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323286087 9367552 277 33554432000 4194304 5064252 140736220157072 140736220155984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17539/statm: 2287 277 236 213 0 72 0
[pid=17543] ppid=17539 vsize=287008 CPUtime=1241.97 cores=1,3,5,7
/proc/17543/stat : 17543 (minisat+_64-bit) R 17539 17539 15600 0 -1 4202496 71468 0 0 0 124168 29 0 0 20 0 1 0 323286087 293896192 71240 33554432000 4194304 5276501 140736595096816 140736595095064 4400448 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 71752 71240 118 265 0 71484 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 296156

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 17598
/proc/meminfo: memFree=26928408/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17539/stat : 17539 (minisat+_script) S 17537 17539 15600 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323286087 9367552 277 33554432000 4194304 5064252 140736220157072 140736220155984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17539/statm: 2287 277 236 213 0 72 0
[pid=17543] ppid=17539 vsize=287008 CPUtime=1301.97 cores=1,3,5,7
/proc/17543/stat : 17543 (minisat+_64-bit) R 17539 17539 15600 0 -1 4202496 71468 0 0 0 130168 29 0 0 20 0 1 0 323286087 293896192 71240 33554432000 4194304 5276501 140736595096816 140736595095064 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 71752 71240 118 265 0 71484 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 296156

[startup+1362.3 s]
/proc/loadavg: 2.10 2.03 1.93 3/179 17598
/proc/meminfo: memFree=26927792/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17539/stat : 17539 (minisat+_script) S 17537 17539 15600 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323286087 9367552 277 33554432000 4194304 5064252 140736220157072 140736220155984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17539/statm: 2287 277 236 213 0 72 0
[pid=17543] ppid=17539 vsize=287008 CPUtime=1361.95 cores=1,3,5,7
/proc/17543/stat : 17543 (minisat+_64-bit) R 17539 17539 15600 0 -1 4202496 71470 0 0 0 136166 29 0 0 20 0 1 0 323286087 293896192 71242 33554432000 4194304 5276501 140736595096816 140736595095064 4394747 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 71752 71242 118 265 0 71484 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 296156

[startup+1422.31 s]
/proc/loadavg: 2.07 2.03 1.94 3/180 17601
/proc/meminfo: memFree=26927104/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17539/stat : 17539 (minisat+_script) S 17537 17539 15600 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323286087 9367552 277 33554432000 4194304 5064252 140736220157072 140736220155984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17539/statm: 2287 277 236 213 0 72 0
[pid=17543] ppid=17539 vsize=287008 CPUtime=1421.95 cores=1,3,5,7
/proc/17543/stat : 17543 (minisat+_64-bit) R 17539 17539 15600 0 -1 4202496 71477 0 0 0 142166 29 0 0 20 0 1 0 323286087 293896192 71249 33554432000 4194304 5276501 140736595096816 140736595095064 4399850 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 71752 71249 118 265 0 71484 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 296156

[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 1.94 3/179 17601
/proc/meminfo: memFree=26926292/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17539/stat : 17539 (minisat+_script) S 17537 17539 15600 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323286087 9367552 277 33554432000 4194304 5064252 140736220157072 140736220155984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17539/statm: 2287 277 236 213 0 72 0
[pid=17543] ppid=17539 vsize=287008 CPUtime=1481.94 cores=1,3,5,7
/proc/17543/stat : 17543 (minisat+_64-bit) R 17539 17539 15600 0 -1 4202496 71531 0 0 0 148164 30 0 0 20 0 1 0 323286087 293896192 71303 33554432000 4194304 5276501 140736595096816 140736595095064 4399913 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 71752 71303 118 265 0 71484 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 296156

[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/179 17602
/proc/meminfo: memFree=26926168/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17539/stat : 17539 (minisat+_script) S 17537 17539 15600 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323286087 9367552 277 33554432000 4194304 5064252 140736220157072 140736220155984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17539/statm: 2287 277 236 213 0 72 0
[pid=17543] ppid=17539 vsize=287008 CPUtime=1541.94 cores=1,3,5,7
/proc/17543/stat : 17543 (minisat+_64-bit) R 17539 17539 15600 0 -1 4202496 71531 0 0 0 154164 30 0 0 20 0 1 0 323286087 293896192 71303 33554432000 4194304 5276501 140736595096816 140736595095064 4394815 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 71752 71303 118 265 0 71484 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 296156

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/179 17602
/proc/meminfo: memFree=26926292/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17539/stat : 17539 (minisat+_script) S 17537 17539 15600 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323286087 9367552 277 33554432000 4194304 5064252 140736220157072 140736220155984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17539/statm: 2287 277 236 213 0 72 0
[pid=17543] ppid=17539 vsize=287008 CPUtime=1601.93 cores=1,3,5,7
/proc/17543/stat : 17543 (minisat+_64-bit) R 17539 17539 15600 0 -1 4202496 71531 0 0 0 160163 30 0 0 20 0 1 0 323286087 293896192 71303 33554432000 4194304 5276501 140736595096816 140736595095064 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 71752 71303 118 265 0 71484 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 296156

[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 1.94 3/179 17602
/proc/meminfo: memFree=26925924/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17539/stat : 17539 (minisat+_script) S 17537 17539 15600 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323286087 9367552 277 33554432000 4194304 5064252 140736220157072 140736220155984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17539/statm: 2287 277 236 213 0 72 0
[pid=17543] ppid=17539 vsize=287008 CPUtime=1661.92 cores=1,3,5,7
/proc/17543/stat : 17543 (minisat+_64-bit) R 17539 17539 15600 0 -1 4202496 71531 0 0 0 166162 30 0 0 20 0 1 0 323286087 293896192 71303 33554432000 4194304 5276501 140736595096816 140736595095064 4394779 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 71752 71303 118 265 0 71484 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 296156

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/179 17602
/proc/meminfo: memFree=26925056/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17539/stat : 17539 (minisat+_script) S 17537 17539 15600 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323286087 9367552 277 33554432000 4194304 5064252 140736220157072 140736220155984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17539/statm: 2287 277 236 213 0 72 0
[pid=17543] ppid=17539 vsize=287008 CPUtime=1721.91 cores=1,3,5,7
/proc/17543/stat : 17543 (minisat+_64-bit) R 17539 17539 15600 0 -1 4202496 71532 0 0 0 172161 30 0 0 20 0 1 0 323286087 293896192 71304 33554432000 4194304 5276501 140736595096816 140736595095064 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 71752 71304 118 265 0 71484 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 296156

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/179 17602
/proc/meminfo: memFree=26924064/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17539/stat : 17539 (minisat+_script) S 17537 17539 15600 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323286087 9367552 277 33554432000 4194304 5064252 140736220157072 140736220155984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17539/statm: 2287 277 236 213 0 72 0
[pid=17543] ppid=17539 vsize=287008 CPUtime=1781.9 cores=1,3,5,7
/proc/17543/stat : 17543 (minisat+_64-bit) R 17539 17539 15600 0 -1 4202496 71532 0 0 0 178160 30 0 0 20 0 1 0 323286087 293896192 71304 33554432000 4194304 5276501 140736595096816 140736595095064 4396848 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 71752 71304 118 265 0 71484 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 296156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 1.94 3/179 17602
/proc/meminfo: memFree=26923940/32873648 swapFree=7120/7120
[pid=17539] ppid=17537 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17539/stat : 17539 (minisat+_script) S 17537 17539 15600 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323286087 9367552 277 33554432000 4194304 5064252 140736220157072 140736220155984 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17539/statm: 2287 277 236 213 0 72 0
[pid=17543] ppid=17539 vsize=287008 CPUtime=1800 cores=1,3,5,7
/proc/17543/stat : 17543 (minisat+_64-bit) R 17539 17539 15600 0 -1 4202496 71532 0 0 0 179970 30 0 0 20 0 1 0 323286087 293896192 71304 33554432000 4194304 5276501 140736595096816 140736595095064 4399918 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/17543/statm: 71752 71304 118 265 0 71484 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 296156

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.01
CPU user time (s): 1799.71
CPU system time (s): 0.302953
CPU usage (%): 99.978
Max. virtual memory (cumulated for all children) (KiB): 296156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.302953
maximum resident set size= 285220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72479
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= 134
involuntary context switches= 1859

runsolver used 2.67359 second user time and 7.35588 second system time

The end

Launcher Data 

Begin job on node114 at 2012-06-01 19:26:27
IDJOB=3723563
IDBENCH=2249
IDSOLVER=2307
FILE ID=node114/3723563-1338571587
RUNJOBID= node114-1338569786-17426
PBS_JOBID= 14635888
Free space on /tmp= 70452 MiB

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

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

MD5SUM BENCH= b8b0df75c0f0dbb89ae9601b9070a445
RANDOM SEED=1296510981

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27328496 kB
Buffers:          869556 kB
Cached:          3703804 kB
SwapCached:         2312 kB
Active:          2165220 kB
Inactive:        2426048 kB
Active(anon):       4244 kB
Inactive(anon):     8448 kB
Active(file):    2160976 kB
Inactive(file):  2417600 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67103580 kB
Dirty:              5096 kB
Writeback:             8 kB
AnonPages:         15384 kB
Mapped:            11024 kB
Shmem:               104 kB
Slab:             814216 kB
SReclaimable:     258576 kB
SUnreclaim:       555640 kB
KernelStack:        1480 kB
PageTables:         3924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     137488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70448 MiB
End job on node114 at 2012-06-01 19:56:28