Trace number 3723561

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB12: minisatp 1.0-2-g022594cSAT (TO)-50 1800.06 1800.41

General information on the benchmark

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

Solver Data 

0.00/0.00	c Parsing PB file...
0.00/0.10	c Converting 94308 PB-constraints to clauses...
0.00/0.10	c   -- Unit propagations: (none)
0.00/0.10	c   -- Detecting intervals from adjacent constraints: (none)
0.00/0.11	c   -- Clauses(.)/Splits(s): ....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.00/0.18	c ==================================[MINISAT+]==================================
0.00/0.18	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.18	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.18	c ==============================================================================
0.00/0.18	c |         0 |   94308   188616 |   31436       0        0    -nan |  0.000 % |
0.00/0.18	c ==============================================================================
0.00/0.18	c Found solution: -35
0.00/0.18	c ---[   0]---> Sorter-cost:70300     Base:
0.00/0.22	c ==================================[MINISAT+]==================================
0.00/0.22	c | Conflicts | Original         | Learnt                           | Progress |
0.00/0.22	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.00/0.22	c ==============================================================================
0.00/0.22	c |         0 |  169359   364682 |   56453       0        0    -nan |  0.000 % |
0.00/0.33	c |       100 |  168922   363775 |   62098      77      709     9.2 |  0.462 % |
0.00/0.43	c |       250 |  168305   362472 |   68308     192     1716     8.9 |  1.133 % |
0.00/0.61	c |       475 |  166978   359599 |   75138     381     5781    15.2 |  2.646 % |
0.00/0.82	c |       812 |  165218   355749 |   82652     626     8251    13.2 |  4.692 % |
1.09/1.13	c |      1318 |  162383   349476 |   90918     969    12154    12.5 |  8.056 % |
1.59/1.66	c |      2077 |  157617   338824 |  100009    1476    17994    12.2 | 13.811 % |
2.29/2.32	c |      3216 |  151802   325721 |  110010    2318    29720    12.8 | 20.921 % |
3.29/3.35	c |      4924 |  142427   304352 |  121012    3520    44843    12.7 | 32.604 % |
4.39/4.49	c ==============================================================================
4.39/4.49	c Found solution: -37
4.39/4.49	c ---[   0]---> Sorter-cost:    0     Base:
4.49/4.50	c ==================================[MINISAT+]==================================
4.49/4.50	c | Conflicts | Original         | Learnt                           | Progress |
4.49/4.50	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
4.49/4.50	c ==============================================================================
4.49/4.50	c |      7360 |  131911   280030 |   43970    5193    63730    12.3 | 32.604 % |
4.49/4.54	c |      7460 |  131659   279448 |   48367    5280    64476    12.2 | 46.192 % |
4.49/4.59	c |      7610 |  131201   278386 |   53203    5319    64450    12.1 | 46.774 % |
4.59/4.67	c |      7835 |  130567   276894 |   58524    5465    65775    12.0 | 47.592 % |
4.89/4.94	c |      8172 |  129298   273906 |   64376    5631    68391    12.1 | 49.235 % |
4.99/5.06	c |      8679 |  127170   268899 |   70814    5940    72080    12.1 | 52.017 % |
5.29/5.30	c |      9440 |  125129   264042 |   77895    6467    77493    12.0 | 54.744 % |
5.78/5.82	c |     10580 |  120580   253179 |   85685    6980    85829    12.3 | 60.825 % |
6.08/6.15	c ==============================================================================
6.08/6.15	c Found solution: -40
6.08/6.15	c ---[   0]---> Sorter-cost:    0     Base:
6.08/6.16	c ==================================[MINISAT+]==================================
6.08/6.16	c | Conflicts | Original         | Learnt                           | Progress |
6.08/6.16	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
6.08/6.16	c ==============================================================================
6.08/6.16	c |     11686 |  118131   247397 |   39377    7670    91512    11.9 | 60.825 % |
6.08/6.18	c |     11786 |  118047   247204 |   43314    7751    92372    11.9 | 64.329 % |
6.18/6.22	c |     11936 |  117735   246456 |   47646    7847    93961    12.0 | 64.762 % |
6.18/6.28	c |     12162 |  117552   246030 |   52410    8045    95949    11.9 | 64.985 % |
6.28/6.34	c |     12499 |  117362   245574 |   57651    8344    99645    11.9 | 65.235 % |
6.38/6.46	c |     13005 |  116569   243706 |   63417    8739   106240    12.2 | 66.269 % |
6.59/6.68	c |     13764 |  114481   238751 |   69758    9079   111691    12.3 | 69.014 % |
6.88/6.95	c |     14903 |  112538   234150 |   76734    9507   120551    12.7 | 71.531 % |
7.18/7.27	c |     16611 |  110784   229969 |   84408   10812   143755    13.3 | 73.880 % |
7.59/7.61	c ==============================================================================
7.59/7.61	c Found solution: -41
7.59/7.61	c ---[   0]---> Sorter-cost:    0     Base:
7.59/7.62	c ==================================[MINISAT+]==================================
7.59/7.62	c | Conflicts | Original         | Learnt                           | Progress |
7.59/7.62	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
7.59/7.62	c ==============================================================================
7.59/7.62	c |     18326 |  109301   226409 |   36433   12038   186539    15.5 | 73.880 % |
7.59/7.65	c |     18426 |  109111   225943 |   40076   12037   186825    15.5 | 76.193 % |
7.59/7.68	c |     18576 |  108964   225590 |   44083   12048   188350    15.6 | 76.392 % |
7.69/7.77	c |     18801 |  108297   223985 |   48492   12014   189436    15.8 | 77.291 % |
7.78/7.83	c |     19138 |  107879   222950 |   53341   12145   194524    16.0 | 77.882 % |
7.88/7.92	c |     19644 |  107430   221869 |   58675   12457   206847    16.6 | 78.490 % |
7.98/8.07	c |     20403 |  106815   220397 |   64543   12928   221292    17.1 | 79.321 % |
8.18/8.26	c |     21542 |  106398   219391 |   70997   13832   258994    18.7 | 79.879 % |
8.48/8.50	c |     23250 |  105814   218005 |   78097   15235   310444    20.4 | 80.643 % |
8.69/8.71	c ==============================================================================
8.69/8.71	c Found solution: -42
8.69/8.71	c ---[   0]---> Sorter-cost:    0     Base:
8.69/8.72	c ==================================[MINISAT+]==================================
8.69/8.72	c | Conflicts | Original         | Learnt                           | Progress |
8.69/8.72	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
8.69/8.72	c ==============================================================================
8.69/8.72	c |     24359 |  105035   215992 |   35011   16089   363293    22.6 | 80.643 % |
8.69/8.78	c |     24460 |  104662   215071 |   38512   16022   362999    22.7 | 82.231 % |
8.79/8.85	c |     24610 |  104221   214009 |   42363   16022   363841    22.7 | 82.834 % |
8.79/8.89	c |     24835 |  104113   213757 |   46599   16176   386292    23.9 | 82.974 % |
8.88/8.93	c |     25172 |  104108   213746 |   51259   16511   397432    24.1 | 82.980 % |
8.88/8.98	c |     25678 |  104104   213736 |   56385   17011   413278    24.3 | 82.986 % |
9.08/9.10	c |     26437 |  103979   213429 |   62024   17557   450246    25.6 | 83.161 % |
9.18/9.23	c |     27576 |  103920   213276 |   68226   18578   498010    26.8 | 83.251 % |
9.38/9.45	c |     29284 |  103866   213148 |   75049   20251   616383    30.4 | 83.323 % |
9.79/9.81	c |     31846 |  103607   212515 |   82554   22436   779217    34.7 | 83.684 % |
9.79/9.90	c ==============================================================================
9.79/9.90	c Found solution: -43
9.79/9.90	c ---[   0]---> Sorter-cost:    0     Base:
9.89/9.91	c ==================================[MINISAT+]==================================
9.89/9.91	c | Conflicts | Original         | Learnt                           | Progress |
9.89/9.91	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
9.89/9.91	c ==============================================================================
9.89/9.91	c |     32070 |  103451   212174 |   34483   22396   781776    34.9 | 83.684 % |
9.89/9.93	c |     32171 |  103451   212174 |   37931   22497   787095    35.0 | 83.926 % |
9.89/9.95	c |     32321 |  103451   212174 |   41724   22647   792983    35.0 | 83.926 % |
9.89/9.98	c |     32546 |  103451   212174 |   45896   22872   803742    35.1 | 83.926 % |
9.98/10.06	c |     32884 |  103266   211735 |   50486   22929   812741    35.4 | 84.171 % |
10.08/10.17	c |     33390 |  103072   211249 |   55535   23220   828075    35.7 | 84.452 % |
10.28/10.30	c |     34150 |  102993   211056 |   61088   23925   871004    36.4 | 84.562 % |
10.38/10.47	c |     35289 |  102937   210922 |   67197   25047   931328    37.2 | 84.638 % |
10.68/10.75	c |     36997 |  102935   210918 |   73917   26749  1154520    43.2 | 84.640 % |
10.89/10.99	c ==============================================================================
10.89/10.99	c Found solution: -44
10.89/10.99	c ---[   0]---> Sorter-cost:    0     Base:
10.99/11.00	c ==================================[MINISAT+]==================================
10.99/11.00	c | Conflicts | Original         | Learnt                           | Progress |
10.99/11.00	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
10.99/11.00	c ==============================================================================
10.99/11.00	c |     38511 |  102924   210870 |   34308   28069  1266390    45.1 | 84.640 % |
10.99/11.03	c |     38611 |  102923   210867 |   37738   28135  1267571    45.1 | 84.660 % |
10.99/11.05	c |     38762 |  102923   210867 |   41512   28286  1275003    45.1 | 84.660 % |
10.99/11.09	c |     38988 |  102923   210867 |   45663   28512  1284607    45.1 | 84.660 % |
11.08/11.17	c |     39325 |  102876   210748 |   50230   28733  1305662    45.4 | 84.724 % |
11.18/11.26	c |     39831 |  102784   210521 |   55253   29059  1331310    45.8 | 84.853 % |
11.28/11.38	c |     40590 |  102784   210521 |   60778   29818  1377761    46.2 | 84.853 % |
11.58/11.61	c |     41729 |  102668   210245 |   66856   30583  1469640    48.1 | 85.005 % |
11.88/11.93	c |     43437 |  102627   210148 |   73542   32276  1716412    53.2 | 85.059 % |
12.38/12.41	c |     45999 |  102558   209966 |   80896   34606  1960428    56.6 | 85.164 % |
12.98/13.02	c ==============================================================================
12.98/13.02	c Found solution: -45
12.98/13.02	c ---[   0]---> Sorter-cost:    0     Base:
12.98/13.05	c ==================================[MINISAT+]==================================
12.98/13.05	c | Conflicts | Original         | Learnt                           | Progress |
12.98/13.05	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
12.98/13.05	c ==============================================================================
12.98/13.05	c |     49400 |  102531   209912 |   34177   37908  2240766    59.1 | 85.164 % |
12.98/13.06	c |     49500 |  102531   209912 |   37594   38008  2244334    59.0 | 85.212 % |
12.98/13.09	c |     49652 |  102531   209912 |   41354   38160  2256313    59.1 | 85.212 % |
13.09/13.13	c |     49877 |  102531   209912 |   45489   38385  2267124    59.1 | 85.212 % |
13.09/13.20	c |     50215 |  102531   209912 |   50038   38723  2294563    59.3 | 85.212 % |
13.19/13.29	c |     50721 |  102496   209819 |   55042   39210  2331868    59.5 | 85.268 % |
13.38/13.47	c |     51480 |  102457   209721 |   60546   39943  2379045    59.6 | 85.323 % |
13.68/13.72	c |     52619 |  102457   209721 |   66601   41082  2532310    61.6 | 85.323 % |
13.98/14.08	c |     54327 |  102447   209697 |   73261   42783  2751975    64.3 | 85.336 % |
14.48/14.58	c |     56890 |  102447   209697 |   80587   45346  3026328    66.7 | 85.336 % |
15.48/15.58	c |     60735 |  102189   209062 |   88646   48544  3351238    69.0 | 85.700 % |
16.98/17.07	c |     66501 |  102186   209055 |   97510   54307  4290928    79.0 | 85.704 % |
19.18/19.26	c |     75150 |  102124   208915 |  107262   62787  5307157    84.5 | 85.780 % |
23.28/23.32	c |     88124 |  101707   207920 |  117988   74657  6888844    92.3 | 86.334 % |
24.58/24.61	c ==============================================================================
24.58/24.61	c Found solution: -46
24.58/24.61	c ---[   0]---> Sorter-cost:    0     Base:
24.58/24.67	c ==================================[MINISAT+]==================================
24.58/24.67	c | Conflicts | Original         | Learnt                           | Progress |
24.58/24.67	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
24.58/24.67	c ==============================================================================
24.58/24.67	c |     92677 |  101696   207855 |   33898   78627  7336456    93.3 | 86.334 % |
24.68/24.77	c |     92777 |  101616   207651 |   37287   21663  1613674    74.5 | 86.470 % |
24.78/24.82	c |     92927 |  101604   207619 |   41016   21792  1622429    74.5 | 86.490 % |
24.78/24.86	c |     93152 |  101548   207481 |   45118   22003  1634975    74.3 | 86.566 % |
24.88/24.92	c |     93489 |  101548   207481 |   49630   22340  1666001    74.6 | 86.566 % |
24.98/25.05	c |     93995 |  101413   207156 |   54593   22806  1699731    74.5 | 86.747 % |
25.08/25.20	c |     94755 |  101408   207145 |   60052   23546  1801453    76.5 | 86.752 % |
25.29/25.39	c |     95896 |  101408   207145 |   66057   24687  1944213    78.8 | 86.752 % |
25.68/25.72	c |     97604 |  101408   207145 |   72663   26395  2209161    83.7 | 86.752 % |
26.08/26.17	c |    100166 |  101408   207145 |   79929   28957  2464721    85.1 | 86.752 % |
26.88/26.94	c |    104011 |  101408   207145 |   87922   32802  2964791    90.4 | 86.752 % |
28.08/28.18	c |    109779 |  101403   207134 |   96714   38563  3961169   102.7 | 86.758 % |
30.18/30.20	c |    118429 |  101383   207088 |  106386   47199  4952201   104.9 | 86.783 % |
33.58/33.60	c |    131403 |  101371   207060 |  117025   60089  6642425   110.5 | 86.799 % |
39.27/39.39	c ==============================================================================
39.27/39.39	c Found solution: -47
39.27/39.40	c ---[   0]---> Sorter-cost:    0     Base:
39.37/39.45	c ==================================[MINISAT+]==================================
39.37/39.45	c | Conflicts | Original         | Learnt                           | Progress |
39.37/39.45	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
39.37/39.45	c ==============================================================================
39.37/39.45	c |    149495 |  101402   207147 |   33800   78181  9421040   120.5 | 86.799 % |
39.37/39.49	c |    149595 |  101402   207147 |   37180   78281  9429186   120.5 | 86.793 % |
39.58/39.62	c |    149745 |  101363   207058 |   40898   78426  9432638   120.3 | 86.839 % |
39.67/39.70	c |    149972 |  101363   207058 |   44987   78653  9459756   120.3 | 86.839 % |
39.77/39.80	c |    150309 |  101363   207058 |   49486   78990  9496306   120.2 | 86.839 % |
39.87/39.96	c |    150815 |  101363   207058 |   54435   79496  9548123   120.1 | 86.839 % |
40.17/40.20	c |    151575 |  101363   207058 |   59878   80256  9694034   120.8 | 86.839 % |
40.47/40.53	c |    152716 |  101363   207058 |   65866   81397  9847010   121.0 | 86.839 % |
40.97/41.02	c |    154424 |  101363   207058 |   72453   83105 10040681   120.8 | 86.839 % |
41.87/41.90	c |    156986 |  101288   206879 |   79698   85551 10338734   120.8 | 86.940 % |
42.98/43.06	c |    160830 |  101286   206873 |   87668   89381 10799880   120.8 | 86.944 % |
44.78/44.88	c |    166596 |  101286   206873 |   96435   95147 11543453   121.3 | 86.944 % |
47.67/47.71	c |    175245 |  101286   206873 |  106078  103796 12436035   119.8 | 86.944 % |
52.37/52.49	c |    188220 |  101283   206866 |  116686  116770 13856142   118.7 | 86.948 % |
60.78/60.88	c |    207681 |  101279   206856 |  128355  136228 15918051   116.8 | 86.954 % |
73.57/73.64	c |    236873 |  101279   206856 |  141190  165420 18403088   111.3 | 86.954 % |
89.16/89.27	c |    280662 |  101279   206856 |  155310   40587  4078178   100.5 | 86.954 % |
104.75/104.80	c |    346346 |  101075   206353 |  170841  106170 10818538   101.9 | 87.241 % |
138.72/138.82	c ==============================================================================
138.72/138.82	c Found solution: -48
138.72/138.82	c ---[   0]---> Sorter-cost:    0     Base:
138.82/138.95	c ==================================[MINISAT+]==================================
138.82/138.95	c | Conflicts | Original         | Learnt                           | Progress |
138.82/138.95	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
138.82/138.95	c ==============================================================================
138.82/138.95	c |    444547 |  100901   205919 |   33633  204221 23546052   115.3 | 87.241 % |
139.52/139.62	c |    444647 |  100901   205919 |   36996   22383  1496366    66.9 | 87.474 % |
139.52/139.65	c |    444797 |  100894   205902 |   40695   22530  1505172    66.8 | 87.484 % |
139.52/139.69	c |    445022 |  100860   205818 |   44765   22733  1511502    66.5 | 87.530 % |
139.62/139.75	c |    445359 |  100838   205770 |   49242   23057  1523264    66.1 | 87.555 % |
139.71/139.81	c |    445865 |  100838   205770 |   54166   23563  1570637    66.7 | 87.555 % |
139.71/139.88	c |    446625 |  100838   205770 |   59582   24323  1632728    67.1 | 87.555 % |
139.81/139.99	c |    447765 |  100810   205698 |   65541   25461  1685007    66.2 | 87.598 % |
140.11/140.20	c |    449474 |  100801   205675 |   72095   27167  1829747    67.4 | 87.612 % |
140.31/140.48	c |    452037 |  100801   205675 |   79304   29730  2021803    68.0 | 87.612 % |
140.91/141.07	c |    455881 |  100801   205675 |   87235   33574  2428301    72.3 | 87.612 % |
141.72/141.89	c |    461648 |  100801   205675 |   95958   39341  3011164    76.5 | 87.612 % |
143.11/143.22	c |    470298 |  100687   205395 |  105554   47841  3762259    78.6 | 87.772 % |
145.41/145.53	c |    483272 |  100662   205334 |  116110   60769  4894951    80.6 | 87.805 % |
146.31/146.42	c ==============================================================================
146.31/146.42	c Found solution: -49
146.31/146.42	c ---[   0]---> Sorter-cost:    0     Base:
146.31/146.45	c ==================================[MINISAT+]==================================
146.31/146.45	c | Conflicts | Original         | Learnt                           | Progress |
146.31/146.45	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
146.31/146.45	c ==============================================================================
146.31/146.45	c |    488922 |  100680   205380 |   33560   66419  5329707    80.2 | 87.805 % |
146.31/146.48	c |    489023 |  100680   205380 |   36916   66520  5335017    80.2 | 87.789 % |
146.41/146.51	c |    489173 |  100680   205380 |   40607   66670  5344151    80.2 | 87.789 % |
146.41/146.56	c |    489399 |  100680   205380 |   44668   66896  5355557    80.1 | 87.789 % |
146.51/146.63	c |    489736 |  100680   205380 |   49135   67233  5385136    80.1 | 87.789 % |
146.61/146.72	c |    490242 |  100680   205380 |   54048   67739  5415971    80.0 | 87.789 % |
146.71/146.89	c |    491003 |  100647   205297 |   59453   68466  5472474    79.9 | 87.837 % |
146.91/147.09	c |    492142 |  100647   205297 |   65398   69605  5557581    79.8 | 87.838 % |
147.32/147.44	c |    493850 |  100647   205297 |   71938   71313  5673938    79.6 | 87.838 % |
147.81/147.99	c |    496412 |  100647   205297 |   79132   73875  5915407    80.1 | 87.838 % |
148.71/148.86	c |    500257 |  100647   205297 |   87045   77720  6255302    80.5 | 87.838 % |
149.91/150.05	c |    506023 |  100642   205286 |   95750   83484  6693837    80.2 | 87.843 % |
151.91/152.05	c |    514672 |  100642   205286 |  105325   92133  7504124    81.4 | 87.843 % |
154.81/154.94	c |    527646 |  100639   205279 |  115858  105105  8457822    80.5 | 87.847 % |
159.71/159.82	c |    547108 |  100635   205269 |  127444  124564  9627903    77.3 | 87.853 % |
169.21/169.39	c |    576300 |  100635   205269 |  140188  153756 11136415    72.4 | 87.853 % |
182.51/182.67	c |    620090 |  100591   205173 |  154207   34312  1325467    38.6 | 87.903 % |
197.00/197.17	c |    685775 |  100591   205173 |  169628   99997  5328054    53.3 | 87.903 % |
226.80/226.93	c |    784302 |  100546   205064 |  186590  198490 12503162    63.0 | 87.965 % |
265.00/265.15	c |    932091 |  100526   205018 |  205249  135222  8925909    66.0 | 87.991 % |
338.68/338.81	c |   1153777 |  100515   204993 |  225774  130162  7379247    56.7 | 88.004 % |
457.55/457.79	c |   1486304 |  100482   204912 |  248352  218533  8676377    39.7 | 88.051 % |
629.04/629.23	c |   1985092 |  100391   204684 |  273187  180459  8985968    49.8 | 88.181 % |
948.58/948.81	c |   2733274 |  100310   204475 |  300506   77783  2642481    34.0 | 88.305 % |
1422.61/1422.96	c |   3855548 |  100240   204311 |  330557  259478 11141871    42.9 | 88.396 % |
1680.16/1680.57	c ==============================================================================
1680.16/1680.57	c Found solution: -50
1680.16/1680.57	c ---[   0]---> Sorter-cost:    0     Base:
1680.16/1680.59	c ==================================[MINISAT+]==================================
1680.16/1680.59	c | Conflicts | Original         | Learnt                           | Progress |
1680.16/1680.59	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1680.16/1680.59	c ==============================================================================
1680.16/1680.59	c |   4332379 |  100221   204246 |   33407   54993  1648481    30.0 | 88.396 % |
1680.26/1680.61	c |   4332479 |  100221   204246 |   36747   55093  1651723    30.0 | 88.423 % |
1680.26/1680.65	c |   4332629 |  100221   204246 |   40422   55243  1657165    30.0 | 88.423 % |
1680.36/1680.72	c |   4332854 |  100221   204246 |   44464   55468  1665397    30.0 | 88.423 % |
1680.46/1680.80	c |   4333192 |  100221   204246 |   48911   55806  1677606    30.1 | 88.423 % |
1680.56/1680.91	c |   4333698 |  100221   204246 |   53802   56312  1697419    30.1 | 88.423 % |
1680.66/1681.10	c |   4334457 |  100221   204246 |   59182   57071  1728545    30.3 | 88.423 % |
1680.96/1681.31	c |   4335596 |  100221   204246 |   65100   58210  1771631    30.4 | 88.423 % |
1681.26/1681.61	c |   4337305 |  100221   204246 |   71610   59919  1842696    30.8 | 88.423 % |
1681.76/1682.13	c |   4339867 |  100221   204246 |   78771   62481  1946132    31.1 | 88.423 % |
1682.56/1682.96	c |   4343711 |  100221   204246 |   86649   66325  2103347    31.7 | 88.423 % |
1683.86/1684.24	c |   4349478 |  100221   204246 |   95314   72092  2337491    32.4 | 88.423 % |
1685.86/1686.21	c |   4358127 |  100214   204229 |  104845   80737  2699282    33.4 | 88.433 % |
1689.66/1690.00	c |   4371101 |  100214   204229 |  115330   93711  3244642    34.6 | 88.433 % |
1694.86/1695.26	c |   4390563 |  100214   204229 |  126863  113173  3989210    35.2 | 88.433 % |
1703.15/1703.51	c |   4419756 |  100214   204229 |  139549  142366  5065832    35.6 | 88.433 % |
1719.75/1720.19	c |   4463546 |  100211   204222 |  153504  186155  6635373    35.6 | 88.437 % |
1737.75/1738.10	c |   4529231 |  100211   204222 |  168854   79707  2835721    35.6 | 88.437 % |
1765.05/1765.45	c |   4627757 |  100200   204197 |  185740  178226  7313274    41.0 | 88.450 % |
1800.05/1800.40	c 
1800.05/1800.40	c *** TERMINATED ***
1800.05/1800.40	s SATISFIABLE
1800.05/1800.40	v -x1272 -x1271 -x1270 x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 x1101 -x1100 -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 x673 -x672 -x671 -x670 x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 x1

Verifier Data 

OK	-50

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3723561-1338571668/watcher-3723561-1338571668 -o /tmp/evaluation-result-3723561-1338571668/solver-3723561-1338571668 -C 1800 -W 1900 -M 15500 minisat+_script HOME/instance-3723561-1338571668.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.08 2.00 1.91 3/177 26452
/proc/meminfo: memFree=27508172/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26452/stat : 26452 (minisat+_script) S 26450 26452 24715 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323291679 9367552 277 33554432000 4194304 5064252 140735139058704 140735139057616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26452/statm: 2287 277 236 213 0 72 0

[startup+0.046477 s]
/proc/loadavg: 2.08 2.00 1.91 3/177 26452
/proc/meminfo: memFree=27508172/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26452/stat : 26452 (minisat+_script) S 26450 26452 24715 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323291679 9367552 277 33554432000 4194304 5064252 140735139058704 140735139057616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26452/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100323 s]
/proc/loadavg: 2.08 2.00 1.91 3/177 26452
/proc/meminfo: memFree=27508172/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26452/stat : 26452 (minisat+_script) S 26450 26452 24715 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323291679 9367552 277 33554432000 4194304 5064252 140735139058704 140735139057616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26452/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300267 s]
/proc/loadavg: 2.08 2.00 1.91 3/177 26452
/proc/meminfo: memFree=27508172/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26452/stat : 26452 (minisat+_script) S 26450 26452 24715 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323291679 9367552 277 33554432000 4194304 5064252 140735139058704 140735139057616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26452/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700308 s]
/proc/loadavg: 2.08 2.00 1.91 3/177 26452
/proc/meminfo: memFree=27508172/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26452/stat : 26452 (minisat+_script) S 26450 26452 24715 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323291679 9367552 277 33554432000 4194304 5064252 140735139058704 140735139057616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26452/statm: 2287 277 236 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50032 s]
/proc/loadavg: 2.08 2.00 1.91 3/179 26457
/proc/meminfo: memFree=27447844/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26452/stat : 26452 (minisat+_script) S 26450 26452 24715 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323291679 9367552 277 33554432000 4194304 5064252 140735139058704 140735139057616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26452/statm: 2287 277 236 213 0 72 0
[pid=26456] ppid=26452 vsize=47752 CPUtime=1.49 cores=0,2,4,6
/proc/26456/stat : 26456 (minisat+_64-bit) R 26452 26452 24715 0 -1 4202496 11617 0 0 0 144 5 0 0 20 0 1 0 323291679 48898048 11572 33554432000 4194304 5276501 140735550562864 140735550561112 4391563 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26456/statm: 11938 11572 118 265 0 11670 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56900

[startup+3.10032 s]
/proc/loadavg: 2.08 2.00 1.91 3/179 26457
/proc/meminfo: memFree=27447100/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26452/stat : 26452 (minisat+_script) S 26450 26452 24715 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323291679 9367552 277 33554432000 4194304 5064252 140735139058704 140735139057616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26452/statm: 2287 277 236 213 0 72 0
[pid=26456] ppid=26452 vsize=47752 CPUtime=3.09 cores=0,2,4,6
/proc/26456/stat : 26456 (minisat+_64-bit) R 26452 26452 24715 0 -1 4202496 11617 0 0 0 304 5 0 0 20 0 1 0 323291679 48898048 11572 33554432000 4194304 5276501 140735550562864 140735550561112 4391568 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/26456/statm: 11938 11572 118 265 0 11670 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56900

[startup+6.30027 s]
/proc/loadavg: 2.23 2.04 1.92 3/179 26457
/proc/meminfo: memFree=27446604/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26452/stat : 26452 (minisat+_script) S 26450 26452 24715 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323291679 9367552 277 33554432000 4194304 5064252 140735139058704 140735139057616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26452/statm: 2287 277 236 213 0 72 0
[pid=26456] ppid=26452 vsize=47752 CPUtime=6.28 cores=0,2,4,6
/proc/26456/stat : 26456 (minisat+_64-bit) R 26452 26452 24715 0 -1 4202496 11617 0 0 0 623 5 0 0 20 0 1 0 323291679 48898048 11572 33554432000 4194304 5276501 140735550562864 140735550561112 4411592 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/26456/statm: 11938 11572 118 265 0 11670 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 56900

[startup+12.7002 s]
/proc/loadavg: 2.21 2.04 1.92 3/179 26457
/proc/meminfo: memFree=27439260/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26452/stat : 26452 (minisat+_script) S 26450 26452 24715 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323291679 9367552 277 33554432000 4194304 5064252 140735139058704 140735139057616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26452/statm: 2287 277 236 213 0 72 0
[pid=26456] ppid=26452 vsize=47752 CPUtime=12.68 cores=0,2,4,6
/proc/26456/stat : 26456 (minisat+_64-bit) R 26452 26452 24715 0 -1 4202496 11617 0 0 0 1263 5 0 0 20 0 1 0 323291679 48898048 11572 33554432000 4194304 5276501 140735550562864 140735550561112 4400020 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/26456/statm: 11938 11572 118 265 0 11670 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 56900

[startup+25.5002 s]
/proc/loadavg: 2.17 2.03 1.92 3/179 26457
/proc/meminfo: memFree=27411600/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26452/stat : 26452 (minisat+_script) S 26450 26452 24715 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323291679 9367552 277 33554432000 4194304 5064252 140735139058704 140735139057616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26452/statm: 2287 277 236 213 0 72 0
[pid=26456] ppid=26452 vsize=62596 CPUtime=25.48 cores=0,2,4,6
/proc/26456/stat : 26456 (minisat+_64-bit) R 26452 26452 24715 0 -1 4202496 15398 0 0 0 2541 7 0 0 20 0 1 0 323291679 64098304 15294 33554432000 4194304 5276501 140735550562864 140735550561112 4400441 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/26456/statm: 15649 15294 118 265 0 15381 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 71744

[startup+51.1003 s]
/proc/loadavg: 2.11 2.03 1.92 3/179 26457
/proc/meminfo: memFree=27351168/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26452/stat : 26452 (minisat+_script) S 26450 26452 24715 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323291679 9367552 277 33554432000 4194304 5064252 140735139058704 140735139057616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26452/statm: 2287 277 236 213 0 72 0
[pid=26456] ppid=26452 vsize=89540 CPUtime=51.08 cores=0,2,4,6
/proc/26456/stat : 26456 (minisat+_64-bit) R 26452 26452 24715 0 -1 4202496 22141 0 0 0 5099 9 0 0 20 0 1 0 323291679 91688960 21978 33554432000 4194304 5276501 140735550562864 140735550561048 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26456/statm: 22385 21978 118 265 0 22117 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 98688

[startup+102.307 s]
/proc/loadavg: 2.05 2.02 1.92 3/179 26457
/proc/meminfo: memFree=27295424/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26452/stat : 26452 (minisat+_script) S 26450 26452 24715 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323291679 9367552 277 33554432000 4194304 5064252 140735139058704 140735139057616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26452/statm: 2287 277 236 213 0 72 0
[pid=26456] ppid=26452 vsize=124024 CPUtime=102.25 cores=0,2,4,6
/proc/26456/stat : 26456 (minisat+_64-bit) R 26452 26452 24715 0 -1 4202496 30793 0 0 0 10213 12 0 0 20 0 1 0 323291679 127000576 30597 33554432000 4194304 5276501 140735550562864 140735550561112 4400476 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26456/statm: 31006 30597 118 265 0 30738 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 133172

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 1.92 3/180 26460
/proc/meminfo: memFree=27270248/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26452/stat : 26452 (minisat+_script) S 26450 26452 24715 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323291679 9367552 277 33554432000 4194304 5064252 140735139058704 140735139057616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26452/statm: 2287 277 236 213 0 72 0
[pid=26456] ppid=26452 vsize=138808 CPUtime=162.21 cores=0,2,4,6
/proc/26456/stat : 26456 (minisat+_64-bit) R 26452 26452 24715 0 -1 4202496 34604 0 0 0 16208 13 0 0 20 0 1 0 323291679 142139392 34353 33554432000 4194304 5276501 140735550562864 140735550561112 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26456/statm: 34702 34353 118 265 0 34434 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 147956

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/180 26460
/proc/meminfo: memFree=27270468/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26452/stat : 26452 (minisat+_script) S 26450 26452 24715 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323291679 9367552 277 33554432000 4194304 5064252 140735139058704 140735139057616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26452/statm: 2287 277 236 213 0 72 0
[pid=26456] ppid=26452 vsize=138796 CPUtime=222.2 cores=0,2,4,6
/proc/26456/stat : 26456 (minisat+_64-bit) R 26452 26452 24715 0 -1 4202496 34604 0 0 0 22207 13 0 0 20 0 1 0 323291679 142127104 34351 33554432000 4194304 5276501 140735550562864 140735550561112 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26456/statm: 34699 34351 118 265 0 34431 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 147944

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/179 26461
/proc/meminfo: memFree=27269916/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26452/stat : 26452 (minisat+_script) S 26450 26452 24715 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323291679 9367552 277 33554432000 4194304 5064252 140735139058704 140735139057616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26452/statm: 2287 277 236 213 0 72 0
[pid=26456] ppid=26452 vsize=139928 CPUtime=282.19 cores=0,2,4,6
/proc/26456/stat : 26456 (minisat+_64-bit) R 26452 26452 24715 0 -1 4202496 34737 0 0 0 28206 13 0 0 20 0 1 0 323291679 143286272 34483 33554432000 4194304 5276501 140735550562864 140735550561112 4399860 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26456/statm: 34982 34483 118 265 0 34714 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 149076

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 26461
/proc/meminfo: memFree=27269420/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26452/stat : 26452 (minisat+_script) S 26450 26452 24715 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323291679 9367552 277 33554432000 4194304 5064252 140735139058704 140735139057616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26452/statm: 2287 277 236 213 0 72 0
[pid=26456] ppid=26452 vsize=140628 CPUtime=342.18 cores=0,2,4,6
/proc/26456/stat : 26456 (minisat+_64-bit) R 26452 26452 24715 0 -1 4202496 34906 0 0 0 34205 13 0 0 20 0 1 0 323291679 144003072 34652 33554432000 4194304 5276501 140735550562864 140735550561096 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26456/statm: 35157 34652 118 265 0 34889 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 149776

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/179 26461
/proc/meminfo: memFree=27268552/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/26452/statm: 2287 277 236 213 0 72 0
[pid=26456] ppid=26452 vsize=155284 CPUtime=1062.06 cores=0,2,4,6
/proc/26456/stat : 26456 (minisat+_64-bit) R 26452 26452 24715 0 -1 4202496 37846 0 0 0 106191 15 0 0 20 0 1 0 323291679 159010816 37591 33554432000 4194304 5276501 140735550562864 140735550561288 4399909 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26456/statm: 38821 37591 118 265 0 38553 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 164432

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 26466
/proc/meminfo: memFree=27251500/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26452/stat : 26452 (minisat+_script) S 26450 26452 24715 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323291679 9367552 277 33554432000 4194304 5064252 140735139058704 140735139057616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26452/statm: 2287 277 236 213 0 72 0
[pid=26456] ppid=26452 vsize=155932 CPUtime=1122.05 cores=0,2,4,6
/proc/26456/stat : 26456 (minisat+_64-bit) R 26452 26452 24715 0 -1 4202496 37992 0 0 0 112190 15 0 0 20 0 1 0 323291679 159674368 37737 33554432000 4194304 5276501 140735550562864 140735550561048 4399860 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26456/statm: 38983 37737 118 265 0 38715 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 165080

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 26467
/proc/meminfo: memFree=27249268/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26452/stat : 26452 (minisat+_script) S 26450 26452 24715 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323291679 9367552 277 33554432000 4194304 5064252 140735139058704 140735139057616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26452/statm: 2287 277 236 213 0 72 0
[pid=26456] ppid=26452 vsize=158204 CPUtime=1182.04 cores=0,2,4,6
/proc/26456/stat : 26456 (minisat+_64-bit) R 26452 26452 24715 0 -1 4202496 38459 0 0 0 118189 15 0 0 20 0 1 0 323291679 162000896 38204 33554432000 4194304 5276501 140735550562864 140735550561288 4399913 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26456/statm: 39551 38204 118 265 0 39283 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 167352

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 26467
/proc/meminfo: memFree=27247408/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26452/stat : 26452 (minisat+_script) S 26450 26452 24715 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323291679 9367552 277 33554432000 4194304 5064252 140735139058704 140735139057616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26452/statm: 2287 277 236 213 0 72 0
[pid=26456] ppid=26452 vsize=158860 CPUtime=1242.03 cores=0,2,4,6
/proc/26456/stat : 26456 (minisat+_64-bit) R 26452 26452 24715 0 -1 4202496 38595 0 0 0 124188 15 0 0 20 0 1 0 323291679 162672640 38340 33554432000 4194304 5276501 140735550562864 140735550561048 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26456/statm: 39715 38340 118 265 0 39447 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 168008

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 26467
/proc/meminfo: memFree=27244556/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26452/stat : 26452 (minisat+_script) S 26450 26452 24715 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323291679 9367552 277 33554432000 4194304 5064252 140735139058704 140735139057616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26452/statm: 2287 277 236 213 0 72 0
[pid=26456] ppid=26452 vsize=161036 CPUtime=1302.03 cores=0,2,4,6
/proc/26456/stat : 26456 (minisat+_64-bit) R 26452 26452 24715 0 -1 4202496 39046 0 0 0 130187 16 0 0 20 0 1 0 323291679 164900864 38791 33554432000 4194304 5276501 140735550562864 140735550561288 4399850 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26456/statm: 40259 38791 118 265 0 39991 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 170184

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 26470
/proc/meminfo: memFree=27243432/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26452/stat : 26452 (minisat+_script) S 26450 26452 24715 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323291679 9367552 277 33554432000 4194304 5064252 140735139058704 140735139057616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26452/statm: 2287 277 236 213 0 72 0
[pid=26456] ppid=26452 vsize=161036 CPUtime=1362.01 cores=0,2,4,6
/proc/26456/stat : 26456 (minisat+_64-bit) R 26452 26452 24715 0 -1 4202496 39052 0 0 0 136185 16 0 0 20 0 1 0 323291679 164900864 38797 33554432000 4194304 5276501 140735550562864 140735550561288 4400264 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26456/statm: 40259 38797 118 265 0 39991 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 170184

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 26470
/proc/meminfo: memFree=27241580/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26452/stat : 26452 (minisat+_script) S 26450 26452 24715 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323291679 9367552 277 33554432000 4194304 5064252 140735139058704 140735139057616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26452/statm: 2287 277 236 213 0 72 0
[pid=26456] ppid=26452 vsize=163276 CPUtime=1422.01 cores=0,2,4,6
/proc/26456/stat : 26456 (minisat+_64-bit) R 26452 26452 24715 0 -1 4202496 39502 0 0 0 142185 16 0 0 20 0 1 0 323291679 167194624 39247 33554432000 4194304 5276501 140735550562864 140735550561288 4394711 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26456/statm: 40819 39247 118 265 0 40551 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 172424

[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 1.94 3/179 26471
/proc/meminfo: memFree=27237612/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26452/stat : 26452 (minisat+_script) S 26450 26452 24715 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323291679 9367552 277 33554432000 4194304 5064252 140735139058704 140735139057616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26452/statm: 2287 277 236 213 0 72 0
[pid=26456] ppid=26452 vsize=167016 CPUtime=1481.99 cores=0,2,4,6
/proc/26456/stat : 26456 (minisat+_64-bit) R 26452 26452 24715 0 -1 4202496 40450 0 0 0 148183 16 0 0 20 0 1 0 323291679 171024384 40195 33554432000 4194304 5276501 140735550562864 140735550561272 4399962 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26456/statm: 41754 40195 118 265 0 41486 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 176164

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/179 26471
/proc/meminfo: memFree=27231224/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26452/stat : 26452 (minisat+_script) S 26450 26452 24715 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323291679 9367552 277 33554432000 4194304 5064252 140735139058704 140735139057616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26452/statm: 2287 277 236 213 0 72 0
[pid=26456] ppid=26452 vsize=172280 CPUtime=1541.99 cores=0,2,4,6
/proc/26456/stat : 26456 (minisat+_64-bit) R 26452 26452 24715 0 -1 4202496 41655 0 0 0 154181 18 0 0 20 0 1 0 323291679 176414720 41424 33554432000 4194304 5276501 140735550562864 140735550561288 4399906 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26456/statm: 43070 41424 118 265 0 42802 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 181428

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 26471
/proc/meminfo: memFree=27229048/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26452/stat : 26452 (minisat+_script) S 26450 26452 24715 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323291679 9367552 277 33554432000 4194304 5064252 140735139058704 140735139057616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26452/statm: 2287 277 236 213 0 72 0
[pid=26456] ppid=26452 vsize=173384 CPUtime=1601.97 cores=0,2,4,6
/proc/26456/stat : 26456 (minisat+_64-bit) R 26452 26452 24715 0 -1 4202496 41885 0 0 0 160179 18 0 0 20 0 1 0 323291679 177545216 41674 33554432000 4194304 5276501 140735550562864 140735550561288 4399816 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26456/statm: 43346 41674 118 265 0 43078 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 182532

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 26471
/proc/meminfo: memFree=27227248/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26452/stat : 26452 (minisat+_script) S 26450 26452 24715 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323291679 9367552 277 33554432000 4194304 5064252 140735139058704 140735139057616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26452/statm: 2287 277 236 213 0 72 0
[pid=26456] ppid=26452 vsize=174952 CPUtime=1661.96 cores=0,2,4,6
/proc/26456/stat : 26456 (minisat+_64-bit) R 26452 26452 24715 0 -1 4202496 42219 0 0 0 166178 18 0 0 20 0 1 0 323291679 179150848 42008 33554432000 4194304 5276501 140735550562864 140735550561048 4399951 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26456/statm: 43738 42008 118 265 0 43470 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 184100

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 26471
/proc/meminfo: memFree=27226380/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26452/stat : 26452 (minisat+_script) S 26450 26452 24715 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323291679 9367552 277 33554432000 4194304 5064252 140735139058704 140735139057616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26452/statm: 2287 277 236 213 0 72 0
[pid=26456] ppid=26452 vsize=175496 CPUtime=1721.95 cores=0,2,4,6
/proc/26456/stat : 26456 (minisat+_64-bit) R 26452 26452 24715 0 -1 4202496 42369 0 0 0 172177 18 0 0 20 0 1 0 323291679 179707904 42140 33554432000 4194304 5276501 140735550562864 140735550561048 4692032 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26456/statm: 43874 42140 118 265 0 43606 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 184644

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/179 26472
/proc/meminfo: memFree=27222784/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26452/stat : 26452 (minisat+_script) S 26450 26452 24715 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323291679 9367552 277 33554432000 4194304 5064252 140735139058704 140735139057616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26452/statm: 2287 277 236 213 0 72 0
[pid=26456] ppid=26452 vsize=177424 CPUtime=1781.94 cores=0,2,4,6
/proc/26456/stat : 26456 (minisat+_64-bit) R 26452 26452 24715 0 -1 4202496 42796 0 0 0 178176 18 0 0 20 0 1 0 323291679 181682176 42546 33554432000 4194304 5276501 140735550562864 140735550561288 4399800 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26456/statm: 44356 42546 118 265 0 44088 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 186572



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.94 3/175 26480
/proc/meminfo: memFree=27350548/32873844 swapFree=6608/6608
[pid=26452] ppid=26450 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26452/stat : 26452 (minisat+_script) S 26450 26452 24715 0 -1 4202496 384 551 0 0 0 0 0 0 20 0 1 0 323291679 9367552 277 33554432000 4194304 5064252 140735139058704 140735139057616 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26452/statm: 2287 277 236 213 0 72 0
[pid=26456] ppid=26452 vsize=177424 CPUtime=1800.05 cores=0,2,4,6
/proc/26456/stat : 26456 (minisat+_64-bit) R 26452 26452 24715 0 -1 4202496 42796 0 0 0 179987 18 0 0 20 0 1 0 323291679 181682176 42546 33554432000 4194304 5276501 140735550562864 140735550561288 4399866 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/26456/statm: 44356 42546 118 265 0 44088 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 186572

Sending SIGTERM to process tree (bottom up)

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

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1799.87
CPU system time (s): 0.19297
CPU usage (%): 99.9807
Max. virtual memory (cumulated for all children) (KiB): 186572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.19297
maximum resident set size= 170188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43743
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= 80
involuntary context switches= 1958

runsolver used 2.79857 second user time and 9.06762 second system time

The end

Launcher Data 

Begin job on node140 at 2012-06-01 19:27:48
IDJOB=3723561
IDBENCH=2256
IDSOLVER=2307
FILE ID=node140/3723561-1338571668
RUNJOBID= node140-1338569867-26295
PBS_JOBID= 14635844
Free space on /tmp= 70620 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-4.opb
COMMAND LINE= minisat+_script BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3723561-1338571668/watcher-3723561-1338571668 -o /tmp/evaluation-result-3723561-1338571668/solver-3723561-1338571668 -C 1800 -W 1900 -M 15500  minisat+_script HOME/instance-3723561-1338571668.opb

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

MD5SUM BENCH= 1a88750537364c45876077f809191628
RANDOM SEED=142591906

node140.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.094
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.18
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.094
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27514288 kB
Buffers:          364100 kB
Cached:          4089928 kB
SwapCached:         1664 kB
Active:          1204460 kB
Inactive:        3269276 kB
Active(anon):      11684 kB
Inactive(anon):     9416 kB
Active(file):    1192776 kB
Inactive(file):  3259860 kB
Unevictable:        6608 kB
Mlocked:            6608 kB
SwapTotal:      67108856 kB
SwapFree:       67105156 kB
Dirty:              8228 kB
Writeback:             0 kB
AnonPages:         26416 kB
Mapped:            10492 kB
Shmem:                 8 kB
Slab:             747008 kB
SReclaimable:     188768 kB
SUnreclaim:       558240 kB
KernelStack:        1408 kB
PageTables:         3936 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     135264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70616 MiB
End job on node140 at 2012-06-01 19:57:49