Trace number 35618

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, and are wall clock time (not CPU 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
minisat+ 1.14SAT (TO)-42 1800.59 1801.23

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
MD5SUM49f1950e042362832bbb830f499dd3e3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-44
Best CPU time to get the best result obtained on this benchmark1800.65
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
Optimality of the best value was proved NO
Number of variables945
Total number of constraints58245
Number of constraints which are clauses58245
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 945
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 945
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 945
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00	c Parsing PB file...
1.48	c Converting 58245 PB-constraints to clauses...
1.49	c   -- Unit propagations: (none)
1.49	c   -- Detecting intervals from adjacent constraints: (none)
1.49	c   -- Clauses(.)/Splits(s): .....................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
1.63	c ==================================[MINISAT+]==================================
1.63	c | Conflicts | Original         | Learnt                           | Progress |
1.63	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.63	c ==============================================================================
1.63	c |         0 |   58245   116490 |   19415       0        0     nan |  0.000 % |
1.63	c ==============================================================================
1.63	c Found solution: -29
1.63	o -29
1.64	c ---[   0]---> Sorter-cost:44290     Base:
1.74	c ==================================[MINISAT+]==================================
1.74	c | Conflicts | Original         | Learnt                           | Progress |
1.74	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
1.74	c ==============================================================================
1.74	c |         0 |  103674   223173 |   34558       0        0     nan |  0.000 % |
1.90	c |       100 |  103217   222224 |   38013      74      640     8.6 |  0.795 % |
2.13	c |       250 |  102277   220190 |   41815     178     1328     7.5 |  2.556 % |
2.40	c |       475 |  101299   218072 |   45996     363     3330     9.2 |  4.391 % |
2.87	c |       812 |   99047   213116 |   50596     601     6292    10.5 |  8.826 % |
3.19	c ==============================================================================
3.19	c Found solution: -33
3.19	o -33
3.20	c ---[   0]---> Sorter-cost:    0     Base:
3.24	c ==================================[MINISAT+]==================================
3.24	c | Conflicts | Original         | Learnt                           | Progress |
3.24	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
3.24	c ==============================================================================
3.24	c |      1154 |   97981   210998 |   32660     842     9717    11.5 |  8.826 % |
3.36	c |      1254 |   97456   209833 |   35926     908    10864    12.0 | 12.242 % |
3.51	c |      1404 |   96930   208673 |   39518    1038    12408    12.0 | 13.257 % |
3.72	c |      1630 |   96171   206966 |   43470    1223    14347    11.7 | 14.977 % |
4.09	c |      1967 |   94090   202274 |   47817    1458    16260    11.2 | 18.956 % |
4.47	c |      2473 |   92212   198058 |   52599    1787    19115    10.7 | 22.689 % |
5.24	c |      3232 |   88553   189636 |   57859    2356    25138    10.7 | 30.105 % |
6.10	c |      4372 |   84300   179875 |   63645    3005    31878    10.6 | 38.823 % |
7.08	c |      6081 |   80620   171309 |   70009    4307    46466    10.8 | 46.451 % |
8.53	c |      8643 |   75017   158019 |   77010    6013    68321    11.4 | 58.474 % |
9.09	c ==============================================================================
9.09	c Found solution: -34
9.09	o -34
9.10	c ---[   0]---> Sorter-cost:    0     Base:
9.15	c ==================================[MINISAT+]==================================
9.15	c | Conflicts | Original         | Learnt                           | Progress |
9.15	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
9.15	c ==============================================================================
9.15	c |      9837 |   73511   154433 |   24503    6917    84271    12.2 | 58.474 % |
9.23	c |      9937 |   73160   153606 |   26953    6916    84599    12.2 | 62.459 % |
9.29	c |     10087 |   73060   153368 |   29648    6999    85824    12.3 | 62.676 % |
9.39	c |     10312 |   72828   152824 |   32613    7170    89136    12.4 | 63.163 % |
9.50	c |     10649 |   72659   152439 |   35874    7471    94516    12.7 | 63.509 % |
9.67	c |     11155 |   72503   152068 |   39462    7865   103845    13.2 | 63.970 % |
9.98	c |     11914 |   71669   150067 |   43408    8396   115466    13.8 | 65.675 % |
10.34	c |     13055 |   71037   148549 |   47749    9401   141983    15.1 | 67.046 % |
10.92	c |     14763 |   70222   146623 |   52524   10862   187323    17.2 | 68.772 % |
11.01	c ==============================================================================
11.01	c Found solution: -35
11.01	o -35
11.02	c ---[   0]---> Sorter-cost:    0     Base:
11.08	c ==================================[MINISAT+]==================================
11.08	c | Conflicts | Original         | Learnt                           | Progress |
11.08	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
11.08	c ==============================================================================
11.08	c |     15084 |   70261   146790 |   23420   11142   194649    17.5 | 68.772 % |
11.14	c |     15184 |   70145   146515 |   25762   11226   196318    17.5 | 69.049 % |
11.19	c |     15334 |   70122   146458 |   28338   11375   199287    17.5 | 69.100 % |
11.25	c |     15559 |   70122   146458 |   31172   11600   219368    18.9 | 69.100 % |
11.33	c |     15896 |   70114   146440 |   34289   11935   226983    19.0 | 69.116 % |
11.50	c |     16402 |   69855   145806 |   37718   12327   241011    19.6 | 69.697 % |
11.77	c |     17161 |   69457   144856 |   41489   12860   269839    21.0 | 70.553 % |
12.37	c |     18300 |   68230   141868 |   45638   13498   300688    22.3 | 73.307 % |
12.72	c ==============================================================================
12.72	c Found solution: -36
12.72	o -36
12.73	c ---[   0]---> Sorter-cost:    0     Base:
12.79	c ==================================[MINISAT+]==================================
12.79	c | Conflicts | Original         | Learnt                           | Progress |
12.79	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
12.79	c ==============================================================================
12.79	c |     19394 |   67923   141108 |   22641   14427   343281    23.8 | 73.307 % |
12.83	c |     19495 |   67908   141073 |   24905   14526   347004    23.9 | 74.024 % |
12.88	c ==============================================================================
12.88	c Found solution: -37
12.88	o -37
12.89	c ---[   0]---> Sorter-cost:    0     Base:
12.95	c ==================================[MINISAT+]==================================
12.95	c | Conflicts | Original         | Learnt                           | Progress |
12.95	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
12.95	c ==============================================================================
12.95	c |     19613 |   67925   141145 |   22641   14641   351375    24.0 | 74.024 % |
12.99	c |     19713 |   67839   140937 |   24905   14731   356033    24.2 | 74.212 % |
13.06	c |     19863 |   67762   140750 |   27395   14851   358518    24.1 | 74.384 % |
13.20	c |     20088 |   67631   140425 |   30135   14979   363163    24.2 | 74.687 % |
13.30	c |     20425 |   67626   140412 |   33148   15243   374131    24.5 | 74.700 % |
13.45	c |     20932 |   67626   140412 |   36463   15750   434642    27.6 | 74.700 % |
13.74	c |     21692 |   67432   139937 |   40109   16429   458771    27.9 | 75.130 % |
14.20	c |     22831 |   67112   139167 |   44120   17411   506808    29.1 | 75.822 % |
14.70	c |     24539 |   67069   139072 |   48532   19055   591866    31.1 | 75.899 % |
15.53	c |     27101 |   66891   138638 |   53386   21563   774079    35.9 | 76.294 % |
16.92	c |     30945 |   66792   138391 |   58724   25311  1005599    39.7 | 76.527 % |
19.11	c ==============================================================================
19.11	c Found solution: -38
19.11	o -38
19.12	c ---[   0]---> Sorter-cost:    0     Base:
19.19	c ==================================[MINISAT+]==================================
19.19	c | Conflicts | Original         | Learnt                           | Progress |
19.19	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
19.19	c ==============================================================================
19.19	c |     35844 |   66669   138025 |   22223   30022  1470073    49.0 | 76.527 % |
19.28	c |     35945 |   66544   137727 |   24445   30030  1471559    49.0 | 77.089 % |
19.36	c |     36097 |   66544   137727 |   26889   30182  1483627    49.2 | 77.089 % |
19.58	c |     36322 |   66328   137202 |   29578   30294  1489137    49.2 | 77.568 % |
19.74	c |     36659 |   66286   137102 |   32536   30598  1502725    49.1 | 77.657 % |
19.95	c |     37165 |   66286   137102 |   35790   31104  1531065    49.2 | 77.657 % |
20.38	c |     37924 |   66236   136980 |   39369   31838  1579318    49.6 | 77.772 % |
20.88	c |     39063 |   66198   136896 |   43306   32931  1663184    50.5 | 77.845 % |
21.77	c |     40771 |   66094   136643 |   47636   34450  1773571    51.5 | 78.081 % |
23.12	c ==============================================================================
23.12	c Found solution: -39
23.12	o -39
23.13	c ---[   0]---> Sorter-cost:    0     Base:
23.21	c ==================================[MINISAT+]==================================
23.21	c | Conflicts | Original         | Learnt                           | Progress |
23.21	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
23.21	c ==============================================================================
23.21	c |     43229 |   66119   136738 |   22039   36846  2044619    55.5 | 78.081 % |
23.28	c |     43330 |   66082   136649 |   24242   36918  2046357    55.4 | 78.194 % |
23.35	c |     43480 |   66082   136649 |   26667   37068  2055234    55.4 | 78.194 % |
23.53	c |     43705 |   66061   136598 |   29333   37197  2068198    55.6 | 78.241 % |
23.71	c |     44042 |   66061   136598 |   32267   37534  2088672    55.6 | 78.241 % |
24.08	c |     44548 |   65988   136417 |   35494   37789  2109858    55.8 | 78.407 % |
24.50	c |     45307 |   65967   136364 |   39043   38528  2171262    56.4 | 78.457 % |
25.14	c |     46446 |   65967   136364 |   42947   39667  2284055    57.6 | 78.457 % |
26.20	c |     48155 |   65911   136232 |   47242   41326  2437988    59.0 | 78.578 % |
27.76	c |     50717 |   65911   136232 |   51966   43888  2766324    63.0 | 78.578 % |
30.34	c |     54561 |   65908   136225 |   57163   47731  3237086    67.8 | 78.584 % |
31.70	c ==============================================================================
31.70	c Found solution: -40
31.70	o -40
31.71	c ---[   0]---> Sorter-cost:    0     Base:
31.81	c ==================================[MINISAT+]==================================
31.81	c | Conflicts | Original         | Learnt                           | Progress |
31.81	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
31.81	c ==============================================================================
31.81	c |     56290 |   65823   135998 |   21941   48563  3297518    67.9 | 78.584 % |
31.99	c |     56390 |   65712   135748 |   24135   19988  1396674    69.9 | 78.983 % |
32.05	c |     56540 |   65712   135748 |   26548   20138  1404187    69.7 | 78.983 % |
32.21	c |     56765 |   65650   135596 |   29203   20338  1414088    69.5 | 79.126 % |
32.35	c |     57103 |   65650   135596 |   32123   20676  1442270    69.8 | 79.126 % |
32.56	c |     57610 |   65650   135596 |   35336   21183  1470803    69.4 | 79.126 % |
32.89	c |     58369 |   65650   135596 |   38869   21942  1512854    68.9 | 79.126 % |
33.41	c |     59509 |   65650   135596 |   42756   23082  1617718    70.1 | 79.126 % |
34.19	c |     61219 |   65650   135596 |   47032   24792  1814999    73.2 | 79.126 % |
35.74	c |     63781 |   65446   135086 |   51735   27327  2124510    77.7 | 79.590 % |
37.72	c |     67625 |   65344   134832 |   56909   31081  2420985    77.9 | 79.825 % |
41.23	c |     73391 |   65273   134642 |   62600   36808  2997370    81.4 | 80.003 % |
44.37	c ==============================================================================
44.37	c Found solution: -41
44.37	o -41
44.38	c ---[   0]---> Sorter-cost:    0     Base:
44.48	c ==================================[MINISAT+]==================================
44.48	c | Conflicts | Original         | Learnt                           | Progress |
44.48	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
44.48	c ==============================================================================
44.48	c |     78259 |   65233   134560 |   21744   41665  3434394    82.4 | 80.003 % |
44.55	c |     78359 |   65233   134560 |   23918   41765  3440374    82.4 | 80.114 % |
44.69	c |     78509 |   65194   134462 |   26310   41909  3446929    82.2 | 80.209 % |
44.86	c |     78735 |   65194   134462 |   28941   42135  3468085    82.3 | 80.209 % |
45.08	c |     79072 |   65194   134462 |   31835   42472  3491885    82.2 | 80.209 % |
45.43	c |     79578 |   65194   134462 |   35018   42978  3533426    82.2 | 80.209 % |
45.94	c |     80337 |   65194   134462 |   38520   43737  3606744    82.5 | 80.209 % |
46.83	c |     81476 |   65186   134442 |   42372   44835  3720600    83.0 | 80.228 % |
47.97	c |     83184 |   65186   134442 |   46610   46543  3854293    82.8 | 80.228 % |
49.86	c |     85747 |   65146   134350 |   51271   49094  4064252    82.8 | 80.307 % |
52.97	c |     89591 |   65137   134329 |   56398   52931  4435673    83.8 | 80.326 % |
58.08	c |     95358 |   65137   134329 |   62038   58698  5204836    88.7 | 80.326 % |
67.07	c |    104009 |   65137   134329 |   68241   67349  6225461    92.4 | 80.326 % |
82.38	c |    116985 |   65033   134076 |   75066   80299  7880223    98.1 | 80.561 % |
107.89	c |    136446 |   64945   133856 |   82572   99663 10505945   105.4 | 80.761 % |
140.15	c |    165638 |   64651   133139 |   90830   37553  3984323   106.1 | 81.418 % |
181.78	c |    209427 |   64398   132524 |   99913   81184  8603031   106.0 | 81.986 % |
266.87	c |    275112 |   64354   132420 |  109904   41677  3387232    81.3 | 82.081 % |
387.83	c |    373638 |   64228   132111 |  120894   24613  2032989    82.6 | 82.367 % |
554.60	c |    521429 |   64017   131607 |  132984   47259  3288613    69.6 | 82.830 % |
577.90	c ==============================================================================
577.90	c Found solution: -42
577.90	o -42
577.91	c ---[   0]---> Sorter-cost:    0     Base:
578.04	c ==================================[MINISAT+]==================================
578.04	c | Conflicts | Original         | Learnt                           | Progress |
578.04	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
578.04	c ==============================================================================
578.04	c |    545471 |   64006   131539 |   21335   71295  6128963    86.0 | 82.830 % |
578.29	c |    545572 |   64006   131539 |   23468   21251  1541762    72.6 | 82.860 % |
578.35	c |    545722 |   64006   131539 |   25815   21401  1547365    72.3 | 82.860 % |
578.43	c |    545948 |   64006   131539 |   28396   21627  1558368    72.1 | 82.860 % |
578.50	c |    546285 |   64006   131539 |   31236   21964  1565008    71.3 | 82.860 % |
578.86	c |    546792 |   63793   131021 |   34360   22020  1572821    71.4 | 83.333 % |
579.14	c |    547551 |   63793   131021 |   37796   22779  1612574    70.8 | 83.333 % |
579.60	c |    548692 |   63793   131021 |   41575   23920  1700827    71.1 | 83.333 % |
580.42	c |    550400 |   63786   131004 |   45733   25624  1851873    72.3 | 83.349 % |
581.70	c |    552963 |   63755   130933 |   50306   28186  2096211    74.4 | 83.412 % |
583.74	c |    556807 |   63752   130926 |   55337   32027  2495684    77.9 | 83.419 % |
586.75	c |    562573 |   63719   130846 |   60871   37751  3055041    80.9 | 83.488 % |
593.08	c |    571222 |   63712   130829 |   66958   46399  3911051    84.3 | 83.504 % |
603.97	c |    584199 |   63701   130802 |   73654   59375  5390919    90.8 | 83.530 % |
624.45	c |    603662 |   63699   130798 |   81019   78834  6855589    87.0 | 83.533 % |
660.81	c |    632856 |   63605   130572 |   89121  107177  9492687    88.6 | 83.742 % |
701.57	c |    676645 |   63572   130499 |   98033   56242  4602912    81.8 | 83.806 % |
788.96	c |    742330 |   63528   130379 |  107837  121916 11265865    92.4 | 83.914 % |
901.07	c |    840856 |   63483   130274 |  118620  108067  6454765    59.7 | 84.009 % |
1078.94	c |    988645 |   63447   130188 |  130482  131929 10453973    79.2 | 84.088 % |
1368.10	c |   1210328 |   63439   130170 |  143531   89033  3517765    39.5 | 84.104 % |
1801.21	c 
1801.21	c *** TERMINATED ***
1801.21	s SATISFIABLE
1801.21	v -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925
1801.21	v -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 x905 -x904
1801.21	v -x903 -x902 -x901 -x900 -x899 x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883
1801.21	v -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862
1801.21	v -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 x841
1801.21	v -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 x826 -x825 -x824 -x823 -x822 -x821 -x820
1801.21	v -x819 -x818 -x817 -x816 x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799
1801.21	v -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 x781 -x780 -x779 -x778
1801.21	v -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 x760 -x759 -x758 -x757
1801.21	v -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736
1801.21	v -x735 -x734 -x733 -x732 x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715
1801.21	v -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694
1801.21	v -x693 -x692 x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673
1801.21	v -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652
1801.21	v -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631
1801.21	v -x630 -x629 -x628 -x627 -x626 -x625 -x624 x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610
1801.21	v -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 x590 -x589
1801.21	v -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568
1801.21	v -x567 -x566 -x565 -x564 x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547
1801.21	v -x546 -x545 -x544 -x543 x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526
1801.21	v -x525 -x524 x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505
1801.21	v -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 x489 -x488 -x487 -x486 -x485 -x484
1801.21	v -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 x463
1801.21	v -x462 -x461 -x460 -x459 -x458 -x457 x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442
1801.21	v -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421
1801.21	v -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400
1801.21	v -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379
1801.21	v -x378 -x377 -x376 -x375 x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358
1801.21	v -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 x337
1801.21	v -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316
1801.21	v x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295
1801.21	v -x294 -x293 -x292 x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274
1801.21	v -x273 x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253
1801.21	v -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232
1801.21	v -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 x217 -x216 -x215 -x214 -x213 -x212 -x211
1801.21	v x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190
1801.21	v x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169
1801.21	v -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 -x156 -x155 -x154 x153 -x152 -x151 -x150 -x149 -x148
1801.21	v -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127
1801.21	v -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106
1801.21	v -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82
1801.21	v -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
1801.21	v -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
1801.21	v -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
1801.21	v -x1

Verifier Data (download as text)

OK	-42

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node86/watcher-35618-1149295118 -o ROOT/results/node86/solver-35618-1149295118 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node86/35618-1149295118/instance-35618-1149295118.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.97 2/68 10622
/proc/meminfo: memFree=1569504/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=1048 CPUtime=0
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 110 0 0 0 0 0 0 0 19 0 1 0 195151019 1073152 96 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134615252 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 262 96 67 215 0 44 0

[startup+10.0023 s]
/proc/loadavg: 0.93 0.98 0.97 2/68 10622
/proc/meminfo: memFree=1549096/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=22300 CPUtime=9.97
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 5391 0 0 0 989 8 0 0 25 0 1 0 195151019 22835200 5206 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572977 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 5575 5206 110 215 0 5357 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 22300

[startup+20.0084 s]
/proc/loadavg: 0.94 0.98 0.97 2/68 10622
/proc/meminfo: memFree=1546920/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=24764 CPUtime=19.97
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 5969 0 0 0 1988 9 0 0 25 0 1 0 195151019 25358336 5784 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580314 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 6191 5784 110 215 0 5973 0
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 24764

[startup+30.0146 s]
/proc/loadavg: 0.95 0.98 0.97 2/68 10622
/proc/meminfo: memFree=1539752/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=31932 CPUtime=29.98
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 7773 0 0 0 2987 11 0 0 25 0 1 0 195151019 32698368 7584 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 7983 7584 110 215 0 7765 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 31932

[startup+40.0617 s]
/proc/loadavg: 0.96 0.98 0.97 2/68 10622
/proc/meminfo: memFree=1538536/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=33056 CPUtime=40.02
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 8086 0 0 0 3991 11 0 0 25 0 1 0 195151019 33849344 7888 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 8264 7888 110 215 0 8046 0
Current children cumulated CPU time (s) 40.02
Current children cumulated vsize (Kb) 33056

[startup+50.0679 s]
/proc/loadavg: 0.96 0.98 0.97 2/68 10622
/proc/meminfo: memFree=1535656/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=36060 CPUtime=50.02
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 8813 0 0 0 4990 12 0 0 25 0 1 0 195151019 36925440 8615 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 9015 8615 110 215 0 8797 0
Current children cumulated CPU time (s) 50.02
Current children cumulated vsize (Kb) 36060

[startup+60.073 s]
/proc/loadavg: 0.97 0.98 0.97 2/68 10622
/proc/meminfo: memFree=1529960/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=41708 CPUtime=60.03
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 10233 0 0 0 5988 15 0 0 25 0 1 0 195151019 42708992 10035 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 10427 10035 110 215 0 10209 0
Current children cumulated CPU time (s) 60.03
Current children cumulated vsize (Kb) 41708

[startup+70.0792 s]
/proc/loadavg: 0.97 0.98 0.97 2/68 10622
/proc/meminfo: memFree=1525096/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=46520 CPUtime=70.03
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 11430 0 0 0 6986 17 0 0 25 0 1 0 195151019 47636480 11232 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 11630 11232 110 215 0 11412 0
Current children cumulated CPU time (s) 70.03
Current children cumulated vsize (Kb) 46520

[startup+80.0853 s]
/proc/loadavg: 0.98 0.98 0.97 2/68 10622
/proc/meminfo: memFree=1520488/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=51240 CPUtime=80.03
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 12609 0 0 0 7985 18 0 0 25 0 1 0 195151019 52469760 12411 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 12810 12411 110 215 0 12592 0
Current children cumulated CPU time (s) 80.03
Current children cumulated vsize (Kb) 51240

[startup+90.0915 s]
/proc/loadavg: 0.98 0.98 0.97 2/68 10622
/proc/meminfo: memFree=1515176/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=56492 CPUtime=90.03
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 13928 0 0 0 8984 19 0 0 25 0 1 0 195151019 57847808 13730 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 14123 13730 110 215 0 13905 0
Current children cumulated CPU time (s) 90.03
Current children cumulated vsize (Kb) 56492

[startup+100.098 s]
/proc/loadavg: 0.98 0.98 0.97 2/68 10622
/proc/meminfo: memFree=1511016/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=60712 CPUtime=100.03
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 14964 0 0 0 9983 20 0 0 25 0 1 0 195151019 62169088 14766 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 15178 14766 110 215 0 14960 0
Current children cumulated CPU time (s) 100.03
Current children cumulated vsize (Kb) 60712

[startup+110.105 s]
/proc/loadavg: 0.98 0.98 0.97 2/68 10622
/proc/meminfo: memFree=1507624/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=64104 CPUtime=110.04
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 15812 0 0 0 10983 21 0 0 25 0 1 0 195151019 65642496 15614 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 16026 15614 110 215 0 15808 0
Current children cumulated CPU time (s) 110.04
Current children cumulated vsize (Kb) 64104

[startup+120.111 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10622
/proc/meminfo: memFree=1503336/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=68432 CPUtime=120.04
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 16884 0 0 0 11982 22 0 0 25 0 1 0 195151019 70074368 16686 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 17108 16686 110 215 0 16890 0
Current children cumulated CPU time (s) 120.04
Current children cumulated vsize (Kb) 68432

[startup+130.117 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10622
/proc/meminfo: memFree=1499752/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=71848 CPUtime=130.05
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 17769 0 0 0 12982 23 0 0 25 0 1 0 195151019 73572352 17571 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 17962 17571 110 215 0 17744 0
Current children cumulated CPU time (s) 130.05
Current children cumulated vsize (Kb) 71848

[startup+140.123 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10622
/proc/meminfo: memFree=1499752/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=71848 CPUtime=140.06
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 17769 0 0 0 13983 23 0 0 25 0 1 0 195151019 73572352 17571 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 17962 17571 110 215 0 17744 0
Current children cumulated CPU time (s) 140.06
Current children cumulated vsize (Kb) 71848

[startup+150.129 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10622
/proc/meminfo: memFree=1499752/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=71848 CPUtime=150.06
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 17769 0 0 0 14983 23 0 0 25 0 1 0 195151019 73572352 17571 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573899 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 17962 17571 110 215 0 17744 0
Current children cumulated CPU time (s) 150.06
Current children cumulated vsize (Kb) 71848

[startup+160.136 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10622
/proc/meminfo: memFree=1499816/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=71848 CPUtime=160.06
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 17769 0 0 0 15983 23 0 0 25 0 1 0 195151019 73572352 17571 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 17962 17571 110 215 0 17744 0
Current children cumulated CPU time (s) 160.06
Current children cumulated vsize (Kb) 71848

[startup+170.142 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10622
/proc/meminfo: memFree=1499752/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=71848 CPUtime=170.07
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 17769 0 0 0 16984 23 0 0 25 0 1 0 195151019 73572352 17571 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 17962 17571 110 215 0 17744 0
Current children cumulated CPU time (s) 170.07
Current children cumulated vsize (Kb) 71848

[startup+180.148 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10622
/proc/meminfo: memFree=1499752/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=71848 CPUtime=180.07
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 17769 0 0 0 17984 23 0 0 25 0 1 0 195151019 73572352 17571 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 17962 17571 110 215 0 17744 0
Current children cumulated CPU time (s) 180.07
Current children cumulated vsize (Kb) 71848

[startup+190.154 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10622
/proc/meminfo: memFree=1499752/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=71848 CPUtime=190.07
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 17769 0 0 0 18984 23 0 0 25 0 1 0 195151019 73572352 17571 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584041 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 17962 17571 110 215 0 17744 0
Current children cumulated CPU time (s) 190.07
Current children cumulated vsize (Kb) 71848

[startup+200.16 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10622
/proc/meminfo: memFree=1499752/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=71848 CPUtime=200.08
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 17769 0 0 0 19985 23 0 0 25 0 1 0 195151019 73572352 17571 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 17962 17571 110 215 0 17744 0
Current children cumulated CPU time (s) 200.08
Current children cumulated vsize (Kb) 71848

[startup+210.166 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10622
/proc/meminfo: memFree=1499752/2055892 swapFree=4084792/4096564

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

[pid=10622] ppid=10620 vsize=89384 CPUtime=1781.48
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 22112 0 0 0 178119 29 0 0 25 0 1 0 195151019 91529216 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 22346 21914 110 215 0 22128 0
Current children cumulated CPU time (s) 1781.48
Current children cumulated vsize (Kb) 89384

[startup+1783.12 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10819
/proc/meminfo: memFree=1482088/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=89384 CPUtime=1782.49
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 22112 0 0 0 178220 29 0 0 25 0 1 0 195151019 91529216 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 22346 21914 110 215 0 22128 0
Current children cumulated CPU time (s) 1782.49
Current children cumulated vsize (Kb) 89384

[startup+1784.12 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10819
/proc/meminfo: memFree=1482088/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=89384 CPUtime=1783.49
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 22112 0 0 0 178320 29 0 0 25 0 1 0 195151019 91529216 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 22346 21914 110 215 0 22128 0
Current children cumulated CPU time (s) 1783.49
Current children cumulated vsize (Kb) 89384

[startup+1785.13 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10819
/proc/meminfo: memFree=1482088/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=89384 CPUtime=1784.5
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 22112 0 0 0 178421 29 0 0 25 0 1 0 195151019 91529216 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574282 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 22346 21914 110 215 0 22128 0
Current children cumulated CPU time (s) 1784.5
Current children cumulated vsize (Kb) 89384

[startup+1786.13 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10819
/proc/meminfo: memFree=1482088/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=89384 CPUtime=1785.5
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 22112 0 0 0 178521 29 0 0 25 0 1 0 195151019 91529216 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 22346 21914 110 215 0 22128 0
Current children cumulated CPU time (s) 1785.5
Current children cumulated vsize (Kb) 89384

[startup+1787.14 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10819
/proc/meminfo: memFree=1482088/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=89384 CPUtime=1786.51
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 22112 0 0 0 178622 29 0 0 25 0 1 0 195151019 91529216 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 22346 21914 110 215 0 22128 0
Current children cumulated CPU time (s) 1786.51
Current children cumulated vsize (Kb) 89384

[startup+1788.14 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10819
/proc/meminfo: memFree=1482088/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=89384 CPUtime=1787.51
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 22112 0 0 0 178722 29 0 0 25 0 1 0 195151019 91529216 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 22346 21914 110 215 0 22128 0
Current children cumulated CPU time (s) 1787.51
Current children cumulated vsize (Kb) 89384

[startup+1789.15 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10819
/proc/meminfo: memFree=1482088/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=89384 CPUtime=1788.51
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 22112 0 0 0 178822 29 0 0 25 0 1 0 195151019 91529216 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580783 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 22346 21914 110 215 0 22128 0
Current children cumulated CPU time (s) 1788.51
Current children cumulated vsize (Kb) 89384

[startup+1790.15 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10819
/proc/meminfo: memFree=1482088/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=89384 CPUtime=1789.52
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 22112 0 0 0 178923 29 0 0 25 0 1 0 195151019 91529216 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 22346 21914 110 215 0 22128 0
Current children cumulated CPU time (s) 1789.52
Current children cumulated vsize (Kb) 89384

[startup+1791.16 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10819
/proc/meminfo: memFree=1482088/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=89384 CPUtime=1790.52
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 22112 0 0 0 179023 29 0 0 25 0 1 0 195151019 91529216 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 22346 21914 110 215 0 22128 0
Current children cumulated CPU time (s) 1790.52
Current children cumulated vsize (Kb) 89384

[startup+1792.16 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10819
/proc/meminfo: memFree=1482088/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=89384 CPUtime=1791.53
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 22112 0 0 0 179124 29 0 0 25 0 1 0 195151019 91529216 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 22346 21914 110 215 0 22128 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (Kb) 89384

[startup+1793.17 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10819
/proc/meminfo: memFree=1482088/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=89384 CPUtime=1792.53
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 22112 0 0 0 179224 29 0 0 25 0 1 0 195151019 91529216 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 22346 21914 110 215 0 22128 0
Current children cumulated CPU time (s) 1792.53
Current children cumulated vsize (Kb) 89384

[startup+1794.17 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10819
/proc/meminfo: memFree=1482088/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=89384 CPUtime=1793.54
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 22112 0 0 0 179325 29 0 0 25 0 1 0 195151019 91529216 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577266 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 22346 21914 110 215 0 22128 0
Current children cumulated CPU time (s) 1793.54
Current children cumulated vsize (Kb) 89384

[startup+1795.18 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10819
/proc/meminfo: memFree=1482088/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=89384 CPUtime=1794.54
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 22112 0 0 0 179425 29 0 0 25 0 1 0 195151019 91529216 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581426 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 22346 21914 110 215 0 22128 0
Current children cumulated CPU time (s) 1794.54
Current children cumulated vsize (Kb) 89384

[startup+1796.18 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10819
/proc/meminfo: memFree=1482088/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=89384 CPUtime=1795.55
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 22112 0 0 0 179526 29 0 0 25 0 1 0 195151019 91529216 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 22346 21914 110 215 0 22128 0
Current children cumulated CPU time (s) 1795.55
Current children cumulated vsize (Kb) 89384

[startup+1797.18 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10819
/proc/meminfo: memFree=1482088/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=89384 CPUtime=1796.55
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 22112 0 0 0 179626 29 0 0 25 0 1 0 195151019 91529216 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 22346 21914 110 215 0 22128 0
Current children cumulated CPU time (s) 1796.55
Current children cumulated vsize (Kb) 89384

[startup+1798.19 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10819
/proc/meminfo: memFree=1482088/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=89384 CPUtime=1797.55
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 22112 0 0 0 179726 29 0 0 25 0 1 0 195151019 91529216 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 22346 21914 110 215 0 22128 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (Kb) 89384

[startup+1799.19 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10819
/proc/meminfo: memFree=1482088/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=89384 CPUtime=1798.56
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 22112 0 0 0 179827 29 0 0 25 0 1 0 195151019 91529216 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581044 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 22346 21914 110 215 0 22128 0
Current children cumulated CPU time (s) 1798.56
Current children cumulated vsize (Kb) 89384

[startup+1800.2 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10819
/proc/meminfo: memFree=1482088/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=89384 CPUtime=1799.56
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 22112 0 0 0 179927 29 0 0 25 0 1 0 195151019 91529216 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 22346 21914 110 215 0 22128 0
Current children cumulated CPU time (s) 1799.56
Current children cumulated vsize (Kb) 89384

[startup+1801.2 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10819
/proc/meminfo: memFree=1482088/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=89384 CPUtime=1800.57
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 22112 0 0 0 180028 29 0 0 25 0 1 0 195151019 91529216 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 22346 21914 110 215 0 22128 0
Current children cumulated CPU time (s) 1800.57
Current children cumulated vsize (Kb) 89384



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.21 s]
/proc/loadavg: 0.99 0.98 0.97 2/68 10819
/proc/meminfo: memFree=1482088/2055892 swapFree=4084792/4096564
[pid=10622] ppid=10620 vsize=89384 CPUtime=1800.57
/proc/10622/stat : 10622 (minisat+) R 10620 10622 10576 0 -1 4194304 22112 0 0 0 180028 29 0 0 25 0 1 0 195151019 91529216 21914 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/10622/statm: 22346 21914 110 215 0 22128 0
Current children cumulated CPU time (s) 1800.57
Current children cumulated vsize (Kb) 89384

Sending SIGTERM to -10622
Sleeping 2 seconds

Child status: 10
Real time (s): 1801.23
CPU time (s): 1800.59
CPU user time (s): 1800.29
CPU system time (s): 0.306953
CPU usage (%): 99.9648
Max. virtual memory (cumulated for all children) (Kb): 89384

Launcher Data (download as text)

Begin job on node86 on Sat Jun  3 00:38:38 UTC 2006


FILE ID= 35618-1149295118

PBS_JOBID= 307088

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb45-21-opb/normalized-frb45-21-3.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node86/35618-1149295118/instance-35618-1149295118.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node86/watcher-35618-1149295118 -o ROOT/results/node86/solver-35618-1149295118 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node86/35618-1149295118/instance-35618-1149295118.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  49f1950e042362832bbb830f499dd3e3

RANDOM SEED= 940513931


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6006.19
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1569712 kB
Buffers:         30572 kB
Cached:         387112 kB
SwapCached:       3032 kB
Active:          30040 kB
Inactive:       396416 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1569712 kB
SwapTotal:     4096564 kB
SwapFree:      4084792 kB
Dirty:             192 kB
Writeback:           0 kB
Mapped:          15148 kB
Slab:            46216 kB
Committed_AS:   302408 kB
PageTables:       1300 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node86 on Sat Jun  3 01:08:39 UTC 2006