Trace number 49822

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.14? (TO) 1800.78 1801.23

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880.opb
MD5SUM20fad26c16d154a41eda0484a6e6eae7
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark42.1306
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables24751
Total number of constraints73261
Number of constraints which are clauses73260
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint24420
Number of terms in the objective function 111
Biggest coefficient in the objective function 1298074214633706907132624082305024
Number of bits for the biggest coefficient in the objective function 111
Sum of the numbers in the objective function 2596148429267413814265248164610047
Number of bits of the sum of numbers in the objective function 111
Biggest number in a constraint 1093625362391505962186251113558810682676584715446606218212885303204976499599687961611756588511526912
Number of bits of the biggest number in a constraint 330
Biggest sum of numbers in a constraint 4374501449566023848745004454235242451901741326209966194279906655789612083583747144123545843134987905
Number of bits of the biggest sum of numbers331
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Parsing PB file...
3.35	c Converting 73262 PB-constraints to clauses...
3.37	c   -- Unit propagations: (none)
27.16	c   -- Detecting intervals from adjacent constraints: #
27.18	c   -- Clauses(.)/Splits(s): ..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
27.32	c ---[   0]---> Adder-cost: 36400   maxlim: 185628437934196225047014300357816985982873324374841130757601902363009   bits: 227/227
81.57	c ==================================[MINISAT+]==================================
81.57	c | Conflicts | Original         | Learnt                           | Progress |
81.57	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
81.57	c ==============================================================================
81.57	c |         0 |  314385  1044450 |  104795       0        0     nan |  0.000 % |
81.58	c |       100 |  314385  1044450 |  115274     100      315     3.1 | 10.685 % |
81.74	c |       250 |  314253  1043988 |  126801     229      713     3.1 | 10.719 % |
82.13	c |       477 |  314253  1043988 |  139482     456    19388    42.5 | 10.719 % |
82.93	c |       814 |  314253  1043988 |  153430     793    29401    37.1 | 10.719 % |
83.77	c |      1320 |  314253  1043988 |  168773    1299    42298    32.6 | 10.719 % |
84.23	c |      2079 |  314253  1043988 |  185650    2058    76303    37.1 | 10.719 % |
86.38	c |      3218 |  314253  1043988 |  204215    3197   120767    37.8 | 10.719 % |
88.05	c |      4927 |  314253  1043988 |  224637    4906   273884    55.8 | 10.719 % |
90.68	c |      7490 |  314253  1043988 |  247101    7469   388284    52.0 | 10.719 % |
93.73	c |     11334 |  314253  1043988 |  271811   11313   907177    80.2 | 10.719 % |
112.16	c |     17101 |  314221  1043884 |  298992   17076  1232354    72.2 | 10.729 % |
143.01	c |     25750 |  314221  1043884 |  328891   25725  1706832    66.3 | 10.729 % |
153.97	c |     38725 |  314221  1043884 |  361780   38700  4792924   123.8 | 10.729 % |
210.60	c |     58186 |  313904  1042735 |  397958   58100  7654165   131.7 | 10.813 % |
328.28	c |     87378 |  313893  1042692 |  437754   87290 10035187   115.0 | 10.817 % |
424.36	c |    131168 |  313783  1042308 |  481530  131063 17301159   132.0 | 10.846 % |
614.30	c |    196852 |  313711  1042058 |  529683  196686 28367507   144.2 | 10.864 % |
998.58	c |    295378 |  313450  1041191 |  582651  294914 45410862   154.0 | 10.928 % |
1356.84	c |    443168 |  313189  1040332 |  640916  442626 78253834   176.8 | 11.004 % |
1801.15	c 
1801.15	c *** TERMINATED ***
1801.15	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

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

runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node48/watcher-49822-1154120634 -o ROOT/results/node48/solver-49822-1154120634 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node48/49822-1154120634/instance-49822-1154120634.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.01 1.02 1.00 3/64 29073
/proc/meminfo: memFree=726392/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=1048 CPUtime=0
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 99 0 0 0 0 0 0 0 19 0 1 0 158934216 1073152 83 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 262 83 67 215 0 44 0

[startup+10.0022 s]
/proc/loadavg: 1.01 1.02 1.00 2/64 29073
/proc/meminfo: memFree=694920/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=32588 CPUtime=9.99
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 8342 0 0 0 996 3 0 0 25 0 1 0 158934216 33370112 7915 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012176 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 8147 7915 83 215 0 7929 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 32588

[startup+20.0091 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 29073
/proc/meminfo: memFree=695112/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=32588 CPUtime=19.99
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 8342 0 0 0 1996 3 0 0 25 0 1 0 158934216 33370112 7915 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621544 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 8147 7915 83 215 0 7929 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 32588

[startup+30.015 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 29073
/proc/meminfo: memFree=682952/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=45092 CPUtime=30
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 11850 0 0 0 2989 11 0 0 25 0 1 0 158934216 46174208 11008 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005330 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 11273 11008 92 215 0 11055 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 45092

[startup+40.021 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 29073
/proc/meminfo: memFree=595656/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=133220 CPUtime=40
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 33681 0 0 0 3978 22 0 0 25 0 1 0 158934216 136417280 32835 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003212 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 33305 32835 92 215 0 33087 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 133220

[startup+50.0269 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 29073
/proc/meminfo: memFree=595656/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=133220 CPUtime=50.01
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 33681 0 0 0 4979 22 0 0 25 0 1 0 158934216 136417280 32835 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012197 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 33305 32835 92 215 0 33087 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 133220

[startup+60.0328 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 29073
/proc/meminfo: memFree=595656/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=133220 CPUtime=60.01
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 33681 0 0 0 5979 22 0 0 25 0 1 0 158934216 136417280 32835 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134810612 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 33305 32835 92 215 0 33087 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 133220

[startup+70.0387 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 29073
/proc/meminfo: memFree=595656/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=133220 CPUtime=70.01
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 33681 0 0 0 6979 22 0 0 25 0 1 0 158934216 136417280 32835 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839037 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 33305 32835 92 215 0 33087 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 133220

[startup+80.0457 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 29073
/proc/meminfo: memFree=591944/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=136864 CPUtime=80.02
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 36156 0 0 0 7979 23 0 0 25 0 1 0 158934216 140148736 33722 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003848 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 34216 33722 107 215 0 33998 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 136864

[startup+90.0516 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 29073
/proc/meminfo: memFree=590984/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=138032 CPUtime=90.02
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 36468 0 0 0 8979 23 0 0 25 0 1 0 158934216 141344768 34026 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 34508 34026 123 215 0 34290 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 138032

[startup+100.058 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 29073
/proc/meminfo: memFree=590920/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=138032 CPUtime=100.02
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 36476 0 0 0 9979 23 0 0 25 0 1 0 158934216 141344768 34034 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 34508 34034 123 215 0 34290 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 138032

[startup+110.063 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 29073
/proc/meminfo: memFree=590920/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=138032 CPUtime=110.03
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 36478 0 0 0 10980 23 0 0 25 0 1 0 158934216 141344768 34036 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 34508 34036 123 215 0 34290 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 138032

[startup+120.069 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073
/proc/meminfo: memFree=590920/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=138032 CPUtime=120.03
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 36478 0 0 0 11980 23 0 0 25 0 1 0 158934216 141344768 34036 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 34508 34036 123 215 0 34290 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 138032

[startup+130.075 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073
/proc/meminfo: memFree=590984/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=138032 CPUtime=130.03
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 36478 0 0 0 12980 23 0 0 25 0 1 0 158934216 141344768 34036 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 34508 34036 123 215 0 34290 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 138032

[startup+140.081 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073
/proc/meminfo: memFree=590984/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=138032 CPUtime=140.04
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 36478 0 0 0 13981 23 0 0 25 0 1 0 158934216 141344768 34036 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 34508 34036 123 215 0 34290 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 138032

[startup+150.087 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073
/proc/meminfo: memFree=590984/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=138032 CPUtime=150.04
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 36478 0 0 0 14981 23 0 0 25 0 1 0 158934216 141344768 34036 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 34508 34036 123 215 0 34290 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 138032

[startup+160.093 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073
/proc/meminfo: memFree=590984/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=138032 CPUtime=160.04
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 36479 0 0 0 15981 23 0 0 25 0 1 0 158934216 141344768 34037 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579871 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 34508 34037 123 215 0 34290 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 138032

[startup+170.099 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073
/proc/meminfo: memFree=590984/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=138032 CPUtime=170.05
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 36479 0 0 0 16982 23 0 0 25 0 1 0 158934216 141344768 34037 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 34508 34037 123 215 0 34290 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 138032

[startup+180.105 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073
/proc/meminfo: memFree=590984/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=138032 CPUtime=180.05
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 36479 0 0 0 17982 23 0 0 25 0 1 0 158934216 141344768 34037 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 34508 34037 123 215 0 34290 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 138032

[startup+190.111 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073
/proc/meminfo: memFree=590984/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=138032 CPUtime=190.05
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 36479 0 0 0 18982 23 0 0 25 0 1 0 158934216 141344768 34037 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 34508 34037 123 215 0 34290 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 138032

[startup+200.116 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073
/proc/meminfo: memFree=590920/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=138032 CPUtime=200.06
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 36479 0 0 0 19983 23 0 0 25 0 1 0 158934216 141344768 34037 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 34508 34037 123 215 0 34290 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 138032

[startup+210.122 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073

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

/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121439 0 0 0 178051 109 0 0 25 0 1 0 158934216 490127360 118997 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 119660 118997 123 215 0 119442 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (Kb) 478640

[startup+1783.05 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073
/proc/meminfo: memFree=250256/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=478772 CPUtime=1782.61
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121458 0 0 0 178152 109 0 0 25 0 1 0 158934216 490262528 119016 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 119693 119016 123 215 0 119475 0
Current children cumulated CPU time (s) 1782.61
Current children cumulated vsize (Kb) 478772

[startup+1784.06 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073
/proc/meminfo: memFree=250192/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=478772 CPUtime=1783.61
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121476 0 0 0 178252 109 0 0 25 0 1 0 158934216 490262528 119034 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 119693 119034 123 215 0 119475 0
Current children cumulated CPU time (s) 1783.61
Current children cumulated vsize (Kb) 478772

[startup+1785.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073
/proc/meminfo: memFree=250128/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=478904 CPUtime=1784.62
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121490 0 0 0 178353 109 0 0 25 0 1 0 158934216 490397696 119048 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 119726 119048 123 215 0 119508 0
Current children cumulated CPU time (s) 1784.62
Current children cumulated vsize (Kb) 478904

[startup+1786.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073
/proc/meminfo: memFree=250064/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=478904 CPUtime=1785.62
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121501 0 0 0 178453 109 0 0 25 0 1 0 158934216 490397696 119059 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 119726 119059 123 215 0 119508 0
Current children cumulated CPU time (s) 1785.62
Current children cumulated vsize (Kb) 478904

[startup+1787.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073
/proc/meminfo: memFree=250064/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=478904 CPUtime=1786.63
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121507 0 0 0 178554 109 0 0 25 0 1 0 158934216 490397696 119065 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 119726 119065 123 215 0 119508 0
Current children cumulated CPU time (s) 1786.63
Current children cumulated vsize (Kb) 478904

[startup+1788.08 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073
/proc/meminfo: memFree=249936/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=479036 CPUtime=1787.63
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121533 0 0 0 178654 109 0 0 25 0 1 0 158934216 490532864 119091 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 119759 119091 123 215 0 119541 0
Current children cumulated CPU time (s) 1787.63
Current children cumulated vsize (Kb) 479036

[startup+1789.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073
/proc/meminfo: memFree=249808/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=479168 CPUtime=1788.64
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121568 0 0 0 178755 109 0 0 25 0 1 0 158934216 490668032 119126 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 119792 119126 123 215 0 119574 0
Current children cumulated CPU time (s) 1788.64
Current children cumulated vsize (Kb) 479168

[startup+1790.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073
/proc/meminfo: memFree=249680/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=479292 CPUtime=1789.64
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121597 0 0 0 178855 109 0 0 25 0 1 0 158934216 490795008 119155 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 119823 119155 123 215 0 119605 0
Current children cumulated CPU time (s) 1789.64
Current children cumulated vsize (Kb) 479292

[startup+1791.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073
/proc/meminfo: memFree=249680/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=479292 CPUtime=1790.64
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121611 0 0 0 178955 109 0 0 25 0 1 0 158934216 490795008 119169 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 119823 119169 123 215 0 119605 0
Current children cumulated CPU time (s) 1790.64
Current children cumulated vsize (Kb) 479292

[startup+1792.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073
/proc/meminfo: memFree=249616/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=479420 CPUtime=1791.65
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121618 0 0 0 179056 109 0 0 25 0 1 0 158934216 490926080 119176 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 119855 119176 123 215 0 119637 0
Current children cumulated CPU time (s) 1791.65
Current children cumulated vsize (Kb) 479420

[startup+1793.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073
/proc/meminfo: memFree=249616/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=479420 CPUtime=1792.65
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121626 0 0 0 179156 109 0 0 25 0 1 0 158934216 490926080 119184 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 119855 119184 123 215 0 119637 0
Current children cumulated CPU time (s) 1792.65
Current children cumulated vsize (Kb) 479420

[startup+1794.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073
/proc/meminfo: memFree=249552/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=479552 CPUtime=1793.66
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121643 0 0 0 179257 109 0 0 25 0 1 0 158934216 491061248 119201 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 119888 119201 123 215 0 119670 0
Current children cumulated CPU time (s) 1793.66
Current children cumulated vsize (Kb) 479552

[startup+1795.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073
/proc/meminfo: memFree=249424/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=479552 CPUtime=1794.66
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121661 0 0 0 179357 109 0 0 25 0 1 0 158934216 491061248 119219 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 119888 119219 123 215 0 119670 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (Kb) 479552

[startup+1796.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073
/proc/meminfo: memFree=249360/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=479684 CPUtime=1795.67
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121688 0 0 0 179458 109 0 0 25 0 1 0 158934216 491196416 119246 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 119921 119246 123 215 0 119703 0
Current children cumulated CPU time (s) 1795.67
Current children cumulated vsize (Kb) 479684

[startup+1797.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073
/proc/meminfo: memFree=249232/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=479816 CPUtime=1796.67
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121714 0 0 0 179558 109 0 0 25 0 1 0 158934216 491331584 119272 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 119954 119272 123 215 0 119736 0
Current children cumulated CPU time (s) 1796.67
Current children cumulated vsize (Kb) 479816

[startup+1798.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073
/proc/meminfo: memFree=249168/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=479816 CPUtime=1797.68
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121735 0 0 0 179659 109 0 0 25 0 1 0 158934216 491331584 119293 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 119954 119293 123 215 0 119736 0
Current children cumulated CPU time (s) 1797.68
Current children cumulated vsize (Kb) 479816

[startup+1799.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073
/proc/meminfo: memFree=249040/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=479948 CPUtime=1798.68
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121768 0 0 0 179759 109 0 0 25 0 1 0 158934216 491466752 119326 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 119987 119326 123 215 0 119769 0
Current children cumulated CPU time (s) 1798.68
Current children cumulated vsize (Kb) 479948

[startup+1800.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073
/proc/meminfo: memFree=248912/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=480076 CPUtime=1799.68
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121791 0 0 0 179859 109 0 0 25 0 1 0 158934216 491597824 119349 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 120019 119349 123 215 0 119801 0
Current children cumulated CPU time (s) 1799.68
Current children cumulated vsize (Kb) 480076

[startup+1801.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073
/proc/meminfo: memFree=248656/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=480340 CPUtime=1800.69
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121857 0 0 0 179960 109 0 0 25 0 1 0 158934216 491868160 119415 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 120085 119415 123 215 0 119867 0
Current children cumulated CPU time (s) 1800.69
Current children cumulated vsize (Kb) 480340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 29073
/proc/meminfo: memFree=248656/2055920 swapFree=4182820/4192956
[pid=29073] ppid=29071 vsize=480340 CPUtime=1800.69
/proc/29073/stat : 29073 (minisat+) R 29071 29073 29024 0 -1 4194304 121857 0 0 0 179960 109 0 0 25 0 1 0 158934216 491868160 119415 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0
/proc/29073/statm: 120085 119415 123 215 0 119867 0
Current children cumulated CPU time (s) 1800.69
Current children cumulated vsize (Kb) 480340

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 0
Real time (s): 1801.23
CPU time (s): 1800.78
CPU user time (s): 1799.61
CPU system time (s): 1.17282
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (Kb): 480340
The end

Launcher Data (download as text)

Begin job on node48 on Fri Jul 28 21:03:54 UTC 2006


FILE ID= 49822-1154120634

PBS_JOBID= 886953

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node48/49822-1154120634/instance-49822-1154120634.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node48/watcher-49822-1154120634 -o ROOT/results/node48/solver-49822-1154120634 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node48/49822-1154120634/instance-49822-1154120634.opb

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  20fad26c16d154a41eda0484a6e6eae7

RANDOM SEED= 296138210

TIMEOUT= 1800 seconds


/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.232
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	: 5914.62
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.232
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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        726600 kB
Buffers:         39636 kB
Cached:        1229056 kB
SwapCached:       4676 kB
Active:         402544 kB
Inactive:       875716 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        726600 kB
SwapTotal:     4192956 kB
SwapFree:      4182820 kB
Dirty:             208 kB
Writeback:           0 kB
Mapped:          14444 kB
Slab:            37048 kB
Committed_AS:   659692 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node48 on Fri Jul 28 21:33:56 UTC 2006