Trace number 3723560

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)-50 1800.06 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb
MD5SUM604c6b786f56b09c749bc0d6b7c8f76d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-51
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94227
Number of constraints which are clauses94227
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 1272
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 1272
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 1272
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.10	c Converting 94227 PB-constraints to clauses...
0.00/0.10	c   -- Unit propagations: (none)
0.00/0.11	c   -- Detecting intervals from adjacent constraints: (none)
0.00/0.11	c   -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.00/0.18	c ==================================[MINISAT+]==================================
0.00/0.18	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.18	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.18	c ==============================================================================
0.00/0.18	c |         0 |   94227   188454 |   31409       0        0    -nan |  0.000 % |
0.00/0.18	c ==============================================================================
0.00/0.18	c Found solution: -36
0.00/0.18	c ---[   0]---> Sorter-cost:70300     Base:
0.00/0.22	c ==================================[MINISAT+]==================================
0.00/0.22	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.22	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.22	c ==============================================================================
0.00/0.22	c |         0 |  169273   364509 |   56424       0        0    -nan |  0.000 % |
0.00/0.30	c |       100 |  168899   363733 |   62066      65      591     9.1 |  0.407 % |
0.00/0.39	c |       250 |  168502   362906 |   68273     198     1311     6.6 |  0.828 % |
0.00/0.53	c |       475 |  167076   359832 |   75100     351     2932     8.4 |  2.494 % |
0.00/0.75	c |       812 |  165133   355593 |   82610     631     5067     8.0 |  4.688 % |
0.99/1.06	c |      1319 |  162313   349369 |   90871     972     8957     9.2 |  8.080 % |
1.49/1.54	c |      2078 |  157982   339700 |   99958    1468    15263    10.4 | 13.235 % |
1.59/1.66	c ==============================================================================
1.59/1.66	c Found solution: -39
1.59/1.66	c ---[   0]---> Sorter-cost:    0     Base:
1.59/1.67	c ==================================[MINISAT+]==================================
1.59/1.67	c | Conflicts | Original         | Learnt                           | Progress |
1.59/1.67	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.59/1.67	c ==============================================================================
1.59/1.67	c |      2296 |  157388   338635 |   52462    1645    17452    10.6 | 13.235 % |
1.69/1.73	c |      2397 |  157059   337878 |   57708    1732    17985    10.4 | 14.608 % |
1.79/1.84	c |      2548 |  155840   335129 |   63479    1821    18984    10.4 | 16.160 % |
1.99/2.01	c |      2773 |  154165   331306 |   69826    1966    20681    10.5 | 18.177 % |
2.19/2.27	c |      3110 |  151458   325155 |   76809    2174    23582    10.8 | 21.604 % |
2.59/2.64	c |      3616 |  147626   316455 |   84490    2526    28129    11.1 | 26.258 % |
2.99/3.07	c |      4375 |  144328   308965 |   92939    3066    34940    11.4 | 30.335 % |
3.59/3.67	c |      5514 |  138764   296155 |  102233    3803    43599    11.5 | 37.319 % |
4.49/4.52	c |      7222 |  129234   273911 |  112456    4781    55509    11.6 | 49.406 % |
5.39/5.43	c |      9784 |  121135   254757 |  123702    6483    78702    12.1 | 60.045 % |
5.99/6.01	c ==============================================================================
5.99/6.01	c Found solution: -40
5.99/6.01	c ---[   0]---> Sorter-cost:    0     Base:
5.99/6.02	c ==================================[MINISAT+]==================================
5.99/6.02	c | Conflicts | Original         | Learnt                           | Progress |
5.99/6.02	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
5.99/6.02	c ==============================================================================
5.99/6.02	c |     11429 |  116199   242965 |   38733    7576    95117    12.6 | 60.045 % |
5.99/6.04	c |     11529 |  116143   242837 |   42606    7652    95688    12.5 | 66.685 % |
5.99/6.06	c |     11679 |  116076   242681 |   46866    7771    96653    12.4 | 66.771 % |
6.09/6.12	c |     11905 |  115567   241466 |   51553    7877    98408    12.5 | 67.444 % |
6.09/6.19	c |     12242 |  114920   239892 |   56708    8072   100213    12.4 | 68.312 % |
6.29/6.35	c |     12749 |  113625   236810 |   62379    8332   104402    12.5 | 70.006 % |
6.49/6.55	c |     13508 |  111833   232461 |   68617    8589   110153    12.8 | 72.414 % |
6.68/6.74	c |     14647 |  111250   231092 |   75479    9483   124789    13.2 | 73.177 % |
6.98/7.04	c |     16355 |  109550   227010 |   83027   10587   157748    14.9 | 75.476 % |
7.28/7.30	c ==============================================================================
7.28/7.30	c Found solution: -42
7.28/7.30	c ---[   0]---> Sorter-cost:    0     Base:
7.28/7.32	c ==================================[MINISAT+]==================================
7.28/7.32	c | Conflicts | Original         | Learnt                           | Progress |
7.28/7.32	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
7.28/7.32	c ==============================================================================
7.28/7.32	c |     17814 |  108291   223934 |   36097   11628   180350    15.5 | 75.476 % |
7.28/7.33	c |     17914 |  108253   223842 |   39706   11667   180588    15.5 | 77.251 % |
7.28/7.35	c |     18064 |  108154   223613 |   43677   11791   183184    15.5 | 77.378 % |
7.28/7.39	c |     18289 |  107906   223001 |   48045   11987   188268    15.7 | 77.723 % |
7.38/7.45	c |     18626 |  107594   222245 |   52849   12154   193780    15.9 | 78.154 % |
7.48/7.51	c |     19132 |  107473   221961 |   58134   12622   208859    16.5 | 78.310 % |
7.59/7.67	c |     19891 |  106538   219705 |   63948   13041   229526    17.6 | 79.580 % |
7.78/7.88	c |     21030 |  105390   216942 |   70342   13770   250874    18.2 | 81.120 % |
8.08/8.14	c |     22739 |  104672   215178 |   77377   15093   307439    20.4 | 82.109 % |
8.48/8.55	c |     25302 |  103717   212858 |   85114   17132   553320    32.3 | 83.410 % |
8.98/9.05	c |     29146 |  103118   211371 |   93626   20489   741278    36.2 | 84.270 % |
9.68/9.76	c ==============================================================================
9.68/9.76	c Found solution: -43
9.68/9.76	c ---[   0]---> Sorter-cost:    0     Base:
9.68/9.78	c ==================================[MINISAT+]==================================
9.68/9.78	c | Conflicts | Original         | Learnt                           | Progress |
9.68/9.78	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
9.68/9.78	c ==============================================================================
9.68/9.78	c |     33883 |  103035   211194 |   34345   25007  1324418    53.0 | 84.270 % |
9.68/9.79	c |     33983 |  103035   211194 |   37779   25107  1331315    53.0 | 84.425 % |
9.79/9.84	c |     34133 |  102946   210974 |   41557   25184  1335625    53.0 | 84.548 % |
9.79/9.87	c |     34358 |  102946   210974 |   45713   25409  1347466    53.0 | 84.548 % |
9.89/9.93	c |     34695 |  102843   210729 |   50284   25584  1359055    53.1 | 84.686 % |
9.98/10.01	c |     35201 |  102761   210525 |   55312   25995  1394670    53.7 | 84.804 % |
10.08/10.15	c |     35960 |  102644   210234 |   60844   26450  1428516    54.0 | 84.972 % |
10.28/10.32	c |     37099 |  102536   209969 |   66928   27476  1516245    55.2 | 85.126 % |
10.48/10.59	c |     38807 |  102536   209969 |   73621   29184  1773733    60.8 | 85.126 % |
10.99/11.02	c |     41369 |  102409   209658 |   80983   31511  2014301    63.9 | 85.305 % |
11.48/11.56	c ==============================================================================
11.48/11.56	c Found solution: -44
11.48/11.56	c ---[   0]---> Sorter-cost:    0     Base:
11.48/11.58	c ==================================[MINISAT+]==================================
11.48/11.58	c | Conflicts | Original         | Learnt                           | Progress |
11.48/11.58	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
11.48/11.58	c ==============================================================================
11.48/11.58	c |     44630 |  102368   209528 |   34122   34720  2428536    69.9 | 85.305 % |
11.68/11.74	c |     44730 |  102048   208762 |   37534   34492  2424303    70.3 | 85.788 % |
11.68/11.76	c |     44880 |  102048   208762 |   41287   34642  2435741    70.3 | 85.788 % |
11.78/11.86	c |     45105 |  102020   208698 |   45416   34798  2442297    70.2 | 85.823 % |
11.88/11.90	c |     45444 |  102020   208698 |   49958   35137  2463900    70.1 | 85.823 % |
11.88/11.99	c |     45950 |  102020   208698 |   54953   35643  2529661    71.0 | 85.823 % |
12.09/12.12	c |     46710 |  101981   208595 |   60449   36375  2603773    71.6 | 85.879 % |
12.38/12.42	c |     47849 |  101718   207961 |   66494   37246  2726407    73.2 | 86.233 % |
12.68/12.77	c |     49557 |  101645   207775 |   73143   38763  2896271    74.7 | 86.340 % |
13.19/13.27	c |     52119 |  101560   207584 |   80457   41125  3229631    78.5 | 86.441 % |
13.88/13.90	c |     55963 |  101560   207584 |   88503   44969  3670089    81.6 | 86.441 % |
14.98/15.09	c |     61730 |  101510   207460 |   97354   50584  4419892    87.4 | 86.513 % |
15.78/15.84	c ==============================================================================
15.78/15.84	c Found solution: -45
15.78/15.84	c ---[   0]---> Sorter-cost:    0     Base:
15.78/15.87	c ==================================[MINISAT+]==================================
15.78/15.87	c | Conflicts | Original         | Learnt                           | Progress |
15.78/15.87	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
15.78/15.87	c ==============================================================================
15.78/15.87	c |     65251 |  101394   207200 |   33798   53934  4878170    90.4 | 86.513 % |
15.88/15.90	c |     65351 |  101394   207200 |   37177   54034  4889551    90.5 | 86.671 % |
15.88/15.98	c |     65501 |  101325   207030 |   40895   54079  4892693    90.5 | 86.768 % |
15.98/16.03	c |     65726 |  101325   207030 |   44985   54304  4912147    90.5 | 86.768 % |
15.98/16.09	c |     66063 |  101325   207030 |   49483   54641  4941373    90.4 | 86.768 % |
16.18/16.22	c |     66569 |  101255   206846 |   54432   55052  4975946    90.4 | 86.879 % |
16.39/16.44	c |     67328 |  101236   206797 |   59875   55753  5063989    90.8 | 86.908 % |
16.68/16.72	c |     68468 |  101085   206419 |   65862   56486  5172731    91.6 | 87.126 % |
17.08/17.12	c |     70176 |  101085   206419 |   72449   58194  5417001    93.1 | 87.126 % |
17.59/17.69	c |     72738 |  101039   206320 |   79693   60606  5655320    93.3 | 87.175 % |
18.48/18.54	c |     76582 |  100994   206212 |   87663   64116  6092905    95.0 | 87.235 % |
18.78/18.85	c ==============================================================================
18.78/18.85	c Found solution: -46
18.78/18.85	c ---[   0]---> Sorter-cost:    0     Base:
18.78/18.90	c ==================================[MINISAT+]==================================
18.78/18.90	c | Conflicts | Original         | Learnt                           | Progress |
18.78/18.90	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
18.78/18.90	c ==============================================================================
18.78/18.90	c |     77740 |  100975   206129 |   33658   64349  6059901    94.2 | 87.235 % |
18.88/18.92	c |     77841 |  100975   206129 |   37023   64450  6065484    94.1 | 87.265 % |
18.88/18.99	c |     77991 |  100943   206051 |   40726   64589  6072787    94.0 | 87.307 % |
18.98/19.04	c |     78216 |  100943   206051 |   44798   64814  6085427    93.9 | 87.307 % |
19.08/19.10	c |     78553 |  100943   206051 |   49278   65151  6113228    93.8 | 87.307 % |
19.18/19.22	c |     79059 |  100943   206051 |   54206   65657  6163035    93.9 | 87.308 % |
19.38/19.43	c |     79819 |  100910   205974 |   59627   66256  6246731    94.3 | 87.350 % |
19.58/19.70	c |     80959 |  100910   205974 |   65589   67396  6406379    95.1 | 87.350 % |
20.07/20.13	c |     82668 |  100904   205958 |   72148   69042  6635460    96.1 | 87.360 % |
20.67/20.72	c |     85230 |  100904   205958 |   79363   71604  7065469    98.7 | 87.360 % |
21.57/21.65	c |     89074 |  100893   205931 |   87300   75434  7574023   100.4 | 87.376 % |
22.98/23.03	c |     94840 |  100893   205931 |   96030   81200  8374098   103.1 | 87.376 % |
24.97/25.09	c |    103492 |  100893   205931 |  105633   89852  9242373   102.9 | 87.376 % |
28.87/28.97	c |    116466 |  100893   205931 |  116196  102826 10895961   106.0 | 87.376 % |
34.96/35.03	c |    135928 |  100875   205885 |  127816  122128 13014142   106.6 | 87.403 % |
41.86/41.98	c ==============================================================================
41.86/41.98	c Found solution: -47
41.86/41.98	c ---[   0]---> Sorter-cost:    0     Base:
41.96/42.07	c ==================================[MINISAT+]==================================
41.96/42.07	c | Conflicts | Original         | Learnt                           | Progress |
41.96/42.07	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
41.96/42.07	c ==============================================================================
41.96/42.07	c |    155554 |  100863   205870 |   33621  141536 15326357   108.3 | 87.403 % |
42.16/42.22	c |    155656 |  100863   205870 |   36983   20632  1549931    75.1 | 87.449 % |
42.16/42.24	c |    155806 |  100863   205870 |   40681   20782  1564629    75.3 | 87.449 % |
42.16/42.27	c |    156033 |  100863   205870 |   44749   21009  1582899    75.3 | 87.449 % |
42.26/42.32	c |    156370 |  100840   205819 |   49224   21341  1597462    74.9 | 87.476 % |
42.26/42.38	c |    156877 |  100840   205819 |   54146   21848  1654711    75.7 | 87.476 % |
42.36/42.47	c |    157637 |  100840   205819 |   59561   22608  1717497    76.0 | 87.476 % |
42.56/42.63	c |    158776 |  100817   205762 |   65517   23727  1821919    76.8 | 87.509 % |
42.76/42.85	c |    160486 |  100817   205762 |   72069   25437  1988263    78.2 | 87.509 % |
43.16/43.20	c |    163048 |  100817   205762 |   79276   27999  2320512    82.9 | 87.509 % |
43.66/43.78	c |    166892 |  100817   205762 |   87204   31843  2840242    89.2 | 87.509 % |
44.76/44.82	c |    172658 |  100817   205762 |   95924   37609  3666430    97.5 | 87.509 % |
46.36/46.49	c |    181308 |  100681   205423 |  105517   46188  4828424   104.5 | 87.701 % |
49.46/49.57	c |    194284 |  100673   205405 |  116068   59163  7099147   120.0 | 87.711 % |
53.45/53.55	c |    213745 |  100619   205265 |  127675   78580  9571241   121.8 | 87.792 % |
61.14/61.26	c |    242937 |  100600   205218 |  140443  107766 14158407   131.4 | 87.820 % |
75.94/76.02	c |    286728 |  100600   205218 |  154487  151557 21042007   138.8 | 87.820 % |
99.34/99.49	c |    352413 |  100521   205025 |  169936   37727  3338902    88.5 | 87.928 % |
129.23/129.38	c |    450939 |  100521   205025 |  186929  136253 19061365   139.9 | 87.928 % |
179.53/179.65	c |    598728 |  100507   204991 |  205622   71691  7160432    99.9 | 87.948 % |
221.70/221.86	c ==============================================================================
221.70/221.86	c Found solution: -48
221.70/221.86	c ---[   0]---> Sorter-cost:    0     Base:
221.90/222.01	c ==================================[MINISAT+]==================================
221.90/222.01	c | Conflicts | Original         | Learnt                           | Progress |
221.90/222.01	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
221.90/222.01	c ==============================================================================
221.90/222.01	c |    738550 |  100442   204817 |   33480  211413 26941503   127.4 | 87.948 % |
222.40/222.50	c |    738651 |  100442   204817 |   36828   23437  2228902    95.1 | 88.035 % |
222.40/222.52	c |    738801 |  100442   204817 |   40510   23587  2240136    95.0 | 88.035 % |
222.40/222.54	c |    739026 |  100442   204817 |   44561   23812  2252009    94.6 | 88.035 % |
222.40/222.58	c |    739364 |  100442   204817 |   49018   24150  2274021    94.2 | 88.035 % |
222.50/222.65	c |    739870 |  100423   204768 |   53919   24650  2320785    94.1 | 88.064 % |
222.60/222.74	c |    740630 |  100423   204768 |   59311   25410  2401862    94.5 | 88.064 % |
222.70/222.87	c |    741769 |  100423   204768 |   65243   26549  2492029    93.9 | 88.064 % |
223.00/223.10	c |    743478 |  100423   204768 |   71767   28258  2641425    93.5 | 88.064 % |
223.30/223.45	c |    746040 |  100421   204764 |   78944   30816  2904660    94.3 | 88.066 % |
223.89/224.02	c |    749885 |  100405   204724 |   86838   34596  3338189    96.5 | 88.090 % |
224.79/224.93	c |    755651 |  100405   204724 |   95522   40362  4233772   104.9 | 88.090 % |
226.40/226.52	c |    764302 |  100405   204724 |  105074   49013  5630076   114.9 | 88.090 % |
228.99/229.19	c |    777277 |  100365   204626 |  115582   61925  7224567   116.7 | 88.144 % |
233.48/233.60	c |    796738 |  100314   204505 |  127140   81340  9931346   122.1 | 88.212 % |
240.69/240.84	c |    825931 |  100294   204459 |  139854  110528 12493616   113.0 | 88.237 % |
253.38/253.57	c |    869720 |  100280   204429 |  153839  154304 16573382   107.4 | 88.253 % |
275.18/275.37	c |    935404 |  100267   204396 |  169223   40958  1498118    36.6 | 88.272 % |
277.18/277.36	c ==============================================================================
277.18/277.36	c Found solution: -49
277.18/277.36	c ---[   0]---> Sorter-cost:    0     Base:
277.18/277.38	c ==================================[MINISAT+]==================================
277.18/277.38	c | Conflicts | Original         | Learnt                           | Progress |
277.18/277.38	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
277.18/277.38	c ==============================================================================
277.18/277.38	c |    945824 |  100284   204441 |   33428   51377  2215002    43.1 | 88.272 % |
277.28/277.41	c |    945924 |  100284   204441 |   36770   51477  2222802    43.2 | 88.257 % |
277.28/277.44	c |    946074 |  100284   204441 |   40447   51627  2233930    43.3 | 88.257 % |
277.28/277.48	c |    946299 |  100284   204441 |   44492   51852  2253503    43.5 | 88.257 % |
277.38/277.51	c |    946638 |  100284   204441 |   48941   52191  2273566    43.6 | 88.257 % |
277.38/277.57	c |    947144 |  100284   204441 |   53836   52697  2308140    43.8 | 88.257 % |
277.48/277.68	c |    947903 |  100249   204355 |   59219   53443  2385662    44.6 | 88.306 % |
277.68/277.82	c |    949043 |  100249   204355 |   65141   54583  2476697    45.4 | 88.306 % |
277.88/278.06	c |    950754 |  100249   204355 |   71655   56294  2620698    46.6 | 88.306 % |
278.18/278.38	c |    953316 |  100249   204355 |   78821   58856  2834687    48.2 | 88.306 % |
278.88/279.00	c |    957161 |  100249   204355 |   86703   62701  3289284    52.5 | 88.306 % |
279.78/279.95	c |    962927 |  100249   204355 |   95373   68467  3921871    57.3 | 88.306 % |
281.28/281.44	c |    971576 |  100249   204355 |  104911   77116  4892709    63.4 | 88.306 % |
283.18/283.32	c |    984550 |  100218   204271 |  115402   90087  5713861    63.4 | 88.356 % |
286.88/287.08	c |   1004011 |  100218   204271 |  126942  109548  7205468    65.8 | 88.356 % |
292.48/292.61	c |   1033203 |  100214   204261 |  139637  138738  9081153    65.5 | 88.362 % |
303.87/304.00	c |   1076992 |  100214   204261 |  153600  182527 11948493    65.5 | 88.362 % |
317.57/317.73	c |   1142676 |  100204   204237 |  168960   72055  4127655    57.3 | 88.375 % |
341.47/341.67	c |   1241202 |  100204   204237 |  185856  170581 13598325    79.7 | 88.375 % |
376.36/376.52	c |   1388991 |  100184   204189 |  204442  114195  7961232    69.7 | 88.403 % |
449.75/449.98	c |   1610674 |  100002   203762 |  224886  115883  9679291    83.5 | 88.635 % |
552.04/552.21	c |   1943199 |   99962   203668 |  247375  204467 18112075    88.6 | 88.688 % |
714.20/714.41	c |   2441987 |   99762   203167 |  272113  176636 11629850    65.8 | 88.955 % |
916.97/917.24	c ==============================================================================
916.97/917.24	c Found solution: -50
916.97/917.24	c ---[   0]---> Sorter-cost:    0     Base:
916.97/917.29	c ==================================[MINISAT+]==================================
916.97/917.29	c | Conflicts | Original         | Learnt                           | Progress |
916.97/917.29	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
916.97/917.29	c ==============================================================================
916.97/917.29	c |   3010442 |   99715   203014 |   33238  179404  7596412    42.3 | 88.955 % |
917.67/917.97	c |   3010542 |   99715   203014 |   36561   34517   834546    24.2 | 89.025 % |
917.67/917.99	c |   3010692 |   99715   203014 |   40217   34667   842616    24.3 | 89.025 % |
917.77/918.02	c |   3010917 |   99715   203014 |   44239   34892   849372    24.3 | 89.025 % |
917.77/918.07	c |   3011254 |   99715   203014 |   48663   35229   861136    24.4 | 89.025 % |
917.87/918.13	c |   3011760 |   99715   203014 |   53530   35735   879067    24.6 | 89.025 % |
917.97/918.23	c |   3012520 |   99695   202966 |   58883   36492   916238    25.1 | 89.052 % |
918.07/918.38	c |   3013660 |   99695   202966 |   64771   37632   978121    26.0 | 89.052 % |
918.37/918.61	c |   3015368 |   99695   202966 |   71248   39340  1048026    26.6 | 89.052 % |
918.67/918.90	c |   3017932 |   99695   202966 |   78373   41904  1138827    27.2 | 89.052 % |
919.17/919.43	c |   3021776 |   99695   202966 |   86210   45748  1289559    28.2 | 89.052 % |
920.07/920.30	c |   3027543 |   99692   202959 |   94831   51514  1533533    29.8 | 89.056 % |
921.27/921.56	c |   3036193 |   99692   202959 |  104315   60164  2051344    34.1 | 89.056 % |
923.37/923.63	c |   3049167 |   99692   202959 |  114746   73138  2768229    37.8 | 89.056 % |
927.17/927.42	c |   3068628 |   99692   202959 |  126221   92599  3599136    38.9 | 89.056 % |
933.77/934.06	c |   3097820 |   99692   202959 |  138843  121791  5274327    43.3 | 89.056 % |
945.17/945.43	c |   3141613 |   99688   202949 |  152727  165579  7335878    44.3 | 89.062 % |
962.87/963.18	c |   3207298 |   99688   202949 |  168000   66172  2133472    32.2 | 89.062 % |
985.16/985.45	c |   3305824 |   99685   202942 |  184800  164697  7424507    45.1 | 89.066 % |
1022.56/1022.87	c |   3453613 |   99668   202901 |  203280  112633  4923452    43.7 | 89.089 % |
1089.75/1090.09	c |   3675296 |   99665   202894 |  223608  120090  4619053    38.5 | 89.093 % |
1215.63/1215.93	c |   4007823 |   99658   202877 |  245969  214751  9603281    44.7 | 89.103 % |
1413.60/1413.98	c |   4506611 |   99621   202786 |  270566  209061  9127645    43.7 | 89.155 % |
1700.55/1700.96	c |   5254793 |   99582   202689 |  297623  119553  5319919    44.5 | 89.211 % |
1800.04/1800.40	c 
1800.04/1800.40	c *** TERMINATED ***
1800.04/1800.40	s SATISFIABLE
1800.04/1800.40	v -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	-50

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 1.99 1.87 3/173 13816
/proc/meminfo: memFree=27825428/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13816/statm: 2287 277 236 213 0 72 0

[startup+0.074321 s]
/proc/loadavg: 2.00 1.99 1.87 3/173 13816
/proc/meminfo: memFree=27825428/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13816/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100328 s]
/proc/loadavg: 2.00 1.99 1.87 3/173 13816
/proc/meminfo: memFree=27825428/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13816/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300275 s]
/proc/loadavg: 2.00 1.99 1.87 3/173 13816
/proc/meminfo: memFree=27825428/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13816/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700287 s]
/proc/loadavg: 2.00 1.99 1.87 3/173 13816
/proc/meminfo: memFree=27825428/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13816/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50034 s]
/proc/loadavg: 2.00 1.99 1.87 3/179 13828
/proc/meminfo: memFree=27740292/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13816/statm: 2287 277 236 213 0 72 0
[pid=13825] ppid=13816 vsize=47704 CPUtime=1.49 cores=0,2,4,6
/proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 11608 0 0 0 145 4 0 0 20 0 1 0 323297489 48848896 11563 33554432000 4194304 5276501 140734890795248 140734890793496 4399930 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/13825/statm: 11926 11563 118 265 0 11658 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56852

[startup+3.10035 s]
/proc/loadavg: 2.00 1.99 1.87 3/179 13828
/proc/meminfo: memFree=27739548/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13816/statm: 2287 277 236 213 0 72 0
[pid=13825] ppid=13816 vsize=47704 CPUtime=3.09 cores=0,2,4,6
/proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 11608 0 0 0 305 4 0 0 20 0 1 0 323297489 48848896 11563 33554432000 4194304 5276501 140734890795248 140734890793496 4399992 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/13825/statm: 11926 11563 118 265 0 11658 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56852

[startup+6.30029 s]
/proc/loadavg: 2.00 1.99 1.87 3/179 13828
/proc/meminfo: memFree=27739060/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13816/statm: 2287 277 236 213 0 72 0
[pid=13825] ppid=13816 vsize=47704 CPUtime=6.29 cores=0,2,4,6
/proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 11610 0 0 0 625 4 0 0 20 0 1 0 323297489 48848896 11565 33554432000 4194304 5276501 140734890795248 140734890793496 4391549 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/13825/statm: 11926 11565 120 265 0 11658 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56852

[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 1.87 3/179 13828
/proc/meminfo: memFree=27738628/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13816/statm: 2287 277 236 213 0 72 0
[pid=13825] ppid=13816 vsize=47704 CPUtime=12.68 cores=0,2,4,6
/proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 11618 0 0 0 1264 4 0 0 20 0 1 0 323297489 48848896 11565 33554432000 4194304 5276501 140734890795248 140734890793496 4396806 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/13825/statm: 11926 11565 120 265 0 11658 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 56852

[startup+25.5003 s]
/proc/loadavg: 2.00 1.99 1.87 3/179 13828
/proc/meminfo: memFree=27696228/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13816/statm: 2287 277 236 213 0 72 0
[pid=13825] ppid=13816 vsize=70788 CPUtime=25.47 cores=0,2,4,6
/proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 17521 0 0 0 2541 6 0 0 20 0 1 0 323297489 72486912 17343 33554432000 4194304 5276501 140734890795248 140734890793432 4633200 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/13825/statm: 17697 17343 120 265 0 17429 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 79936

[startup+51.1003 s]
/proc/loadavg: 2.00 1.99 1.87 3/179 13828
/proc/meminfo: memFree=27647200/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13816/statm: 2287 277 236 213 0 72 0
[pid=13825] ppid=13816 vsize=98088 CPUtime=51.05 cores=0,2,4,6
/proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 24320 0 0 0 5097 8 0 0 20 0 1 0 323297489 100442112 24064 33554432000 4194304 5276501 140734890795248 140734890793496 4399933 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/13825/statm: 24522 24064 120 265 0 24254 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 107236

[startup+102.307 s]
/proc/loadavg: 2.00 1.99 1.88 3/180 13831
/proc/meminfo: memFree=27540332/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13816/statm: 2287 277 236 213 0 72 0
[pid=13825] ppid=13816 vsize=154492 CPUtime=102.24 cores=0,2,4,6
/proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 38476 0 0 0 10211 13 0 0 20 0 1 0 323297489 158199808 38217 33554432000 4194304 5276501 140734890795248 140734890793496 4399850 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/13825/statm: 38623 38217 120 265 0 38355 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 163640

[startup+162.3 s]
/proc/loadavg: 2.07 2.02 1.89 3/179 13831
/proc/meminfo: memFree=27535408/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13816/statm: 2287 277 236 213 0 72 0
[pid=13825] ppid=13816 vsize=160488 CPUtime=162.23 cores=0,2,4,6
/proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 39833 0 0 0 16209 14 0 0 20 0 1 0 323297489 164339712 39574 33554432000 4194304 5276501 140734890795248 140734890793240 4391549 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/13825/statm: 40122 39574 120 265 0 39854 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 169636

[startup+222.3 s]
/proc/loadavg: 2.02 2.02 1.90 3/179 13831
/proc/meminfo: memFree=27516696/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13816/statm: 2287 277 236 213 0 72 0
[pid=13825] ppid=13816 vsize=167384 CPUtime=222.2 cores=0,2,4,6
/proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 41577 0 0 0 22205 15 0 0 20 0 1 0 323297489 171401216 41316 33554432000 4194304 5276501 140734890795248 140734890793496 4390912 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/13825/statm: 41846 41316 120 265 0 41578 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 176532

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/179 13832
/proc/meminfo: memFree=27508992/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13816/statm: 2287 277 236 213 0 72 0
[pid=13825] ppid=13816 vsize=167360 CPUtime=282.18 cores=0,2,4,6
/proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 41585 0 0 0 28203 15 0 0 20 0 1 0 323297489 171376640 41413 33554432000 4194304 5276501 140734890795248 140734890793496 4399846 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/13825/statm: 41840 41413 120 265 0 41572 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 176508

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13832
/proc/meminfo: memFree=27506804/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13816/statm: 2287 277 236 213 0 72 0
[pid=13825] ppid=13816 vsize=167360 CPUtime=342.17 cores=0,2,4,6
/proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 41585 0 0 0 34202 15 0 0 20 0 1 0 323297489 171376640 41413 33554432000 4194304 5276501 140734890795248 140734890793496 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/13825/statm: 41840 41413 120 265 0 41572 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 176508

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13832
/proc/meminfo: memFree=27506928/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/13816/statm: 2287 277 236 213 0 72 0
[pid=13825] ppid=13816 vsize=183564 CPUtime=1062.05 cores=0,2,4,6
/proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 45262 0 0 0 106188 17 0 0 20 0 1 0 323297489 187969536 45100 33554432000 4194304 5276501 140734890795248 140734890793672 4399953 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/13825/statm: 45891 45100 120 265 0 45623 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 192712

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13838
/proc/meminfo: memFree=27490544/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13816/statm: 2287 277 236 213 0 72 0
[pid=13825] ppid=13816 vsize=183564 CPUtime=1122.04 cores=0,2,4,6
/proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 45262 0 0 0 112187 17 0 0 20 0 1 0 323297489 187969536 45100 33554432000 4194304 5276501 140734890795248 140734890793496 4399904 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/13825/statm: 45891 45100 120 265 0 45623 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 192712

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 13839
/proc/meminfo: memFree=27488064/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13816/statm: 2287 277 236 213 0 72 0
[pid=13825] ppid=13816 vsize=184288 CPUtime=1182.03 cores=0,2,4,6
/proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 45414 0 0 0 118186 17 0 0 20 0 1 0 323297489 188710912 45252 33554432000 4194304 5276501 140734890795248 140734890793672 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/13825/statm: 46072 45252 120 265 0 45804 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 193436

[startup+1242.3 s]
/proc/loadavg: 2.06 2.02 1.92 3/179 13839
/proc/meminfo: memFree=27486700/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13816/statm: 2287 277 236 213 0 72 0
[pid=13825] ppid=13816 vsize=184612 CPUtime=1242.02 cores=0,2,4,6
/proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 45488 0 0 0 124185 17 0 0 20 0 1 0 323297489 189042688 45326 33554432000 4194304 5276501 140734890795248 140734890793480 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/13825/statm: 46153 45326 120 265 0 45885 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 193760

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/180 13842
/proc/meminfo: memFree=27485576/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13816/statm: 2287 277 236 213 0 72 0
[pid=13825] ppid=13816 vsize=185096 CPUtime=1302.02 cores=0,2,4,6
/proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 45597 0 0 0 130185 17 0 0 20 0 1 0 323297489 189538304 45435 33554432000 4194304 5276501 140734890795248 140734890793672 4399953 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/13825/statm: 46274 45435 120 265 0 46006 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 194244

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/179 13842
/proc/meminfo: memFree=27484220/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13816/statm: 2287 277 236 213 0 72 0
[pid=13825] ppid=13816 vsize=185768 CPUtime=1362 cores=0,2,4,6
/proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 45717 0 0 0 136183 17 0 0 20 0 1 0 323297489 190226432 45555 33554432000 4194304 5276501 140734890795248 140734890793480 4399942 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/13825/statm: 46442 45555 120 265 0 46174 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 194916

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13842
/proc/meminfo: memFree=27482608/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13816/statm: 2287 277 236 213 0 72 0
[pid=13825] ppid=13816 vsize=186416 CPUtime=1422 cores=0,2,4,6
/proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 45847 0 0 0 142183 17 0 0 20 0 1 0 323297489 190889984 45685 33554432000 4194304 5276501 140734890795248 140734890793672 4399860 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/13825/statm: 46604 45685 120 265 0 46336 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 195564

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13843
/proc/meminfo: memFree=27482360/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13816/statm: 2287 277 236 213 0 72 0
[pid=13825] ppid=13816 vsize=186740 CPUtime=1481.98 cores=0,2,4,6
/proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 45916 0 0 0 148181 17 0 0 20 0 1 0 323297489 191221760 45754 33554432000 4194304 5276501 140734890795248 140734890793672 4399913 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/13825/statm: 46685 45754 120 265 0 46417 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 195888

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13843
/proc/meminfo: memFree=27481120/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13816/statm: 2287 277 236 213 0 72 0
[pid=13825] ppid=13816 vsize=187692 CPUtime=1541.98 cores=0,2,4,6
/proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 46094 0 0 0 154181 17 0 0 20 0 1 0 323297489 192196608 45932 33554432000 4194304 5276501 140734890795248 140734890793480 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/13825/statm: 46923 45932 120 265 0 46655 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 196840

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 13843
/proc/meminfo: memFree=27479136/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13816/statm: 2287 277 236 213 0 72 0
[pid=13825] ppid=13816 vsize=188196 CPUtime=1601.97 cores=0,2,4,6
/proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 46224 0 0 0 160180 17 0 0 20 0 1 0 323297489 192712704 46062 33554432000 4194304 5276501 140734890795248 140734890793480 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/13825/statm: 47049 46062 120 265 0 46781 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 197344

[startup+1662.3 s]
/proc/loadavg: 2.07 2.03 1.93 3/179 13843
/proc/meminfo: memFree=27478516/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13816/statm: 2287 277 236 213 0 72 0
[pid=13825] ppid=13816 vsize=188772 CPUtime=1661.96 cores=0,2,4,6
/proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 46326 0 0 0 166179 17 0 0 20 0 1 0 323297489 193302528 46164 33554432000 4194304 5276501 140734890795248 140734890793480 4400020 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/13825/statm: 47193 46164 120 265 0 46925 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 197920

[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 1.93 3/179 13843
/proc/meminfo: memFree=27476904/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13816/statm: 2287 277 236 213 0 72 0
[pid=13825] ppid=13816 vsize=189204 CPUtime=1721.95 cores=0,2,4,6
/proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 46418 0 0 0 172178 17 0 0 20 0 1 0 323297489 193744896 46256 33554432000 4194304 5276501 140734890795248 140734890793480 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/13825/statm: 47301 46256 120 265 0 47033 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 198352

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 1.93 3/179 13844
/proc/meminfo: memFree=27475292/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13816/statm: 2287 277 236 213 0 72 0
[pid=13825] ppid=13816 vsize=190468 CPUtime=1781.94 cores=0,2,4,6
/proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 46669 0 0 0 178177 17 0 0 20 0 1 0 323297489 195039232 46507 33554432000 4194304 5276501 140734890795248 140734890793672 4399958 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/13825/statm: 47617 46507 120 265 0 47349 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 199616



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 1.93 3/179 13844
/proc/meminfo: memFree=27475044/32873844 swapFree=7372/7372
[pid=13816] ppid=13813 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13816/stat : 13816 (minisat+_script) S 13813 13816 11128 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323297489 9367552 277 33554432000 4194304 5064252 140734540043808 140734540042720 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13816/statm: 2287 277 236 213 0 72 0
[pid=13825] ppid=13816 vsize=190468 CPUtime=1800.04 cores=0,2,4,6
/proc/13825/stat : 13825 (minisat+_64-bit) R 13816 13816 11128 0 -1 4202496 46690 0 0 0 179987 17 0 0 20 0 1 0 323297489 195039232 46528 33554432000 4194304 5276501 140734890795248 140734890793672 4399854 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/13825/statm: 47617 46528 120 265 0 47349 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 199616

Sending SIGTERM to process tree (bottom up)

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

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1799.88
CPU system time (s): 0.181972
CPU usage (%): 99.9805
Max. virtual memory (cumulated for all children) (KiB): 199616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.88
system time used= 0.181972
maximum resident set size= 186116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47637
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= 95
involuntary context switches= 1907

runsolver used 4.89426 second user time and 19.753 second system time

The end

Launcher Data

Begin job on node118 at 2012-06-01 19:28:34
IDJOB=3723560
IDBENCH=2259
IDSOLVER=2307
FILE ID=node118/3723560-1338571714
RUNJOBID= node118-1338569913-13666
PBS_JOBID= 14635866
Free space on /tmp= 70992 MiB

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

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

MD5SUM BENCH= 604c6b786f56b09c749bc0d6b7c8f76d
RANDOM SEED=141729782

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27826112 kB
Buffers:          467008 kB
Cached:          3706276 kB
SwapCached:            0 kB
Active:          1246044 kB
Inactive:        2940232 kB
Active(anon):       2276 kB
Inactive(anon):    11344 kB
Active(file):    1243768 kB
Inactive(file):  2928888 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              9012 kB
Writeback:            12 kB
AnonPages:         18128 kB
Mapped:            11064 kB
Shmem:               200 kB
Slab:             722332 kB
SReclaimable:     163448 kB
SUnreclaim:       558884 kB
KernelStack:        1496 kB
PageTables:         3860 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104468 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70988 MiB
End job on node118 at 2012-06-01 19:58:34