Trace number 3723562

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB12: minisatp 1.0-2-g022594cSAT (TO)-51 1800.03 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-5.opb
MD5SUM20471e978018d28aed0ca16c46de4e3d
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.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -51
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94226
Number of constraints which are clauses94226
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.11	c Converting 94226 PB-constraints to clauses...
0.00/0.11	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.20	c ==================================[MINISAT+]==================================
0.00/0.20	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.20	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.20	c ==============================================================================
0.00/0.20	c |         0 |   94226   188452 |   31408       0        0    -nan |  0.000 % |
0.00/0.20	c ==============================================================================
0.00/0.20	c Found solution: -36
0.00/0.20	c ---[   0]---> Sorter-cost:70300     Base:
0.00/0.24	c ==================================[MINISAT+]==================================
0.00/0.24	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.24	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.24	c ==============================================================================
0.00/0.24	c |         0 |  169272   364507 |   56424       0        0    -nan |  0.000 % |
0.00/0.31	c |       101 |  169075   364106 |   62066      87      747     8.6 |  0.213 % |
0.00/0.41	c |       251 |  168213   362254 |   68273     187     1423     7.6 |  1.182 % |
0.00/0.58	c |       476 |  166961   359534 |   75100     344     3013     8.8 |  2.619 % |
0.00/0.79	c |       813 |  165184   355653 |   82610     585     5250     9.0 |  4.678 % |
0.99/1.06	c |      1319 |  163117   351122 |   90871     995    10123    10.2 |  7.089 % |
1.39/1.49	c |      2079 |  159855   343815 |   99958    1589    15542     9.8 | 11.047 % |
1.69/1.76	c ==============================================================================
1.69/1.76	c Found solution: -39
1.69/1.76	c ---[   0]---> Sorter-cost:    0     Base:
1.69/1.77	c ==================================[MINISAT+]==================================
1.69/1.77	c | Conflicts | Original         | Learnt                           | Progress |
1.69/1.77	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.69/1.77	c ==============================================================================
1.69/1.77	c |      2442 |  158103   340170 |   52701    1818    17572     9.7 | 11.047 % |
1.79/1.88	c |      2542 |  157318   338392 |   57971    1882    18163     9.7 | 14.365 % |
1.89/1.97	c |      2692 |  156806   337227 |   63768    2013    20252    10.1 | 15.000 % |
2.09/2.12	c |      2917 |  155301   333834 |   70145    2185    22027    10.1 | 16.977 % |
2.39/2.40	c |      3254 |  153117   328912 |   77159    2405    24394    10.1 | 19.514 % |
2.69/2.70	c |      3760 |  150528   323046 |   84875    2701    28785    10.7 | 22.711 % |
3.09/3.14	c |      4519 |  146459   313816 |   93363    3261    34878    10.7 | 27.802 % |
3.79/3.88	c |      5658 |  139738   298399 |  102699    3900    47158    12.1 | 36.136 % |
4.79/4.80	c |      7366 |  131181   278479 |  112969    4945    59542    12.0 | 46.906 % |
5.88/5.93	c |      9928 |  120444   253103 |  124266    6149    78039    12.7 | 60.972 % |
6.98/7.05	c |     13772 |  110858   230227 |  136692    8231   112231    13.6 | 73.666 % |
7.88/7.93	c ==============================================================================
7.88/7.93	c Found solution: -40
7.88/7.93	c ---[   0]---> Sorter-cost:    0     Base:
7.88/7.94	c ==================================[MINISAT+]==================================
7.88/7.94	c | Conflicts | Original         | Learnt                           | Progress |
7.88/7.94	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
7.88/7.94	c ==============================================================================
7.88/7.94	c |     18635 |  105971   218394 |   35323   11580   213777    18.5 | 73.666 % |
7.88/7.96	c |     18735 |  105848   218096 |   38855   11623   214072    18.4 | 80.450 % |
7.88/7.98	c |     18885 |  105732   217820 |   42740   11725   216435    18.5 | 80.594 % |
7.98/8.02	c |     19110 |  105630   217581 |   47014   11816   217940    18.4 | 80.727 % |
7.98/8.05	c |     19449 |  105534   217336 |   51716   12105   224976    18.6 | 80.865 % |
8.08/8.13	c |     19956 |  105456   217136 |   56888   12579   249840    19.9 | 80.984 % |
8.18/8.26	c |     20716 |  105001   215990 |   62576   13013   268029    20.6 | 81.665 % |
8.38/8.42	c |     21855 |  104645   215100 |   68834   13786   300544    21.8 | 82.155 % |
8.38/8.49	c ==============================================================================
8.38/8.49	c Found solution: -41
8.38/8.49	c ---[   0]---> Sorter-cost:    0     Base:
8.48/8.51	c ==================================[MINISAT+]==================================
8.48/8.51	c | Conflicts | Original         | Learnt                           | Progress |
8.48/8.51	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
8.48/8.51	c ==============================================================================
8.48/8.51	c |     22364 |  104563   214932 |   34854   14249   319120    22.4 | 82.155 % |
8.48/8.53	c |     22464 |  104453   214668 |   38339   14277   321512    22.5 | 82.423 % |
8.48/8.56	c |     22614 |  104351   214422 |   42173   14377   323398    22.5 | 82.559 % |
8.58/8.60	c |     22839 |  104246   214159 |   46390   14519   329927    22.7 | 82.713 % |
8.58/8.63	c |     23176 |  104246   214159 |   51029   14856   349142    23.5 | 82.713 % |
8.69/8.71	c |     23682 |  104051   213699 |   56132   15297   364959    23.9 | 82.973 % |
8.69/8.73	c ==============================================================================
8.69/8.73	c Found solution: -42
8.69/8.73	c ---[   0]---> Sorter-cost:    0     Base:
8.69/8.75	c ==================================[MINISAT+]==================================
8.69/8.75	c | Conflicts | Original         | Learnt                           | Progress |
8.69/8.75	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
8.69/8.75	c ==============================================================================
8.69/8.75	c |     23798 |  103997   213503 |   34665   15332   361838    23.6 | 82.973 % |
8.69/8.76	c |     23898 |  103987   213479 |   38131   15407   362925    23.6 | 83.055 % |
8.69/8.77	c |     24048 |  103987   213479 |   41944   15557   369163    23.7 | 83.055 % |
8.79/8.80	c |     24273 |  103982   213468 |   46139   15781   374549    23.7 | 83.061 % |
8.79/8.84	c |     24610 |  103982   213468 |   50753   16118   393834    24.4 | 83.061 % |
8.88/8.92	c |     25116 |  103878   213197 |   55828   16500   413067    25.0 | 83.219 % |
8.98/9.02	c |     25876 |  103836   213091 |   61411   17180   492399    28.7 | 83.280 % |
9.08/9.18	c |     27015 |  103517   212321 |   67552   18214   542942    29.8 | 83.718 % |
9.38/9.45	c |     28723 |  103077   211257 |   74307   19593   617773    31.5 | 84.325 % |
9.38/9.47	c ==============================================================================
9.38/9.47	c Found solution: -43
9.38/9.47	c ---[   0]---> Sorter-cost:    0     Base:
9.38/9.49	c ==================================[MINISAT+]==================================
9.38/9.49	c | Conflicts | Original         | Learnt                           | Progress |
9.38/9.49	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
9.38/9.49	c ==============================================================================
9.38/9.49	c |     28926 |  103116   211380 |   34372   19796   625061    31.6 | 84.325 % |
9.48/9.50	c |     29026 |  103116   211380 |   37809   19896   628223    31.6 | 84.307 % |
9.48/9.52	c |     29176 |  103116   211380 |   41590   20046   631069    31.5 | 84.307 % |
9.48/9.55	c |     29401 |  103109   211363 |   45749   20269   639143    31.5 | 84.317 % |
9.58/9.63	c |     29738 |  102953   210993 |   50324   20495   651280    31.8 | 84.525 % |
9.68/9.70	c |     30244 |  102948   210980 |   55356   20972   685874    32.7 | 84.533 % |
9.68/9.74	c ==============================================================================
9.68/9.74	c Found solution: -44
9.68/9.74	c ---[   0]---> Sorter-cost:    0     Base:
9.68/9.76	c ==================================[MINISAT+]==================================
9.68/9.76	c | Conflicts | Original         | Learnt                           | Progress |
9.68/9.76	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
9.68/9.76	c ==============================================================================
9.68/9.76	c |     30546 |  102937   210929 |   34312   21249   704152    33.1 | 84.533 % |
9.68/9.77	c |     30646 |  102937   210929 |   37743   21349   707352    33.1 | 84.551 % |
9.68/9.80	c |     30797 |  102937   210929 |   41517   21500   716673    33.3 | 84.551 % |
9.79/9.83	c |     31022 |  102937   210929 |   45669   21725   730092    33.6 | 84.551 % |
9.79/9.86	c |     31359 |  102937   210929 |   50236   22062   742818    33.7 | 84.551 % |
9.89/9.98	c |     31865 |  102660   210278 |   55259   22269   754992    33.9 | 84.915 % |
9.98/10.08	c |     32624 |  102620   210172 |   60785   23016   796239    34.6 | 84.979 % |
10.18/10.26	c |     33763 |  102620   210172 |   66864   24155   917821    38.0 | 84.979 % |
10.48/10.51	c |     35472 |  102616   210162 |   73550   25860  1070457    41.4 | 84.985 % |
10.89/10.91	c |     38034 |  102524   209928 |   80905   28301  1269268    44.8 | 85.121 % |
11.28/11.39	c ==============================================================================
11.28/11.39	c Found solution: -45
11.28/11.39	c ---[   0]---> Sorter-cost:    0     Base:
11.38/11.41	c ==================================[MINISAT+]==================================
11.38/11.41	c | Conflicts | Original         | Learnt                           | Progress |
11.38/11.41	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
11.38/11.41	c ==============================================================================
11.38/11.41	c |     40621 |  102381   209600 |   34127   30788  1559807    50.7 | 85.121 % |
11.38/11.44	c |     40721 |  102335   209493 |   37539   30741  1560941    50.8 | 85.382 % |
11.38/11.49	c |     40871 |  102253   209296 |   41293   30831  1565545    50.8 | 85.491 % |
11.48/11.53	c |     41097 |  102253   209296 |   45423   31057  1584070    51.0 | 85.491 % |
11.58/11.61	c |     41434 |  102237   209260 |   49965   31352  1600679    51.1 | 85.511 % |
11.68/11.74	c |     41940 |  102115   208956 |   54961   31688  1624720    51.3 | 85.684 % |
11.88/11.94	c |     42700 |  101943   208525 |   60458   32126  1710984    53.3 | 85.931 % |
12.09/12.17	c |     43839 |  101867   208351 |   66503   33053  1797715    54.4 | 86.026 % |
12.38/12.47	c |     45547 |  101824   208238 |   73154   34706  1932540    55.7 | 86.090 % |
12.88/12.95	c |     48109 |  101693   207927 |   80469   36976  2193124    59.3 | 86.265 % |
13.68/13.73	c |     51954 |  101655   207833 |   88516   40801  2649943    64.9 | 86.320 % |
14.88/14.96	c |     57720 |  101649   207817 |   97368   46563  3361343    72.2 | 86.329 % |
17.08/17.10	c |     66370 |  101555   207587 |  107105   54905  4394413    80.0 | 86.462 % |
17.18/17.23	c ==============================================================================
17.18/17.23	c Found solution: -46
17.18/17.23	c ---[   0]---> Sorter-cost:    0     Base:
17.18/17.27	c ==================================[MINISAT+]==================================
17.18/17.27	c | Conflicts | Original         | Learnt                           | Progress |
17.18/17.27	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
17.18/17.27	c ==============================================================================
17.18/17.27	c |     66936 |  101544   207524 |   33848   55217  4396920    79.6 | 86.462 % |
17.18/17.29	c |     67037 |  101544   207524 |   37232   55318  4404411    79.6 | 86.480 % |
17.28/17.33	c |     67187 |  101544   207524 |   40956   55468  4413395    79.6 | 86.480 % |
17.38/17.42	c |     67412 |  101505   207431 |   45051   55507  4427830    79.8 | 86.532 % |
17.38/17.50	c |     67749 |  101505   207431 |   49556   55844  4462466    79.9 | 86.532 % |
17.59/17.68	c |     68255 |  101457   207319 |   54512   55965  4514059    80.7 | 86.594 % |
17.78/17.86	c |     69014 |  101457   207319 |   59963   56724  4580103    80.7 | 86.594 % |
18.08/18.13	c |     70153 |  101416   207219 |   65960   57644  4664624    80.9 | 86.651 % |
18.48/18.57	c |     71861 |  101416   207219 |   72556   59352  4870835    82.1 | 86.651 % |
19.18/19.22	c |     74423 |  101416   207219 |   79811   61914  5241738    84.7 | 86.651 % |
20.28/20.37	c |     78267 |  101336   207025 |   87792   65687  5727317    87.2 | 86.758 % |
22.08/22.19	c |     84035 |  101215   206738 |   96572   71096  6590732    92.7 | 86.919 % |
22.38/22.46	c ==============================================================================
22.38/22.46	c Found solution: -47
22.38/22.47	c ---[   0]---> Sorter-cost:    0     Base:
22.48/22.51	c ==================================[MINISAT+]==================================
22.48/22.51	c | Conflicts | Original         | Learnt                           | Progress |
22.48/22.51	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
22.48/22.51	c ==============================================================================
22.48/22.51	c |     84973 |  101244   206820 |   33748   72034  6715876    93.2 | 86.919 % |
22.48/22.59	c |     85073 |  101226   206776 |   37122   72112  6720702    93.2 | 86.939 % |
22.58/22.69	c |     85225 |  101190   206695 |   40835   72185  6725707    93.2 | 86.982 % |
22.68/22.75	c |     85450 |  101190   206695 |   44918   72410  6750421    93.2 | 86.982 % |
22.88/22.94	c |     85787 |  101105   206489 |   49410   72368  6776602    93.6 | 87.099 % |
23.09/23.13	c |     86294 |  101067   206398 |   54351   72749  6814041    93.7 | 87.147 % |
23.28/23.37	c |     87054 |  101009   206264 |   59786   73436  6880778    93.7 | 87.217 % |
23.58/23.68	c |     88193 |  101009   206264 |   65765   74575  6980470    93.6 | 87.217 % |
24.19/24.21	c |     89901 |  101009   206264 |   72341   76283  7129675    93.5 | 87.217 % |
24.88/24.95	c |     92463 |  101003   206250 |   79576   78843  7341039    93.1 | 87.225 % |
26.08/26.14	c |     96307 |  100958   206131 |   87533   82622  7738840    93.7 | 87.294 % |
27.87/27.97	c |    102073 |  100902   205997 |   96286   87870  8474509    96.4 | 87.368 % |
30.68/30.80	c |    110723 |  100892   205973 |  105915   96518  9412977    97.5 | 87.382 % |
35.19/35.24	c |    123697 |  100892   205973 |  116507  109492 10872533    99.3 | 87.382 % |
42.47/42.53	c |    143159 |  100855   205886 |  128157  128677 13568390   105.4 | 87.430 % |
53.56/53.68	c |    172352 |  100851   205876 |  140973  157781 16668190   105.6 | 87.436 % |
69.35/69.43	c |    216141 |  100842   205855 |  155071   34855  2986698    85.7 | 87.448 % |
83.34/83.41	c ==============================================================================
83.34/83.41	c Found solution: -48
83.34/83.41	c ---[   0]---> Sorter-cost:    0     Base:
83.34/83.48	c ==================================[MINISAT+]==================================
83.34/83.48	c | Conflicts | Original         | Learnt                           | Progress |
83.34/83.48	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
83.34/83.48	c ==============================================================================
83.34/83.48	c |    279077 |  100613   205281 |   33537   97477 11404555   117.0 | 87.448 % |
83.44/83.60	c |    279177 |  100613   205281 |   36890   19705  1885519    95.7 | 87.758 % |
83.54/83.62	c |    279327 |  100613   205281 |   40579   19855  1893701    95.4 | 87.758 % |
83.54/83.65	c |    279552 |  100613   205281 |   44637   20080  1904854    94.9 | 87.758 % |
83.64/83.70	c |    279890 |  100608   205270 |   49101   20415  1923567    94.2 | 87.764 % |
83.64/83.75	c |    280396 |  100608   205270 |   54011   20921  1952411    93.3 | 87.764 % |
83.74/83.84	c |    281155 |  100608   205270 |   59412   21680  2024207    93.4 | 87.764 % |
83.84/83.98	c |    282294 |  100608   205270 |   65354   22819  2132223    93.4 | 87.764 % |
84.14/84.26	c |    284003 |  100595   205239 |   71889   24515  2342986    95.6 | 87.782 % |
84.54/84.64	c |    286566 |  100585   205215 |   79078   27075  2668712    98.6 | 87.795 % |
85.14/85.23	c |    290412 |  100585   205215 |   86986   30921  3161121   102.2 | 87.795 % |
86.14/86.21	c |    296178 |  100506   205010 |   95684   36658  3804927   103.8 | 87.917 % |
87.53/87.65	c |    304828 |  100506   205010 |  105253   45308  4748658   104.8 | 87.917 % |
89.93/90.03	c |    317804 |  100477   204941 |  115778   58260  5905588   101.4 | 87.956 % |
94.03/94.12	c |    337265 |  100477   204941 |  127356   77721  7929023   102.0 | 87.956 % |
102.42/102.52	c |    366457 |  100456   204884 |  140092  106764 11208789   105.0 | 87.991 % |
116.12/116.24	c |    410246 |  100456   204884 |  154101  150553 14914764    99.1 | 87.991 % |
136.71/136.86	c |    475932 |  100437   204837 |  169511   36308  2538618    69.9 | 88.018 % |
159.41/159.54	c |    574458 |  100276   204439 |  186462  134763 14875933   110.4 | 88.243 % |
201.80/201.90	c ==============================================================================
201.80/201.90	c Found solution: -49
201.80/201.90	c ---[   0]---> Sorter-cost:    0     Base:
201.80/201.93	c ==================================[MINISAT+]==================================
201.80/201.93	c | Conflicts | Original         | Learnt                           | Progress |
201.80/201.93	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
201.80/201.93	c ==============================================================================
201.80/201.93	c |    701204 |  100247   204371 |   33415   54497  3587371    65.8 | 88.243 % |
201.80/201.96	c |    701304 |  100247   204371 |   36756   54597  3594194    65.8 | 88.291 % |
201.80/201.98	c |    701455 |  100247   204371 |   40432   54748  3603654    65.8 | 88.291 % |
201.90/202.02	c |    701680 |  100247   204371 |   44475   54973  3614908    65.8 | 88.291 % |
201.90/202.09	c |    702017 |  100247   204371 |   48922   55310  3640818    65.8 | 88.291 % |
202.00/202.19	c |    702523 |  100247   204371 |   53815   55816  3687434    66.1 | 88.291 % |
202.20/202.31	c |    703282 |  100247   204371 |   59196   56575  3754408    66.4 | 88.291 % |
202.40/202.53	c |    704421 |  100247   204371 |   65116   57714  3874410    67.1 | 88.291 % |
202.70/202.80	c |    706129 |  100247   204371 |   71628   59422  4036357    67.9 | 88.291 % |
203.10/203.23	c |    708692 |  100247   204371 |   78790   61985  4331524    69.9 | 88.291 % |
203.70/203.87	c |    712539 |  100247   204371 |   86669   65832  4803667    73.0 | 88.291 % |
204.70/204.88	c |    718305 |  100247   204371 |   95336   71598  5300804    74.0 | 88.291 % |
206.30/206.48	c |    726955 |  100247   204371 |  104870   80248  6499769    81.0 | 88.291 % |
208.80/208.90	c |    739930 |  100213   204287 |  115357   93189  8166467    87.6 | 88.339 % |
212.89/213.05	c |    759391 |  100207   204273 |  126893  112566 10003730    88.9 | 88.347 % |
220.29/220.47	c |    788583 |  100207   204273 |  139582  141758 12773887    90.1 | 88.347 % |
233.48/233.64	c |    832372 |  100203   204265 |  153541  185543 16983498    91.5 | 88.351 % |
249.78/249.99	c |    898058 |  100179   204205 |  168895   75270  5110803    67.9 | 88.386 % |
288.87/289.08	c |    996584 |  100179   204205 |  185784  173796 11396199    65.6 | 88.386 % |
327.76/327.98	c |   1144373 |  100155   204145 |  204363  112565 10093349    89.7 | 88.420 % |
393.44/393.69	c |   1366056 |  100104   204020 |  224799  111611  6945160    62.2 | 88.492 % |
516.61/516.80	c |   1698581 |  100071   203939 |  247279  204193 11907085    58.3 | 88.539 % |
575.39/575.65	c ==============================================================================
575.39/575.65	c Found solution: -50
575.39/575.65	c ---[   0]---> Sorter-cost:    0     Base:
575.49/575.72	c ==================================[MINISAT+]==================================
575.49/575.72	c | Conflicts | Original         | Learnt                           | Progress |
575.49/575.72	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
575.49/575.72	c ==============================================================================
575.49/575.72	c |   1885294 |   99995   203738 |   33331  130225  9510789    73.0 | 88.539 % |
575.69/575.93	c |   1885395 |   99995   203738 |   36664   29484  1436090    48.7 | 88.636 % |
575.69/575.95	c |   1885545 |   99995   203738 |   40330   29634  1442010    48.7 | 88.636 % |
575.69/575.97	c |   1885770 |   99995   203738 |   44363   29859  1452355    48.6 | 88.636 % |
575.79/576.01	c |   1886107 |   99995   203738 |   48799   30196  1467474    48.6 | 88.636 % |
575.79/576.05	c |   1886613 |   99995   203738 |   53679   30702  1502514    48.9 | 88.636 % |
575.89/576.15	c |   1887372 |   99938   203590 |   59047   31430  1545854    49.2 | 88.719 % |
575.99/576.29	c |   1888511 |   99938   203590 |   64952   32569  1657224    50.9 | 88.719 % |
576.19/576.49	c |   1890219 |   99938   203590 |   71447   34277  1800803    52.5 | 88.719 % |
576.59/576.80	c |   1892782 |   99934   203580 |   78592   36801  1970550    53.5 | 88.725 % |
576.99/577.26	c |   1896626 |   99934   203580 |   86452   40645  2295410    56.5 | 88.725 % |
577.79/578.06	c |   1902392 |   99934   203580 |   95097   46411  2676124    57.7 | 88.725 % |
578.99/579.30	c |   1911041 |   99927   203563 |  104606   55058  3104559    56.4 | 88.735 % |
580.99/581.26	c |   1924015 |   99927   203563 |  115067   68032  3890075    57.2 | 88.735 % |
584.59/584.80	c |   1943477 |   99924   203556 |  126574   87493  4890715    55.9 | 88.739 % |
590.78/591.07	c |   1972669 |   99924   203556 |  139231  116685  6297332    54.0 | 88.739 % |
604.38/604.60	c |   2016458 |   99920   203546 |  153155  160470  8327980    51.9 | 88.745 % |
622.78/623.05	c |   2082142 |   99898   203494 |  168470   58480  2061303    35.2 | 88.774 % |
650.27/650.51	c |   2180669 |   99895   203487 |  185317  157004  6721291    42.8 | 88.778 % |
698.96/699.27	c |   2328458 |   99888   203468 |  203849  104283  4135552    39.7 | 88.789 % |
786.14/786.45	c |   2550141 |   99853   203383 |  224234  112913  4286633    38.0 | 88.838 % |
947.10/947.43	c |   2882668 |   99845   203365 |  246657  213042  8984752    42.2 | 88.847 % |
1198.42/1198.81	c |   3381456 |   99811   203289 |  271323  203465  7779238    38.2 | 88.888 % |
1207.82/1208.21	c ==============================================================================
1207.82/1208.21	c Found solution: -51
1207.82/1208.21	c ---[   0]---> Sorter-cost:    0     Base:
1207.82/1208.28	c ==================================[MINISAT+]==================================
1207.82/1208.28	c | Conflicts | Original         | Learnt                           | Progress |
1207.82/1208.28	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1207.82/1208.28	c ==============================================================================
1207.82/1208.28	c |   3403506 |   99829   203335 |   33276  225515  8866355    39.3 | 88.888 % |
1209.53/1209.96	c |   3403606 |   99829   203335 |   36603   38377   990722    25.8 | 88.888 % |
1209.53/1209.99	c |   3403759 |   99829   203335 |   40263   38530   996098    25.9 | 88.888 % |
1209.63/1210.05	c |   3403984 |   99829   203335 |   44290   38755  1008956    26.0 | 88.888 % |
1209.72/1210.11	c |   3404322 |   99829   203335 |   48719   39093  1026971    26.3 | 88.888 % |
1209.72/1210.18	c |   3404828 |   99829   203335 |   53591   39599  1053041    26.6 | 88.888 % |
1209.82/1210.27	c |   3405587 |   99829   203335 |   58950   40358  1093712    27.1 | 88.888 % |
1209.92/1210.38	c |   3406726 |   99829   203335 |   64845   41497  1157379    27.9 | 88.888 % |
1210.22/1210.60	c |   3408437 |   99829   203335 |   71330   43208  1272749    29.5 | 88.888 % |
1210.52/1210.92	c |   3410999 |   99829   203335 |   78463   45770  1436913    31.4 | 88.888 % |
1211.02/1211.45	c |   3414843 |   99829   203335 |   86309   49614  1670572    33.7 | 88.888 % |
1211.83/1212.28	c |   3420610 |   99825   203325 |   94940   55375  2005851    36.2 | 88.894 % |
1213.12/1213.56	c |   3429259 |   99825   203325 |  104434   64024  2617416    40.9 | 88.894 % |
1215.42/1215.84	c |   3442233 |   99815   203301 |  114877   76993  3540086    46.0 | 88.907 % |
1219.62/1220.00	c |   3461694 |   99815   203301 |  126365   96454  5052411    52.4 | 88.907 % |
1225.72/1226.16	c |   3490887 |   99797   203257 |  139002  125636  6702876    53.4 | 88.933 % |
1234.92/1235.33	c |   3534677 |   99784   203222 |  152902  169420  9209327    54.4 | 88.954 % |
1249.12/1249.57	c |   3600361 |   99773   203193 |  168192   67653  2694150    39.8 | 88.971 % |
1274.41/1274.82	c |   3698887 |   99747   203127 |  185011  166167  7716882    46.4 | 89.010 % |
1311.81/1312.23	c |   3846677 |   99657   202900 |  203512  114501  5260316    45.9 | 89.132 % |
1379.39/1379.82	c |   4068360 |   99648   202877 |  223864  125585  5289331    42.1 | 89.145 % |
1470.27/1470.79	c |   4400885 |   99609   202782 |  246250  227157 12283668    54.1 | 89.199 % |
1622.33/1622.86	c |   4899674 |   99561   202664 |  270875  215135  8861415    41.2 | 89.267 % |
1800.01/1800.50	c 
1800.01/1800.50	c *** TERMINATED ***
1800.01/1800.50	s SATISFIABLE
1800.01/1800.50	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	-51

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3723562-1338571700/watcher-3723562-1338571700 -o /tmp/evaluation-result-3723562-1338571700/solver-3723562-1338571700 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723562-1338571700.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.06 2.02 1.94 3/177 14580
/proc/meminfo: memFree=28668364/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14580/stat : 14580 (minisat+_script) S 14578 14580 12135 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323294460 9367552 277 33554432000 4194304 5064252 140737359693008 140737359691920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14580/statm: 2287 277 236 213 0 72 0

[startup+0.0789869 s]
/proc/loadavg: 2.06 2.02 1.94 3/177 14580
/proc/meminfo: memFree=28668364/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14580/stat : 14580 (minisat+_script) S 14578 14580 12135 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323294460 9367552 277 33554432000 4194304 5064252 140737359693008 140737359691920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14580/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100273 s]
/proc/loadavg: 2.06 2.02 1.94 3/177 14580
/proc/meminfo: memFree=28668364/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14580/stat : 14580 (minisat+_script) S 14578 14580 12135 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323294460 9367552 277 33554432000 4194304 5064252 140737359693008 140737359691920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14580/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300225 s]
/proc/loadavg: 2.06 2.02 1.94 3/177 14580
/proc/meminfo: memFree=28668364/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14580/stat : 14580 (minisat+_script) S 14578 14580 12135 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323294460 9367552 277 33554432000 4194304 5064252 140737359693008 140737359691920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14580/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700241 s]
/proc/loadavg: 2.06 2.02 1.94 3/177 14580
/proc/meminfo: memFree=28668364/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14580/stat : 14580 (minisat+_script) S 14578 14580 12135 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323294460 9367552 277 33554432000 4194304 5064252 140737359693008 140737359691920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14580/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50029 s]
/proc/loadavg: 2.06 2.02 1.94 3/179 14585
/proc/meminfo: memFree=28622444/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14580/stat : 14580 (minisat+_script) S 14578 14580 12135 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323294460 9367552 277 33554432000 4194304 5064252 140737359693008 140737359691920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14580/statm: 2287 277 236 213 0 72 0
[pid=14584] ppid=14580 vsize=47752 CPUtime=1.49 cores=0,2,4,6
/proc/14584/stat : 14584 (minisat+_64-bit) R 14580 14580 12135 0 -1 4202496 11613 0 0 0 144 5 0 0 20 0 1 0 323294460 48898048 11568 33554432000 4194304 5276501 140735349976592 140735349974840 4391506 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/14584/statm: 11938 11568 118 265 0 11670 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56900

[startup+3.10028 s]
/proc/loadavg: 2.06 2.02 1.94 3/179 14585
/proc/meminfo: memFree=28621824/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14580/stat : 14580 (minisat+_script) S 14578 14580 12135 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323294460 9367552 277 33554432000 4194304 5064252 140737359693008 140737359691920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14580/statm: 2287 277 236 213 0 72 0
[pid=14584] ppid=14580 vsize=47752 CPUtime=3.09 cores=0,2,4,6
/proc/14584/stat : 14584 (minisat+_64-bit) R 14580 14580 12135 0 -1 4202496 11613 0 0 0 304 5 0 0 20 0 1 0 323294460 48898048 11568 33554432000 4194304 5276501 140735349976592 140735349974840 4399741 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/14584/statm: 11938 11568 118 265 0 11670 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56900

[startup+6.30028 s]
/proc/loadavg: 2.06 2.02 1.94 3/179 14585
/proc/meminfo: memFree=28621464/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14580/stat : 14580 (minisat+_script) S 14578 14580 12135 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323294460 9367552 277 33554432000 4194304 5064252 140737359693008 140737359691920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14580/statm: 2287 277 236 213 0 72 0
[pid=14584] ppid=14580 vsize=47752 CPUtime=6.28 cores=0,2,4,6
/proc/14584/stat : 14584 (minisat+_64-bit) R 14580 14580 12135 0 -1 4202496 11613 0 0 0 623 5 0 0 20 0 1 0 323294460 48898048 11568 33554432000 4194304 5276501 140735349976592 140735349974840 4391556 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/14584/statm: 11938 11568 118 265 0 11670 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 56900

[startup+12.7003 s]
/proc/loadavg: 2.05 2.02 1.94 3/179 14585
/proc/meminfo: memFree=28621040/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14580/stat : 14580 (minisat+_script) S 14578 14580 12135 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323294460 9367552 277 33554432000 4194304 5064252 140737359693008 140737359691920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14580/statm: 2287 277 236 213 0 72 0
[pid=14584] ppid=14580 vsize=47752 CPUtime=12.68 cores=0,2,4,6
/proc/14584/stat : 14584 (minisat+_64-bit) R 14580 14580 12135 0 -1 4202496 11613 0 0 0 1263 5 0 0 20 0 1 0 323294460 48898048 11568 33554432000 4194304 5276501 140735349976592 140735349974840 4399904 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/14584/statm: 11938 11568 118 265 0 11670 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 56900

[startup+25.5003 s]
/proc/loadavg: 2.04 2.02 1.94 3/179 14585
/proc/meminfo: memFree=28605428/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14580/stat : 14580 (minisat+_script) S 14578 14580 12135 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323294460 9367552 277 33554432000 4194304 5064252 140737359693008 140737359691920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14580/statm: 2287 277 236 213 0 72 0
[pid=14584] ppid=14580 vsize=62668 CPUtime=25.48 cores=0,2,4,6
/proc/14584/stat : 14584 (minisat+_64-bit) R 14580 14580 12135 0 -1 4202496 15451 0 0 0 2542 6 0 0 20 0 1 0 323294460 64172032 15289 33554432000 4194304 5276501 140735349976592 140735349975000 4399947 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/14584/statm: 15667 15289 118 265 0 15399 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 71816

[startup+51.1003 s]
/proc/loadavg: 2.03 2.02 1.94 3/179 14585
/proc/meminfo: memFree=28566208/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14580/stat : 14580 (minisat+_script) S 14578 14580 12135 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323294460 9367552 277 33554432000 4194304 5064252 140737359693008 140737359691920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14580/statm: 2287 277 236 213 0 72 0
[pid=14584] ppid=14580 vsize=101120 CPUtime=51.06 cores=0,2,4,6
/proc/14584/stat : 14584 (minisat+_64-bit) R 14580 14580 12135 0 -1 4202496 24999 0 0 0 5098 8 0 0 20 0 1 0 323294460 103546880 24820 33554432000 4194304 5276501 140735349976592 140735349975000 4400452 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/14584/statm: 25280 24820 118 265 0 25012 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 110268

[startup+102.306 s]
/proc/loadavg: 2.01 2.01 1.94 3/180 14589
/proc/meminfo: memFree=28541416/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14580/stat : 14580 (minisat+_script) S 14578 14580 12135 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323294460 9367552 277 33554432000 4194304 5064252 140737359693008 140737359691920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14580/statm: 2287 277 236 213 0 72 0
[pid=14584] ppid=14580 vsize=119964 CPUtime=102.23 cores=0,2,4,6
/proc/14584/stat : 14584 (minisat+_64-bit) R 14580 14580 12135 0 -1 4202496 29806 0 0 0 10213 10 0 0 20 0 1 0 323294460 122843136 29596 33554432000 4194304 5276501 140735349976592 140735349974840 4399906 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/14584/statm: 29991 29596 118 265 0 29723 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 129112

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 14589
/proc/meminfo: memFree=28540492/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14580/stat : 14580 (minisat+_script) S 14578 14580 12135 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323294460 9367552 277 33554432000 4194304 5064252 140737359693008 140737359691920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14580/statm: 2287 277 236 213 0 72 0
[pid=14584] ppid=14580 vsize=120224 CPUtime=162.21 cores=0,2,4,6
/proc/14584/stat : 14584 (minisat+_64-bit) R 14580 14580 12135 0 -1 4202496 29891 0 0 0 16211 10 0 0 20 0 1 0 323294460 123109376 29681 33554432000 4194304 5276501 140735349976592 140735349974840 4399800 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/14584/statm: 30056 29681 118 265 0 29788 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 129372

[startup+222.3 s]
/proc/loadavg: 2.04 2.01 1.94 3/180 14590
/proc/meminfo: memFree=28522908/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14580/stat : 14580 (minisat+_script) S 14578 14580 12135 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323294460 9367552 277 33554432000 4194304 5064252 140737359693008 140737359691920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14580/statm: 2287 277 236 213 0 72 0
[pid=14584] ppid=14580 vsize=136364 CPUtime=222.19 cores=0,2,4,6
/proc/14584/stat : 14584 (minisat+_64-bit) R 14580 14580 12135 0 -1 4202496 33765 0 0 0 22206 13 0 0 20 0 1 0 323294460 139636736 33589 33554432000 4194304 5276501 140735349976592 140735349974840 4400117 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/14584/statm: 34091 33589 118 265 0 33823 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 145512

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 14590
/proc/meminfo: memFree=28520052/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14580/stat : 14580 (minisat+_script) S 14578 14580 12135 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323294460 9367552 277 33554432000 4194304 5064252 140737359693008 140737359691920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14580/statm: 2287 277 236 213 0 72 0
[pid=14584] ppid=14580 vsize=136348 CPUtime=282.17 cores=0,2,4,6
/proc/14584/stat : 14584 (minisat+_64-bit) R 14580 14580 12135 0 -1 4202496 33765 0 0 0 28204 13 0 0 20 0 1 0 323294460 139620352 33589 33554432000 4194304 5276501 140735349976592 140735349974840 4399804 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/14584/statm: 34087 33589 118 265 0 33819 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 145496

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 14590
/proc/meminfo: memFree=28517944/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14580/stat : 14580 (minisat+_script) S 14578 14580 12135 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323294460 9367552 277 33554432000 4194304 5064252 140737359693008 140737359691920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14580/statm: 2287 277 236 213 0 72 0
[pid=14584] ppid=14580 vsize=136852 CPUtime=342.16 cores=0,2,4,6
/proc/14584/stat : 14584 (minisat+_64-bit) R 14580 14580 12135 0 -1 4202496 33888 0 0 0 34203 13 0 0 20 0 1 0 323294460 140136448 33708 33554432000 4194304 5276501 140735349976592 140735349974840 4399850 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/14584/statm: 34213 33708 118 265 0 33945 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 146000

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 14591
/proc/meminfo: memFree=28515464/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/14580/statm: 2287 277 236 213 0 72 0
[pid=14584] ppid=14580 vsize=151540 CPUtime=1121.95 cores=0,2,4,6
/proc/14584/stat : 14584 (minisat+_64-bit) R 14580 14580 12135 0 -1 4202496 37086 0 0 0 112181 14 0 0 20 0 1 0 323294460 155176960 36898 33554432000 4194304 5276501 140735349976592 140735349974776 4399816 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/14584/statm: 37885 36898 118 265 0 37617 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 160688

[startup+1182.3 s]
/proc/loadavg: 2.05 2.01 1.95 3/179 14639
/proc/meminfo: memFree=28449996/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14580/stat : 14580 (minisat+_script) S 14578 14580 12135 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323294460 9367552 277 33554432000 4194304 5064252 140737359693008 140737359691920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14580/statm: 2287 277 236 213 0 72 0
[pid=14584] ppid=14580 vsize=152956 CPUtime=1181.93 cores=0,2,4,6
/proc/14584/stat : 14584 (minisat+_64-bit) R 14580 14580 12135 0 -1 4202496 37325 0 0 0 118179 14 0 0 20 0 1 0 323294460 156626944 37137 33554432000 4194304 5276501 140735349976592 140735349975016 4400020 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/14584/statm: 38239 37137 118 265 0 37971 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 162104

[startup+1242.3 s]
/proc/loadavg: 2.09 2.02 1.96 3/179 14639
/proc/meminfo: memFree=28394692/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14580/stat : 14580 (minisat+_script) S 14578 14580 12135 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323294460 9367552 277 33554432000 4194304 5064252 140737359693008 140737359691920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14580/statm: 2287 277 236 213 0 72 0
[pid=14584] ppid=14580 vsize=153260 CPUtime=1241.91 cores=0,2,4,6
/proc/14584/stat : 14584 (minisat+_64-bit) R 14580 14580 12135 0 -1 4202496 37404 0 0 0 124177 14 0 0 20 0 1 0 323294460 156938240 37216 33554432000 4194304 5276501 140735349976592 140735349974840 4399869 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/14584/statm: 38315 37216 118 265 0 38047 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 162408

[startup+1302.3 s]
/proc/loadavg: 2.11 2.03 1.96 3/180 14642
/proc/meminfo: memFree=28341120/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14580/stat : 14580 (minisat+_script) S 14578 14580 12135 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323294460 9367552 277 33554432000 4194304 5064252 140737359693008 140737359691920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14580/statm: 2287 277 236 213 0 72 0
[pid=14584] ppid=14580 vsize=153584 CPUtime=1301.91 cores=0,2,4,6
/proc/14584/stat : 14584 (minisat+_64-bit) R 14580 14580 12135 0 -1 4202496 37479 0 0 0 130176 15 0 0 20 0 1 0 323294460 157270016 37291 33554432000 4194304 5276501 140735349976592 140735349975016 4390373 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/14584/statm: 38396 37291 118 265 0 38128 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 162732

[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 1.96 3/179 14643
/proc/meminfo: memFree=28341348/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14580/stat : 14580 (minisat+_script) S 14578 14580 12135 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323294460 9367552 277 33554432000 4194304 5064252 140737359693008 140737359691920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14580/statm: 2287 277 236 213 0 72 0
[pid=14584] ppid=14580 vsize=154160 CPUtime=1361.89 cores=0,2,4,6
/proc/14584/stat : 14584 (minisat+_64-bit) R 14580 14580 12135 0 -1 4202496 37605 0 0 0 136174 15 0 0 20 0 1 0 323294460 157859840 37417 33554432000 4194304 5276501 140735349976592 140735349975016 4399958 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/14584/statm: 38540 37417 118 265 0 38272 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 163308

[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 1.96 3/179 14643
/proc/meminfo: memFree=28320220/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14580/stat : 14580 (minisat+_script) S 14578 14580 12135 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323294460 9367552 277 33554432000 4194304 5064252 140737359693008 140737359691920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14580/statm: 2287 277 236 213 0 72 0
[pid=14584] ppid=14580 vsize=154808 CPUtime=1421.88 cores=0,2,4,6
/proc/14584/stat : 14584 (minisat+_64-bit) R 14580 14580 12135 0 -1 4202496 37724 0 0 0 142173 15 0 0 20 0 1 0 323294460 158523392 37536 33554432000 4194304 5276501 140735349976592 140735349974824 4399937 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/14584/statm: 38702 37536 118 265 0 38434 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 163956

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/179 14643
/proc/meminfo: memFree=28311424/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14580/stat : 14580 (minisat+_script) S 14578 14580 12135 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323294460 9367552 277 33554432000 4194304 5064252 140737359693008 140737359691920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14580/statm: 2287 277 236 213 0 72 0
[pid=14584] ppid=14580 vsize=155096 CPUtime=1481.86 cores=0,2,4,6
/proc/14584/stat : 14584 (minisat+_64-bit) R 14580 14580 12135 0 -1 4202496 37790 0 0 0 148171 15 0 0 20 0 1 0 323294460 158818304 37602 33554432000 4194304 5276501 140735349976592 140735349974840 4399854 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/14584/statm: 38774 37602 118 265 0 38506 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 164244

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 1.96 3/179 14643
/proc/meminfo: memFree=28249920/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14580/stat : 14580 (minisat+_script) S 14578 14580 12135 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323294460 9367552 277 33554432000 4194304 5064252 140737359693008 140737359691920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14580/statm: 2287 277 236 213 0 72 0
[pid=14584] ppid=14580 vsize=159680 CPUtime=1541.84 cores=0,2,4,6
/proc/14584/stat : 14584 (minisat+_64-bit) R 14580 14580 12135 0 -1 4202496 38887 0 0 0 154169 15 0 0 20 0 1 0 323294460 163512320 38699 33554432000 4194304 5276501 140735349976592 140735349974776 4399992 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/14584/statm: 39920 38699 118 265 0 39652 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 168828

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 14643
/proc/meminfo: memFree=28248556/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14580/stat : 14580 (minisat+_script) S 14578 14580 12135 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323294460 9367552 277 33554432000 4194304 5064252 140737359693008 140737359691920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14580/statm: 2287 277 236 213 0 72 0
[pid=14584] ppid=14580 vsize=160720 CPUtime=1601.83 cores=0,2,4,6
/proc/14584/stat : 14584 (minisat+_64-bit) R 14580 14580 12135 0 -1 4202496 39147 0 0 0 160168 15 0 0 20 0 1 0 323294460 164577280 38959 33554432000 4194304 5276501 140735349976592 140735349974776 4399826 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/14584/statm: 40180 38959 118 265 0 39912 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 169868

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 14644
/proc/meminfo: memFree=28245928/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14580/stat : 14580 (minisat+_script) S 14578 14580 12135 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323294460 9367552 277 33554432000 4194304 5064252 140737359693008 140737359691920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14580/statm: 2287 277 236 213 0 72 0
[pid=14584] ppid=14580 vsize=162412 CPUtime=1661.82 cores=0,2,4,6
/proc/14584/stat : 14584 (minisat+_64-bit) R 14580 14580 12135 0 -1 4202496 39465 0 0 0 166167 15 0 0 20 0 1 0 323294460 166309888 39277 33554432000 4194304 5276501 140735349976592 140735349974776 4399816 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/14584/statm: 40603 39277 118 265 0 40335 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 171560

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/179 14644
/proc/meminfo: memFree=28239008/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14580/stat : 14580 (minisat+_script) S 14578 14580 12135 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323294460 9367552 277 33554432000 4194304 5064252 140737359693008 140737359691920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14580/statm: 2287 277 236 213 0 72 0
[pid=14584] ppid=14580 vsize=165024 CPUtime=1721.82 cores=0,2,4,6
/proc/14584/stat : 14584 (minisat+_64-bit) R 14580 14580 12135 0 -1 4202496 39828 0 0 0 172166 16 0 0 20 0 1 0 323294460 168984576 39619 33554432000 4194304 5276501 140735349976592 140735349974824 4400448 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/14584/statm: 41256 39619 118 265 0 40988 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 174172

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 14644
/proc/meminfo: memFree=28236920/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14580/stat : 14580 (minisat+_script) S 14578 14580 12135 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323294460 9367552 277 33554432000 4194304 5064252 140737359693008 140737359691920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14580/statm: 2287 277 236 213 0 72 0
[pid=14584] ppid=14580 vsize=166260 CPUtime=1781.81 cores=0,2,4,6
/proc/14584/stat : 14584 (minisat+_64-bit) R 14580 14580 12135 0 -1 4202496 40059 0 0 0 178165 16 0 0 20 0 1 0 323294460 170250240 39962 33554432000 4194304 5276501 140735349976592 140735349974824 4399850 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/14584/statm: 41565 39962 118 265 0 41297 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 175408



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 14644
/proc/meminfo: memFree=28237044/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14580/stat : 14580 (minisat+_script) S 14578 14580 12135 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323294460 9367552 277 33554432000 4194304 5064252 140737359693008 140737359691920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14580/statm: 2287 277 236 213 0 72 0
[pid=14584] ppid=14580 vsize=166260 CPUtime=1800.01 cores=0,2,4,6
/proc/14584/stat : 14584 (minisat+_64-bit) R 14580 14580 12135 0 -1 4202496 40061 0 0 0 179985 16 0 0 20 0 1 0 323294460 170250240 39964 33554432000 4194304 5276501 140735349976592 140735349974824 4399969 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/14584/statm: 41565 39964 118 265 0 41297 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 175408

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 14644
/proc/meminfo: memFree=28237044/32873648 swapFree=7388/7388
[pid=14580] ppid=14578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14580/stat : 14580 (minisat+_script) S 14578 14580 12135 0 -1 4202496 383 552 0 0 0 0 0 0 20 0 1 0 323294460 9367552 277 33554432000 4194304 5064252 140737359693008 140737359691920 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/14580/statm: 2287 277 236 213 0 72 0
[pid=14584] ppid=14580 vsize=166260 CPUtime=1800.01 cores=0,2,4,6
/proc/14584/stat : 14584 (minisat+_64-bit) R 14580 14580 12135 0 -1 4202496 40061 0 0 0 179985 16 0 0 20 0 1 0 323294460 170250240 39964 33554432000 4194304 5276501 140735349976592 140735349974824 4399969 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/14584/statm: 41565 39964 118 265 0 41297 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 175408

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.85
CPU system time (s): 0.170974
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 175408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.170974
maximum resident set size= 159860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41008
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= 78
involuntary context switches= 2311

runsolver used 2.82657 second user time and 7.09192 second system time

The end

Launcher Data 

Begin job on node148 at 2012-06-01 19:28:20
IDJOB=3723562
IDBENCH=2258
IDSOLVER=2307
FILE ID=node148/3723562-1338571700
RUNJOBID= node148-1338569190-13957
PBS_JOBID= 14635836
Free space on /tmp= 71396 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-5.opb
COMMAND LINE= minisat+_script BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723562-1338571700/watcher-3723562-1338571700 -o /tmp/evaluation-result-3723562-1338571700/solver-3723562-1338571700 -C 1800 -W 1900 -M 15500  minisat+_script HOME/instance-3723562-1338571700.opb

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

MD5SUM BENCH= 20471e978018d28aed0ca16c46de4e3d
RANDOM SEED=1846250676

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28668364 kB
Buffers:          559828 kB
Cached:          2682860 kB
SwapCached:          628 kB
Active:          1321696 kB
Inactive:        1982440 kB
Active(anon):      50796 kB
Inactive(anon):    10672 kB
Active(file):    1270900 kB
Inactive(file):  1971768 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67107564 kB
Dirty:              4676 kB
Writeback:             0 kB
AnonPages:         96036 kB
Mapped:            11428 kB
Shmem:                36 kB
Slab:             764208 kB
SReclaimable:     208400 kB
SUnreclaim:       555808 kB
KernelStack:        1488 kB
PageTables:         4288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     175748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71392 MiB
End job on node148 at 2012-06-01 19:58:20