Trace number 3723565

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB12: minisatp 1.0-2-g022594cSAT (TO)-52 1800.02 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-3.opb
MD5SUM4c9dc9cf5c24873d3237c90ee1682632
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-52
Best CPU time to get the best result obtained on this benchmark1800.02
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 constraints109379
Number of constraints which are clauses109379
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.11	c Converting 109379 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 |  109379   218758 |   36459       0        0    -nan |  0.000 % |
0.00/0.21	c ==============================================================================
0.00/0.21	c Found solution: -40
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 |  193072   415055 |   64357       0        0    -nan |  0.000 % |
0.00/0.36	c |       100 |  192289   413380 |   70792      76      438     5.8 |  0.796 % |
0.00/0.50	c |       250 |  191308   411295 |   77871     154     1089     7.1 |  1.765 % |
0.00/0.69	c |       475 |  189986   408459 |   85659     332     3281     9.9 |  3.095 % |
0.00/0.89	c |       812 |  188252   404641 |   94225     591     5859     9.9 |  4.924 % |
1.20/1.24	c |      1318 |  185282   398055 |  103647     966    10783    11.2 |  8.159 % |
1.69/1.75	c |      2077 |  180838   388205 |  114012    1540    17472    11.3 | 12.913 % |
2.49/2.52	c |      3217 |  174443   373819 |  125413    2405    26326    10.9 | 19.837 % |
3.59/3.63	c |      4926 |  164707   351629 |  137954    3519    39698    11.3 | 30.683 % |
4.89/4.91	c |      7489 |  154828   328889 |  151750    5300    62578    11.8 | 41.851 % |
6.39/6.42	c |     11333 |  144041   303471 |  166925    8104    98119    12.1 | 54.423 % |
8.09/8.12	c |     17099 |  132984   277309 |  183618   12179   161679    13.3 | 67.485 % |
8.19/8.22	c ==============================================================================
8.19/8.22	c Found solution: -44
8.19/8.22	c ---[   0]---> Sorter-cost:    0     Base:
8.19/8.23	c ==================================[MINISAT+]==================================
8.19/8.23	c | Conflicts | Original         | Learnt                           | Progress |
8.19/8.23	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
8.19/8.23	c ==============================================================================
8.19/8.23	c |     17505 |  132774   276903 |   44258   12426   166082    13.4 | 67.485 % |
8.19/8.27	c |     17605 |  132559   276398 |   48683   12498   166524    13.3 | 68.081 % |
8.29/8.31	c |     17756 |  132301   275773 |   53552   12598   167533    13.3 | 68.448 % |
8.29/8.37	c |     17981 |  132121   275325 |   58907   12765   170530    13.4 | 68.613 % |
8.39/8.46	c |     18318 |  131516   273875 |   64798   12946   173382    13.4 | 69.336 % |
8.59/8.61	c |     18824 |  130570   271583 |   71277   13182   177509    13.5 | 70.485 % |
8.69/8.80	c |     19583 |  129488   268963 |   78405   13632   192365    14.1 | 71.795 % |
9.09/9.11	c |     20723 |  127965   265343 |   86246   14345   210384    14.7 | 73.613 % |
9.29/9.33	c |     22431 |  127539   264315 |   94870   15803   245951    15.6 | 74.137 % |
9.69/9.77	c |     24993 |  126180   261005 |  104358   17960   308831    17.2 | 75.820 % |
10.39/10.47	c |     28838 |  123860   255430 |  114793   20928   414440    19.8 | 78.649 % |
11.29/11.31	c |     34604 |  122488   252139 |  126273   26056   673789    25.9 | 80.291 % |
11.59/11.61	c ==============================================================================
11.59/11.61	c Found solution: -45
11.59/11.61	c ---[   0]---> Sorter-cost:    0     Base:
11.59/11.62	c ==================================[MINISAT+]==================================
11.59/11.62	c | Conflicts | Original         | Learnt                           | Progress |
11.59/11.62	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
11.59/11.62	c ==============================================================================
11.59/11.62	c |     36467 |  122265   251619 |   40755   27607   770303    27.9 | 80.291 % |
11.59/11.65	c |     36567 |  122204   251473 |   44830   27696   773116    27.9 | 80.647 % |
11.59/11.66	c |     36717 |  122204   251473 |   49313   27846   776621    27.9 | 80.647 % |
11.69/11.76	c |     36942 |  121852   250600 |   54244   27858   777815    27.9 | 81.088 % |
11.79/11.81	c |     37279 |  121852   250600 |   59669   28195   789954    28.0 | 81.088 % |
11.89/11.91	c |     37785 |  121748   250352 |   65636   28638   812054    28.4 | 81.214 % |
11.99/12.08	c |     38544 |  121496   249750 |   72199   29211   848638    29.1 | 81.521 % |
12.19/12.25	c |     39683 |  121448   249634 |   79419   30280   889536    29.4 | 81.580 % |
12.59/12.62	c |     41393 |  120733   247895 |   87361   31578   963722    30.5 | 82.524 % |
12.99/13.09	c |     43955 |  120380   247032 |   96098   33770  1082814    32.1 | 82.904 % |
13.79/13.83	c |     47799 |  119842   245745 |  105707   36877  1499470    40.7 | 83.553 % |
14.49/14.56	c ==============================================================================
14.49/14.56	c Found solution: -46
14.49/14.56	c ---[   0]---> Sorter-cost:    0     Base:
14.49/14.58	c ==================================[MINISAT+]==================================
14.49/14.58	c | Conflicts | Original         | Learnt                           | Progress |
14.49/14.58	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
14.49/14.58	c ==============================================================================
14.49/14.58	c |     51764 |  119659   245192 |   39886   40490  1860760    46.0 | 83.553 % |
14.59/14.61	c |     51864 |  119659   245192 |   43874   40590  1864166    45.9 | 83.788 % |
14.59/14.63	c |     52014 |  119659   245192 |   48262   40740  1877405    46.1 | 83.788 % |
14.59/14.67	c |     52239 |  119659   245192 |   53088   40965  1888930    46.1 | 83.788 % |
14.69/14.73	c |     52576 |  119659   245192 |   58397   41302  1905819    46.1 | 83.788 % |
14.79/14.81	c |     53083 |  119655   245182 |   64236   41749  1927710    46.2 | 83.793 % |
14.99/15.00	c |     53842 |  119580   244997 |   70660   42290  1973355    46.7 | 83.890 % |
15.19/15.27	c |     54981 |  119458   244700 |   77726   43219  2051809    47.5 | 84.040 % |
15.49/15.58	c |     56689 |  119458   244700 |   85499   44927  2236839    49.8 | 84.040 % |
16.19/16.21	c |     59252 |  119404   244571 |   94049   47421  2808971    59.2 | 84.105 % |
17.09/17.13	c |     63096 |  119161   244006 |  103454   50906  3100567    60.9 | 84.387 % |
18.49/18.53	c |     68862 |  118845   243224 |  113799   56090  3526582    62.9 | 84.789 % |
19.29/19.37	c ==============================================================================
19.29/19.37	c Found solution: -47
19.29/19.37	c ---[   0]---> Sorter-cost:    0     Base:
19.39/19.40	c ==================================[MINISAT+]==================================
19.39/19.40	c | Conflicts | Original         | Learnt                           | Progress |
19.39/19.40	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
19.39/19.40	c ==============================================================================
19.39/19.40	c |     71971 |  118726   242949 |   39575   58781  3929986    66.9 | 84.789 % |
19.39/19.42	c |     72071 |  118726   242949 |   43532   58881  3931301    66.8 | 84.976 % |
19.39/19.45	c |     72221 |  118726   242949 |   47885   59031  3946705    66.9 | 84.976 % |
19.49/19.51	c |     72447 |  118726   242949 |   52674   59257  3957713    66.8 | 84.976 % |
19.59/19.62	c |     72784 |  118708   242907 |   57941   59426  3985082    67.1 | 84.997 % |
19.69/19.72	c |     73290 |  118708   242907 |   63735   59932  4026276    67.2 | 84.997 % |
19.89/19.99	c |     74049 |  118571   242578 |   70109   60551  4081801    67.4 | 85.161 % |
20.19/20.22	c |     75188 |  118571   242578 |   77120   61690  4197719    68.0 | 85.161 % |
20.59/20.64	c |     76897 |  118555   242540 |   84832   63386  4368217    68.9 | 85.181 % |
21.29/21.33	c |     79459 |  118550   242529 |   93315   65929  4789146    72.6 | 85.186 % |
22.38/22.44	c |     83303 |  118452   242306 |  102647   69541  5340885    76.8 | 85.294 % |
24.08/24.13	c |     89069 |  118385   242127 |  112912   75249  6196238    82.3 | 85.392 % |
26.98/27.00	c |     97718 |  118186   241635 |  124203   83001  7371730    88.8 | 85.647 % |
31.28/31.35	c |    110692 |  118017   241228 |  136623   95523  9038104    94.6 | 85.855 % |
38.98/39.07	c |    130155 |  117908   240973 |  150285  114592 12241181   106.8 | 85.982 % |
48.27/48.35	c ==============================================================================
48.27/48.35	c Found solution: -48
48.27/48.35	c ---[   0]---> Sorter-cost:    0     Base:
48.38/48.44	c ==================================[MINISAT+]==================================
48.38/48.44	c | Conflicts | Original         | Learnt                           | Progress |
48.38/48.44	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
48.38/48.44	c ==============================================================================
48.38/48.44	c |    151861 |  117895   240921 |   39298  135668 15662019   115.4 | 85.982 % |
48.48/48.59	c |    151962 |  117895   240921 |   43227   21941  2171164    99.0 | 86.000 % |
48.57/48.62	c |    152112 |  117857   240821 |   47550   22038  2175652    98.7 | 86.053 % |
48.57/48.66	c |    152337 |  117854   240814 |   52305   22260  2189057    98.3 | 86.056 % |
48.67/48.71	c |    152674 |  117854   240814 |   57536   22597  2207415    97.7 | 86.056 % |
48.77/48.80	c |    153180 |  117849   240803 |   63289   23102  2236005    96.8 | 86.061 % |
48.87/48.92	c |    153939 |  117839   240779 |   69618   23857  2303441    96.6 | 86.074 % |
48.97/49.09	c |    155079 |  117839   240779 |   76580   24997  2410710    96.4 | 86.074 % |
49.27/49.35	c |    156787 |  117839   240779 |   84238   26705  2592132    97.1 | 86.074 % |
49.66/49.76	c |    159349 |  117839   240779 |   92662   29267  2892964    98.8 | 86.074 % |
50.36/50.45	c |    163193 |  117831   240759 |  101928   33107  3496225   105.6 | 86.084 % |
51.46/51.59	c |    168959 |  117819   240731 |  112121   38872  4437882   114.2 | 86.098 % |
53.56/53.61	c |    177608 |  117742   240544 |  123333   47510  5884147   123.9 | 86.192 % |
56.56/56.60	c |    190583 |  117742   240544 |  135667   60485  7913680   130.8 | 86.192 % |
62.15/62.20	c |    210044 |  117672   240378 |  149234   79891 10977779   137.4 | 86.276 % |
63.15/63.21	c ==============================================================================
63.15/63.21	c Found solution: -49
63.15/63.21	c ---[   0]---> Sorter-cost:    0     Base:
63.15/63.29	c ==================================[MINISAT+]==================================
63.15/63.29	c | Conflicts | Original         | Learnt                           | Progress |
63.15/63.29	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
63.15/63.29	c ==============================================================================
63.15/63.29	c |    213734 |  117694   240442 |   39231   83581 11484044   137.4 | 86.276 % |
63.35/63.40	c |    213834 |  117655   240341 |   43154   83646 11495859   137.4 | 86.313 % |
63.45/63.50	c |    213984 |  117621   240251 |   47469   83792 11499506   137.2 | 86.360 % |
63.45/63.59	c |    214209 |  117621   240251 |   52216   84017 11523972   137.2 | 86.360 % |
63.65/63.77	c |    214546 |  117590   240178 |   57438   84351 11552177   137.0 | 86.397 % |
63.86/63.93	c |    215052 |  117590   240178 |   63181   84857 11616047   136.9 | 86.397 % |
64.05/64.18	c |    215811 |  117590   240178 |   69500   85616 11744685   137.2 | 86.397 % |
64.45/64.50	c |    216950 |  117590   240178 |   76450   86755 11887026   137.0 | 86.397 % |
64.86/65.00	c |    218658 |  117590   240178 |   84095   88463 12131766   137.1 | 86.397 % |
65.75/65.86	c |    221220 |  117590   240178 |   92504   91025 12497186   137.3 | 86.397 % |
67.06/67.16	c |    225065 |  117585   240167 |  101755   94844 12890315   135.9 | 86.402 % |
68.95/69.05	c |    230831 |  117585   240167 |  111930  100610 13834439   137.5 | 86.402 % |
71.75/71.86	c |    239480 |  117583   240163 |  123123  109258 14935108   136.7 | 86.404 % |
76.85/76.98	c |    252455 |  117583   240163 |  135436  122233 17352313   142.0 | 86.404 % |
77.45/77.54	c ==============================================================================
77.45/77.54	c Found solution: -50
77.45/77.54	c ---[   0]---> Sorter-cost:    0     Base:
77.55/77.65	c ==================================[MINISAT+]==================================
77.55/77.65	c | Conflicts | Original         | Learnt                           | Progress |
77.55/77.65	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
77.55/77.65	c ==============================================================================
77.55/77.65	c |    253792 |  117572   240102 |   39190  119599 16637737   139.1 | 86.404 % |
77.65/77.78	c |    253892 |  117558   240068 |   43109   23761  2482052   104.5 | 86.438 % |
77.75/77.81	c |    254042 |  117558   240068 |   47419   23911  2499315   104.5 | 86.438 % |
77.75/77.84	c |    254267 |  117558   240068 |   52161   24136  2523332   104.5 | 86.438 % |
77.85/77.91	c |    254604 |  117548   240044 |   57378   24465  2543391   104.0 | 86.450 % |
77.85/77.98	c |    255110 |  117548   240044 |   63115   24971  2594898   103.9 | 86.450 % |
78.06/78.11	c |    255869 |  117504   239938 |   69427   25727  2662042   103.5 | 86.504 % |
78.16/78.28	c |    257008 |  117504   239938 |   76370   26866  2791978   103.9 | 86.504 % |
78.45/78.58	c |    258717 |  117484   239888 |   84007   28572  3035449   106.2 | 86.530 % |
78.85/78.99	c |    261280 |  117452   239806 |   92407   31129  3325350   106.8 | 86.574 % |
79.54/79.65	c |    265126 |  117452   239806 |  101648   34975  3930361   112.4 | 86.574 % |
80.64/80.72	c |    270892 |  117452   239806 |  111813   40741  4759521   116.8 | 86.574 % |
82.45/82.58	c |    279542 |  117452   239806 |  122995   49391  5995294   121.4 | 86.574 % |
85.85/85.96	c |    292516 |  117449   239799 |  135294   62364  8275967   132.7 | 86.577 % |
91.43/91.58	c |    311977 |  117449   239799 |  148823   81825 11893942   145.4 | 86.577 % |
100.73/100.81	c |    341170 |  117443   239783 |  163706  111007 16785526   151.2 | 86.586 % |
118.73/118.84	c |    384959 |  117392   239660 |  180076  154585 24556339   158.9 | 86.649 % |
154.80/154.99	c |    450643 |  117377   239621 |  198084  220266 33837553   153.6 | 86.670 % |
199.59/199.74	c |    549169 |  117346   239546 |  217893   90333 17054818   188.8 | 86.708 % |
269.39/269.51	c |    696958 |  117335   239521 |  239682  238109 43347442   182.0 | 86.720 % |
361.42/361.63	c |    918641 |  117097   238949 |  263650  195106 31968381   163.9 | 87.005 % |
527.69/527.95	c |   1251166 |  116752   238121 |  290015  239968 36023633   150.1 | 87.422 % |
692.36/692.68	c ==============================================================================
692.36/692.68	c Found solution: -51
692.36/692.68	c ---[   0]---> Sorter-cost:    0     Base:
692.56/692.88	c ==================================[MINISAT+]==================================
692.56/692.88	c | Conflicts | Original         | Learnt                           | Progress |
692.56/692.88	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
692.56/692.88	c ==============================================================================
692.56/692.88	c |   1556164 |  116772   238181 |   38924  233437 34463009   147.6 | 87.422 % |
693.06/693.38	c |   1556266 |  116772   238181 |   42816   27871  1530773    54.9 | 87.424 % |
693.16/693.40	c |   1556417 |  116772   238181 |   47098   28022  1538860    54.9 | 87.424 % |
693.16/693.43	c |   1556643 |  116772   238181 |   51807   28248  1555993    55.1 | 87.424 % |
693.16/693.47	c |   1556980 |  116772   238181 |   56988   28585  1577626    55.2 | 87.424 % |
693.26/693.54	c |   1557486 |  116765   238162 |   62687   29088  1608508    55.3 | 87.434 % |
693.36/693.64	c |   1558245 |  116752   238125 |   68956   29843  1689534    56.6 | 87.455 % |
693.46/693.74	c |   1559384 |  116747   238114 |   75851   30980  1719139    55.5 | 87.461 % |
693.66/693.94	c |   1561093 |  116747   238114 |   83437   32689  1849405    56.6 | 87.461 % |
693.97/694.24	c |   1563655 |  116747   238114 |   91780   35251  2096574    59.5 | 87.461 % |
694.46/694.76	c |   1567499 |  116739   238094 |  100958   39091  2465512    63.1 | 87.471 % |
695.46/695.78	c |   1573265 |  116739   238094 |  111054   44857  3254342    72.5 | 87.471 % |
696.96/697.29	c |   1581915 |  116739   238094 |  122160   53507  4404467    82.3 | 87.471 % |
699.56/699.85	c |   1594889 |  116739   238094 |  134376   66481  6071667    91.3 | 87.471 % |
704.87/705.15	c |   1614350 |  116739   238094 |  147813   85942  9298473   108.2 | 87.471 % |
714.16/714.48	c |   1643543 |  116682   237959 |  162595  115031 13984266   121.6 | 87.539 % |
730.26/730.57	c |   1687332 |  116678   237949 |  178854  158817 19381065   122.0 | 87.544 % |
767.75/768.05	c |   1753017 |  116678   237949 |  196740  224502 31160031   138.8 | 87.544 % |
802.75/803.07	c |   1851543 |  116612   237794 |  216414  102827 12437778   121.0 | 87.623 % |
883.04/883.34	c |   1999333 |  116533   237598 |  238055  250532 36503974   145.7 | 87.725 % |
990.22/990.57	c |   2221016 |  116533   237598 |  261861  210700 26517362   125.9 | 87.725 % |
1138.50/1138.85	c |   2553541 |  116521   237570 |  288047  259451 37336499   143.9 | 87.739 % |
1166.29/1166.63	c ==============================================================================
1166.29/1166.63	c Found solution: -52
1166.29/1166.63	c ---[   0]---> Sorter-cost:    0     Base:
1166.49/1166.88	c ==================================[MINISAT+]==================================
1166.49/1166.88	c | Conflicts | Original         | Learnt                           | Progress |
1166.49/1166.88	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1166.49/1166.88	c ==============================================================================
1166.49/1166.88	c |   2601861 |  116496   237493 |   38832  307586 42383913   137.8 | 87.739 % |
1167.39/1167.78	c |   2601961 |  116496   237493 |   42715   31091  1492783    48.0 | 87.771 % |
1167.39/1167.79	c |   2602111 |  116496   237493 |   46986   31241  1497672    47.9 | 87.771 % |
1167.49/1167.82	c |   2602336 |  116496   237493 |   51685   31466  1509736    48.0 | 87.771 % |
1167.49/1167.86	c |   2602673 |  116496   237493 |   56853   31803  1526936    48.0 | 87.771 % |
1167.59/1167.92	c |   2603179 |  116496   237493 |   62539   32309  1557580    48.2 | 87.771 % |
1167.69/1168.01	c |   2603939 |  116496   237493 |   68793   33069  1611681    48.7 | 87.771 % |
1167.79/1168.15	c |   2605079 |  116496   237493 |   75672   34209  1705545    49.9 | 87.771 % |
1168.00/1168.37	c |   2606787 |  116496   237493 |   83239   35917  1880420    52.4 | 87.771 % |
1168.39/1168.72	c |   2609349 |  116496   237493 |   91563   38479  2144228    55.7 | 87.771 % |
1168.89/1169.22	c |   2613193 |  116496   237493 |  100720   42323  2518749    59.5 | 87.771 % |
1169.69/1170.06	c |   2618959 |  116496   237493 |  110792   48089  3041229    63.2 | 87.771 % |
1171.20/1171.55	c |   2627608 |  116496   237493 |  121871   56738  4066026    71.7 | 87.771 % |
1173.79/1174.14	c |   2640583 |  116496   237493 |  134058   69713  5721315    82.1 | 87.771 % |
1178.29/1178.67	c |   2660044 |  116496   237493 |  147464   89174  8185311    91.8 | 87.771 % |
1187.49/1187.82	c |   2689238 |  116496   237493 |  162210  118368 13507917   114.1 | 87.771 % |
1205.59/1205.97	c |   2733027 |  116496   237493 |  178431  162157 19297014   119.0 | 87.771 % |
1238.68/1239.04	c |   2798712 |  116496   237493 |  196275  227842 28764526   126.2 | 87.771 % |
1270.08/1270.44	c |   2897238 |  116493   237486 |  215902  106617 11367401   106.6 | 87.775 % |
1345.56/1345.95	c |   3045027 |  116490   237479 |  237492  254405 28878062   113.5 | 87.778 % |
1444.95/1445.35	c |   3266711 |  116451   237382 |  261242  218821 34649282   158.3 | 87.829 % |
1612.42/1612.88	c |   3599236 |  116320   237069 |  287366  273805 37841274   138.2 | 87.983 % |
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	-52

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3723565-1338571531/watcher-3723565-1338571531 -o /tmp/evaluation-result-3723565-1338571531/solver-3723565-1338571531 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723565-1338571531.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.00 1.99 1.88 4/177 8011
/proc/meminfo: memFree=27359816/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 2287 276 236 213 0 72 0

[startup+0.102196 s]
/proc/loadavg: 2.00 1.99 1.88 4/177 8011
/proc/meminfo: memFree=27359816/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 2287 276 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.20028 s]
/proc/loadavg: 2.00 1.99 1.88 4/177 8011
/proc/meminfo: memFree=27359816/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 2287 276 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300328 s]
/proc/loadavg: 2.00 1.99 1.88 4/177 8011
/proc/meminfo: memFree=27359816/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 2287 276 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700261 s]
/proc/loadavg: 2.00 1.99 1.88 4/177 8011
/proc/meminfo: memFree=27359816/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 2287 276 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50035 s]
/proc/loadavg: 2.00 1.99 1.88 3/179 8016
/proc/meminfo: memFree=27305852/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 2287 276 236 213 0 72 0
[pid=8015] ppid=8011 vsize=54584 CPUtime=1.49 cores=1,3,5,7
/proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 13432 0 0 0 143 6 0 0 20 0 1 0 323278854 55894016 13388 33554432000 4194304 5276501 140733202450960 140733202449208 4411594 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8015/statm: 13646 13388 118 265 0 13378 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 63732

[startup+3.1003 s]
/proc/loadavg: 2.00 1.99 1.88 3/179 8016
/proc/meminfo: memFree=27304860/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 2287 276 236 213 0 72 0
[pid=8015] ppid=8011 vsize=54584 CPUtime=3.09 cores=1,3,5,7
/proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 13432 0 0 0 303 6 0 0 20 0 1 0 323278854 55894016 13388 33554432000 4194304 5276501 140733202450960 140733202449208 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8015/statm: 13646 13388 118 265 0 13378 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63732

[startup+6.3003 s]
/proc/loadavg: 2.00 1.99 1.88 3/179 8016
/proc/meminfo: memFree=27303292/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 2287 276 236 213 0 72 0
[pid=8015] ppid=8011 vsize=54584 CPUtime=6.29 cores=1,3,5,7
/proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 13432 0 0 0 623 6 0 0 20 0 1 0 323278854 55894016 13388 33554432000 4194304 5276501 140733202450960 140733202449208 4391568 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8015/statm: 13646 13388 118 265 0 13378 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63732

[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 1.88 3/179 8016
/proc/meminfo: memFree=27289132/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 2287 276 236 213 0 72 0
[pid=8015] ppid=8011 vsize=54584 CPUtime=12.69 cores=1,3,5,7
/proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 13432 0 0 0 1263 6 0 0 20 0 1 0 323278854 55894016 13388 33554432000 4194304 5276501 140733202450960 140733202449208 4399290 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8015/statm: 13646 13388 118 265 0 13378 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63732

[startup+25.5004 s]
/proc/loadavg: 2.00 1.99 1.88 3/179 8016
/proc/meminfo: memFree=27274296/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 2287 276 236 213 0 72 0
[pid=8015] ppid=8011 vsize=61816 CPUtime=25.48 cores=1,3,5,7
/proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 15233 0 0 0 2542 6 0 0 20 0 1 0 323278854 63299584 15189 33554432000 4194304 5276501 140733202450960 140733202449368 4391506 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8015/statm: 15454 15189 118 265 0 15186 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 70964

[startup+51.1003 s]
/proc/loadavg: 2.07 2.00 1.89 3/179 8016
/proc/meminfo: memFree=27226408/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 2287 276 236 213 0 72 0
[pid=8015] ppid=8011 vsize=102340 CPUtime=51.06 cores=1,3,5,7
/proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 25445 0 0 0 5098 8 0 0 20 0 1 0 323278854 104796160 25327 33554432000 4194304 5276501 140733202450960 140733202449208 4390362 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8015/statm: 25585 25327 118 265 0 25317 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 111488

[startup+102.3 s]
/proc/loadavg: 2.03 2.00 1.90 3/180 8017
/proc/meminfo: memFree=27208588/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 2287 276 236 213 0 72 0
[pid=8015] ppid=8011 vsize=111304 CPUtime=102.23 cores=1,3,5,7
/proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 27817 0 0 0 10214 9 0 0 20 0 1 0 323278854 113975296 27555 33554432000 4194304 5276501 140733202450960 140733202449208 4391568 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8015/statm: 27826 27555 118 265 0 27558 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 120452

[startup+162.3 s]
/proc/loadavg: 2.06 2.01 1.91 3/179 8018
/proc/meminfo: memFree=27129460/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 2287 276 236 213 0 72 0
[pid=8015] ppid=8011 vsize=192584 CPUtime=162.2 cores=1,3,5,7
/proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 47925 0 0 0 16201 19 0 0 20 0 1 0 323278854 197206016 47672 33554432000 4194304 5276501 140733202450960 140733202448952 4399315 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8015/statm: 48146 47672 118 265 0 47878 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 201732

[startup+222.307 s]
/proc/loadavg: 2.02 2.01 1.91 3/179 8018
/proc/meminfo: memFree=27112904/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 2287 276 236 213 0 72 0
[pid=8015] ppid=8011 vsize=207664 CPUtime=222.19 cores=1,3,5,7
/proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 51735 0 0 0 22198 21 0 0 20 0 1 0 323278854 212647936 51482 33554432000 4194304 5276501 140733202450960 140733202449208 4399992 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8015/statm: 51916 51482 118 265 0 51648 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 216812

[startup+282.3 s]
/proc/loadavg: 2.23 2.05 1.93 3/180 8063
/proc/meminfo: memFree=27099256/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 2287 276 236 213 0 72 0
[pid=8015] ppid=8011 vsize=240224 CPUtime=282.16 cores=1,3,5,7
/proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 59846 0 0 0 28191 25 0 0 20 0 1 0 323278854 245989376 59611 33554432000 4194304 5276501 140733202450960 140733202448552 4399800 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8015/statm: 60056 59611 118 265 0 59788 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 249372

[startup+342.3 s]
/proc/loadavg: 2.08 2.04 1.93 3/179 8063
/proc/meminfo: memFree=26997024/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 2287 276 236 213 0 72 0
[pid=8015] ppid=8011 vsize=267328 CPUtime=342.13 cores=1,3,5,7
/proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 66721 0 0 0 34184 29 0 0 20 0 1 0 323278854 273743872 66526 33554432000 4194304 5276501 140733202450960 140733202448952 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8015/statm: 66832 66526 118 265 0 66564 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 276476

[startup+402.3 s]
/proc/loadavg: 2.03 2.03 1.93 3/179 8063
/proc/meminfo: memFree=26967336/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/8011/statm: 2287 276 236 213 0 72 0
[pid=8015] ppid=8011 vsize=274160 CPUtime=1122 cores=1,3,5,7
/proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 68209 0 0 0 112170 30 0 0 20 0 1 0 323278854 280739840 68023 33554432000 4194304 5276501 140733202450960 140733202449208 4399944 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8015/statm: 68540 68023 118 265 0 68272 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 283308

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 8069
/proc/meminfo: memFree=26950480/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 2287 276 236 213 0 72 0
[pid=8015] ppid=8011 vsize=274160 CPUtime=1181.99 cores=1,3,5,7
/proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 68209 0 0 0 118169 30 0 0 20 0 1 0 323278854 280739840 68023 33554432000 4194304 5276501 140733202450960 140733202449208 4394803 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8015/statm: 68540 68023 118 265 0 68272 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 283308

[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/178 8069
/proc/meminfo: memFree=26922756/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 2287 276 236 213 0 72 0
[pid=8015] ppid=8011 vsize=274160 CPUtime=1241.98 cores=1,3,5,7
/proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 68209 0 0 0 124168 30 0 0 20 0 1 0 323278854 280739840 68023 33554432000 4194304 5276501 140733202450960 140733202449208 4399836 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8015/statm: 68540 68023 118 265 0 68272 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 283308

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 8070
/proc/meminfo: memFree=26921632/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 2287 276 236 213 0 72 0
[pid=8015] ppid=8011 vsize=274160 CPUtime=1301.97 cores=1,3,5,7
/proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 68209 0 0 0 130167 30 0 0 20 0 1 0 323278854 280739840 68023 33554432000 4194304 5276501 140733202450960 140733202449208 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8015/statm: 68540 68023 118 265 0 68272 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 283308

[startup+1362.3 s]
/proc/loadavg: 2.09 2.03 1.95 3/179 8070
/proc/meminfo: memFree=26894860/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 2287 276 236 213 0 72 0
[pid=8015] ppid=8011 vsize=274160 CPUtime=1361.96 cores=1,3,5,7
/proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 68209 0 0 0 136166 30 0 0 20 0 1 0 323278854 280739840 68023 33554432000 4194304 5276501 140733202450960 140733202449208 4400112 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8015/statm: 68540 68023 118 265 0 68272 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 283308

[startup+1422.3 s]
/proc/loadavg: 2.12 2.05 1.96 3/179 8071
/proc/meminfo: memFree=26894616/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 2287 276 236 213 0 72 0
[pid=8015] ppid=8011 vsize=274160 CPUtime=1421.96 cores=1,3,5,7
/proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 68209 0 0 0 142166 30 0 0 20 0 1 0 323278854 280739840 68023 33554432000 4194304 5276501 140733202450960 140733202449208 4390364 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8015/statm: 68540 68023 118 265 0 68272 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 283308

[startup+1482.3 s]
/proc/loadavg: 2.14 2.07 1.97 3/180 8074
/proc/meminfo: memFree=26894104/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 2287 276 236 213 0 72 0
[pid=8015] ppid=8011 vsize=274160 CPUtime=1481.94 cores=1,3,5,7
/proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 68209 0 0 0 148164 30 0 0 20 0 1 0 323278854 280739840 68023 33554432000 4194304 5276501 140733202450960 140733202449208 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8015/statm: 68540 68023 118 265 0 68272 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 283308

[startup+1542.31 s]
/proc/loadavg: 2.08 2.07 1.97 3/179 8074
/proc/meminfo: memFree=26894052/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 2287 276 236 213 0 72 0
[pid=8015] ppid=8011 vsize=274160 CPUtime=1541.94 cores=1,3,5,7
/proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 68209 0 0 0 154164 30 0 0 20 0 1 0 323278854 280739840 68023 33554432000 4194304 5276501 140733202450960 140733202449208 4400020 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8015/statm: 68540 68023 118 265 0 68272 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 283308

[startup+1602.3 s]
/proc/loadavg: 2.07 2.07 1.98 3/179 8074
/proc/meminfo: memFree=26892676/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 2287 276 236 213 0 72 0
[pid=8015] ppid=8011 vsize=274160 CPUtime=1601.93 cores=1,3,5,7
/proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 68210 0 0 0 160163 30 0 0 20 0 1 0 323278854 280739840 68024 33554432000 4194304 5276501 140733202450960 140733202449208 4399330 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8015/statm: 68540 68024 118 265 0 68272 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 283308

[startup+1662.3 s]
/proc/loadavg: 2.10 2.08 1.99 3/179 8074
/proc/meminfo: memFree=26890572/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 2287 276 236 213 0 72 0
[pid=8015] ppid=8011 vsize=274160 CPUtime=1661.92 cores=1,3,5,7
/proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 68210 0 0 0 166162 30 0 0 20 0 1 0 323278854 280739840 68024 33554432000 4194304 5276501 140733202450960 140733202449208 4399804 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8015/statm: 68540 68024 118 265 0 68272 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 283308

[startup+1722.3 s]
/proc/loadavg: 2.10 2.09 2.00 3/179 8075
/proc/meminfo: memFree=26889580/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 2287 276 236 213 0 72 0
[pid=8015] ppid=8011 vsize=274160 CPUtime=1721.91 cores=1,3,5,7
/proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 68210 0 0 0 172161 30 0 0 20 0 1 0 323278854 280739840 68024 33554432000 4194304 5276501 140733202450960 140733202449208 4400020 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8015/statm: 68540 68024 118 265 0 68272 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 283308

[startup+1782.3 s]
/proc/loadavg: 2.04 2.07 2.00 3/179 8075
/proc/meminfo: memFree=26889456/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 2287 276 236 213 0 72 0
[pid=8015] ppid=8011 vsize=274160 CPUtime=1781.9 cores=1,3,5,7
/proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 68210 0 0 0 178160 30 0 0 20 0 1 0 323278854 280739840 68024 33554432000 4194304 5276501 140733202450960 140733202449208 4399816 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8015/statm: 68540 68024 118 265 0 68272 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 283308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.09 2.08 2.00 3/179 8075
/proc/meminfo: memFree=26889456/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 2287 276 236 213 0 72 0
[pid=8015] ppid=8011 vsize=274376 CPUtime=1800 cores=1,3,5,7
/proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 68262 0 0 0 179970 30 0 0 20 0 1 0 323278854 280961024 68076 33554432000 4194304 5276501 140733202450960 140733202449192 4399904 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8015/statm: 68594 68076 118 265 0 68326 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 283524

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.4 s]
/proc/loadavg: 2.09 2.08 2.00 3/179 8075
/proc/meminfo: memFree=26889456/32873660 swapFree=7120/7120
[pid=8011] ppid=8009 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8011/stat : 8011 (minisat+_script) S 8009 8011 5366 0 -1 4202496 382 555 0 0 0 0 0 0 20 0 1 0 323278854 9367552 276 33554432000 4194304 5064252 140736890989568 140736890988480 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/8011/statm: 2287 276 236 213 0 72 0
[pid=8015] ppid=8011 vsize=274376 CPUtime=1800 cores=1,3,5,7
/proc/8015/stat : 8015 (minisat+_64-bit) R 8011 8011 5366 0 -1 4202496 68262 0 0 0 179970 30 0 0 20 0 1 0 323278854 280961024 68076 33554432000 4194304 5276501 140733202450960 140733202449192 4399904 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0
/proc/8015/statm: 68594 68076 118 265 0 68326 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 283524

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.02
CPU user time (s): 1799.71
CPU system time (s): 0.310952
CPU usage (%): 99.9783
Max. virtual memory (cumulated for all children) (KiB): 283524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.310952
maximum resident set size= 272308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69212
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= 140
involuntary context switches= 1853

runsolver used 2.73258 second user time and 7.32888 second system time

The end

Launcher Data

Begin job on node117 at 2012-06-01 19:25:31
IDJOB=3723565
IDBENCH=2245
IDSOLVER=2307
FILE ID=node117/3723565-1338571531
RUNJOBID= node117-1338569730-7857
PBS_JOBID= 14635867
Free space on /tmp= 69128 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-3.opb
COMMAND LINE= minisat+_script BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723565-1338571531/watcher-3723565-1338571531 -o /tmp/evaluation-result-3723565-1338571531/solver-3723565-1338571531 -C 1800 -W 1900 -M 15500  minisat+_script HOME/instance-3723565-1338571531.opb

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

MD5SUM BENCH= 4c9dc9cf5c24873d3237c90ee1682632
RANDOM SEED=1023530705

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
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:       32873660 kB
MemFree:        27362312 kB
Buffers:          576500 kB
Cached:          3989340 kB
SwapCached:          776 kB
Active:          2228212 kB
Inactive:        2372840 kB
Active(anon):      20864 kB
Inactive(anon):     9984 kB
Active(file):    2207348 kB
Inactive(file):  2362856 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67107012 kB
Dirty:              8168 kB
Writeback:             0 kB
AnonPages:        130884 kB
Mapped:            12748 kB
Shmem:                80 kB
Slab:             774288 kB
SReclaimable:     218916 kB
SUnreclaim:       555372 kB
KernelStack:        1488 kB
PageTables:         3600 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     144208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     96256 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= 69124 MiB
End job on node117 at 2012-06-01 19:55:32