Trace number 49797

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.6 1801.32

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880-max.opb
MD5SUMce74ed6abc2682e3852648a27e28a7ce
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -4
Optimality of the best value was proved NO
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.37	c Converting 73262 PB-constraints to clauses...
3.39	c   -- Unit propagations: (none)
27.33	c   -- Detecting intervals from adjacent constraints: #
27.34	c   -- Clauses(.)/Splits(s): ..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
27.48	c ---[   0]---> Adder-cost: 36400   maxlim: 185628437934196225047014300357816985982873324374841130757601902363009   bits: 227/227
81.71	c ==================================[MINISAT+]==================================
81.71	c | Conflicts | Original         | Learnt                           | Progress |
81.71	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
81.71	c ==============================================================================
81.71	c |         0 |  314385  1044450 |  104795       0        0     nan |  0.000 % |
81.72	c |       100 |  314385  1044450 |  115274     100      315     3.1 | 10.685 % |
82.08	c |       252 |  314165  1043674 |  126801     224      779     3.5 | 10.745 % |
82.19	c |       477 |  314156  1043645 |  139482     448     8986    20.1 | 10.748 % |
82.28	c |       816 |  314156  1043645 |  153430     787    18163    23.1 | 10.749 % |
83.20	c |      1323 |  314156  1043645 |  168773    1294    39770    30.7 | 10.748 % |
85.70	c |      2083 |  314156  1043645 |  185650    2054    60524    29.5 | 10.748 % |
86.31	c |      3222 |  313996  1043075 |  204215    3163   149656    47.3 | 10.791 % |
87.82	c |      4930 |  313996  1043075 |  224637    4871   229632    47.1 | 10.791 % |
89.20	c |      7493 |  313996  1043075 |  247101    7434   322075    43.3 | 10.791 % |
91.57	c |     11337 |  313996  1043075 |  271811   11278   521668    46.3 | 10.791 % |
96.90	c |     17103 |  313961  1042950 |  298992   17038  1014234    59.5 | 10.801 % |
111.34	c |     25752 |  313961  1042950 |  328891   25687  1607107    62.6 | 10.801 % |
119.84	c |     38726 |  313961  1042950 |  361780   38661  3224609    83.4 | 10.800 % |
134.46	c |     58189 |  313961  1042950 |  397958   58124  5331607    91.7 | 10.800 % |
157.36	c |     87384 |  313950  1042907 |  437754   87318  8900777   101.9 | 10.804 % |
201.60	c |    131173 |  313950  1042907 |  481530  131107 12600125    96.1 | 10.804 % |
319.36	c |    196859 |  313950  1042907 |  529683  196793 19298429    98.1 | 10.804 % |
575.55	c |    295385 |  313942  1042881 |  582651  295318 33951759   115.0 | 10.805 % |
1112.38	c |    443174 |  313933  1042850 |  640916  443082 49932929   112.7 | 10.807 % |
1801.26	c 
1801.26	c *** TERMINATED ***
1801.26	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/node59/watcher-49797-1154118853 -o ROOT/results/node59/solver-49797-1154118853 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node59/49797-1154118853/instance-49797-1154118853.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 3/64 17721
/proc/meminfo: memFree=903584/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=1048 CPUtime=0
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 113 0 0 0 0 0 0 0 18 0 1 0 158755072 1073152 97 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005809 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 262 97 74 215 0 44 0

[startup+10.0022 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17721
/proc/meminfo: memFree=872032/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=32588 CPUtime=9.99
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 8341 0 0 0 995 4 0 0 25 0 1 0 158755072 33370112 7913 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808942 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 8147 7913 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.00 1.00 1.00 2/64 17721
/proc/meminfo: memFree=872168/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=32588 CPUtime=19.99
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 8341 0 0 0 1995 4 0 0 25 0 1 0 158755072 33370112 7913 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012189 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 8147 7913 83 215 0 7929 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 32588

[startup+30.016 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17721
/proc/meminfo: memFree=859752/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=45488 CPUtime=30
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 11785 0 0 0 2987 13 0 0 25 0 1 0 158755072 46579712 11107 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 11372 11107 89 215 0 11154 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 45488

[startup+40.0229 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17721
/proc/meminfo: memFree=772584/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=133220 CPUtime=40.01
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 33680 0 0 0 3977 24 0 0 25 0 1 0 158755072 136417280 32833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134531127 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 33305 32833 92 215 0 33087 0
Current children cumulated CPU time (s) 40.01
Current children cumulated vsize (Kb) 133220

[startup+50.0298 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17721
/proc/meminfo: memFree=772584/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=133220 CPUtime=50.01
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 33680 0 0 0 4977 24 0 0 25 0 1 0 158755072 136417280 32833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 33305 32833 92 215 0 33087 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 133220

[startup+60.0358 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17721
/proc/meminfo: memFree=772584/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=133220 CPUtime=60.01
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 33680 0 0 0 5977 24 0 0 25 0 1 0 158755072 136417280 32833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135013426 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 33305 32833 92 215 0 33087 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 133220

[startup+70.0427 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17721
/proc/meminfo: memFree=772584/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=133220 CPUtime=70.01
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 33680 0 0 0 6977 24 0 0 25 0 1 0 158755072 136417280 32833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 33305 32833 92 215 0 33087 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 133220

[startup+80.0496 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17721
/proc/meminfo: memFree=768936/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=136864 CPUtime=80.02
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 36153 0 0 0 7977 25 0 0 25 0 1 0 158755072 140148736 33719 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003216 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 34216 33719 107 215 0 33998 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 136864

[startup+90.0555 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17721
/proc/meminfo: memFree=767912/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=138032 CPUtime=90.02
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 36468 0 0 0 8977 25 0 0 25 0 1 0 158755072 141344768 34026 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 34508 34026 123 215 0 34290 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 138032

[startup+100.061 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17721
/proc/meminfo: memFree=767912/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=138032 CPUtime=100.02
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 36477 0 0 0 9977 25 0 0 25 0 1 0 158755072 141344768 34035 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574413 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 34508 34035 123 215 0 34290 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 138032

[startup+110.067 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17721
/proc/meminfo: memFree=767912/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=138032 CPUtime=110.02
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 36479 0 0 0 10977 25 0 0 25 0 1 0 158755072 141344768 34037 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 34508 34037 123 215 0 34290 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 138032

[startup+120.073 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17721
/proc/meminfo: memFree=767848/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=138032 CPUtime=120.03
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 36479 0 0 0 11978 25 0 0 25 0 1 0 158755072 141344768 34037 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 34508 34037 123 215 0 34290 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 138032

[startup+130.079 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17721
/proc/meminfo: memFree=767848/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=138032 CPUtime=130.03
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 36479 0 0 0 12978 25 0 0 25 0 1 0 158755072 141344768 34037 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575412 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 34508 34037 123 215 0 34290 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 138032

[startup+140.086 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17721
/proc/meminfo: memFree=767848/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=138032 CPUtime=140.03
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 36480 0 0 0 13978 25 0 0 25 0 1 0 158755072 141344768 34038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 34508 34038 123 215 0 34290 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 138032

[startup+150.092 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17721
/proc/meminfo: memFree=767848/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=138032 CPUtime=150.04
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 36480 0 0 0 14979 25 0 0 25 0 1 0 158755072 141344768 34038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 34508 34038 123 215 0 34290 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 138032

[startup+160.098 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17721
/proc/meminfo: memFree=767848/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=138032 CPUtime=160.04
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 36480 0 0 0 15979 25 0 0 25 0 1 0 158755072 141344768 34038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576849 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 34508 34038 123 215 0 34290 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 138032

[startup+170.104 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17721
/proc/meminfo: memFree=767912/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=138032 CPUtime=170.04
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 36480 0 0 0 16979 25 0 0 25 0 1 0 158755072 141344768 34038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574284 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 34508 34038 123 215 0 34290 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 138032

[startup+180.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17721
/proc/meminfo: memFree=767912/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=138032 CPUtime=180.04
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 36480 0 0 0 17979 25 0 0 25 0 1 0 158755072 141344768 34038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 34508 34038 123 215 0 34290 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 138032

[startup+190.116 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17721
/proc/meminfo: memFree=767912/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=138032 CPUtime=190.05
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 36480 0 0 0 18980 25 0 0 25 0 1 0 158755072 141344768 34038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574132 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 34508 34038 123 215 0 34290 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 138032

[startup+200.122 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17721
/proc/meminfo: memFree=767912/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=138032 CPUtime=200.05
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 36480 0 0 0 19980 25 0 0 25 0 1 0 158755072 141344768 34038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574436 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 34508 34038 123 215 0 34290 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 138032

[startup+210.128 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17721

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

/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 85490 0 0 0 178062 84 0 0 25 0 1 0 158755072 342994944 83048 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005974 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 83739 83048 123 215 0 83521 0
Current children cumulated CPU time (s) 1781.46
Current children cumulated vsize (Kb) 334956

[startup+1783.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17921
/proc/meminfo: memFree=571120/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=335088 CPUtime=1782.46
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 85527 0 0 0 178162 84 0 0 25 0 1 0 158755072 343130112 83085 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 83772 83085 123 215 0 83554 0
Current children cumulated CPU time (s) 1782.46
Current children cumulated vsize (Kb) 335088

[startup+1784.17 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17921
/proc/meminfo: memFree=570928/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=335220 CPUtime=1783.46
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 85569 0 0 0 178262 84 0 0 25 0 1 0 158755072 343265280 83127 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574219 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 83805 83127 123 215 0 83587 0
Current children cumulated CPU time (s) 1783.46
Current children cumulated vsize (Kb) 335220

[startup+1785.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17921
/proc/meminfo: memFree=570800/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=335352 CPUtime=1784.47
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 85605 0 0 0 178363 84 0 0 25 0 1 0 158755072 343400448 83163 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 83838 83163 123 215 0 83620 0
Current children cumulated CPU time (s) 1784.47
Current children cumulated vsize (Kb) 335352

[startup+1786.18 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17921
/proc/meminfo: memFree=570608/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=335484 CPUtime=1785.47
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 85644 0 0 0 178463 84 0 0 25 0 1 0 158755072 343535616 83202 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 83871 83202 123 215 0 83653 0
Current children cumulated CPU time (s) 1785.47
Current children cumulated vsize (Kb) 335484

[startup+1787.19 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17921
/proc/meminfo: memFree=570416/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=335744 CPUtime=1786.48
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 85689 0 0 0 178564 84 0 0 25 0 1 0 158755072 343801856 83247 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573880 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 83936 83247 123 215 0 83718 0
Current children cumulated CPU time (s) 1786.48
Current children cumulated vsize (Kb) 335744

[startup+1788.19 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17921
/proc/meminfo: memFree=570288/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=335872 CPUtime=1787.48
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 85724 0 0 0 178664 84 0 0 25 0 1 0 158755072 343932928 83282 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575426 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 83968 83282 123 215 0 83750 0
Current children cumulated CPU time (s) 1787.48
Current children cumulated vsize (Kb) 335872

[startup+1789.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17921
/proc/meminfo: memFree=570160/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=336004 CPUtime=1788.48
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 85766 0 0 0 178764 84 0 0 25 0 1 0 158755072 344068096 83324 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574489 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 84001 83324 123 215 0 83783 0
Current children cumulated CPU time (s) 1788.48
Current children cumulated vsize (Kb) 336004

[startup+1790.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17921
/proc/meminfo: memFree=569968/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=336132 CPUtime=1789.49
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 85803 0 0 0 178865 84 0 0 25 0 1 0 158755072 344199168 83361 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575409 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 84033 83361 123 215 0 83815 0
Current children cumulated CPU time (s) 1789.49
Current children cumulated vsize (Kb) 336132

[startup+1791.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17921
/proc/meminfo: memFree=569840/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=336260 CPUtime=1790.49
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 85840 0 0 0 178965 84 0 0 25 0 1 0 158755072 344330240 83398 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 84065 83398 123 215 0 83847 0
Current children cumulated CPU time (s) 1790.49
Current children cumulated vsize (Kb) 336260

[startup+1792.21 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17921
/proc/meminfo: memFree=569712/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=336392 CPUtime=1791.5
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 85876 0 0 0 179066 84 0 0 25 0 1 0 158755072 344465408 83434 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574445 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 84098 83434 123 215 0 83880 0
Current children cumulated CPU time (s) 1791.5
Current children cumulated vsize (Kb) 336392

[startup+1793.22 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17921
/proc/meminfo: memFree=569520/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=336652 CPUtime=1792.5
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 85913 0 0 0 179166 84 0 0 25 0 1 0 158755072 344731648 83471 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 84163 83471 123 215 0 83945 0
Current children cumulated CPU time (s) 1792.5
Current children cumulated vsize (Kb) 336652

[startup+1794.22 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17921
/proc/meminfo: memFree=569392/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=336780 CPUtime=1793.5
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 85957 0 0 0 179266 84 0 0 25 0 1 0 158755072 344862720 83515 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 84195 83515 123 215 0 83977 0
Current children cumulated CPU time (s) 1793.5
Current children cumulated vsize (Kb) 336780

[startup+1795.23 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17921
/proc/meminfo: memFree=569264/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=336912 CPUtime=1794.51
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 85986 0 0 0 179367 84 0 0 25 0 1 0 158755072 344997888 83544 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573879 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 84228 83544 123 215 0 84010 0
Current children cumulated CPU time (s) 1794.51
Current children cumulated vsize (Kb) 336912

[startup+1796.23 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17921
/proc/meminfo: memFree=569136/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=337040 CPUtime=1795.51
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 86011 0 0 0 179467 84 0 0 25 0 1 0 158755072 345128960 83569 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575412 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 84260 83569 123 215 0 84042 0
Current children cumulated CPU time (s) 1795.51
Current children cumulated vsize (Kb) 337040

[startup+1797.24 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17921
/proc/meminfo: memFree=569008/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=337172 CPUtime=1796.52
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 86040 0 0 0 179568 84 0 0 25 0 1 0 158755072 345264128 83598 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 84293 83598 123 215 0 84075 0
Current children cumulated CPU time (s) 1796.52
Current children cumulated vsize (Kb) 337172

[startup+1798.24 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17921
/proc/meminfo: memFree=568944/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=337300 CPUtime=1797.52
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 86072 0 0 0 179668 84 0 0 25 0 1 0 158755072 345395200 83630 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 84325 83630 123 215 0 84107 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (Kb) 337300

[startup+1799.25 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17921
/proc/meminfo: memFree=568752/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=337300 CPUtime=1798.52
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 86105 0 0 0 179768 84 0 0 25 0 1 0 158755072 345395200 83663 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575401 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 84325 83663 123 215 0 84107 0
Current children cumulated CPU time (s) 1798.52
Current children cumulated vsize (Kb) 337300

[startup+1800.25 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17921
/proc/meminfo: memFree=568624/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=337432 CPUtime=1799.53
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 86136 0 0 0 179869 84 0 0 25 0 1 0 158755072 345530368 83694 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574489 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 84358 83694 123 215 0 84140 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (Kb) 337432

[startup+1801.26 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17921
/proc/meminfo: memFree=568496/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=337564 CPUtime=1800.53
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 86168 0 0 0 179969 84 0 0 25 0 1 0 158755072 345665536 83726 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574486 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 84391 83726 123 215 0 84173 0
Current children cumulated CPU time (s) 1800.53
Current children cumulated vsize (Kb) 337564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.26 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 17921
/proc/meminfo: memFree=568496/2055920 swapFree=4182992/4192956
[pid=17721] ppid=17719 vsize=337564 CPUtime=1800.54
/proc/17721/stat : 17721 (minisat+) R 17719 17721 17672 0 -1 4194304 86168 0 0 0 179970 84 0 0 25 0 1 0 158755072 345665536 83726 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 1 0 0
/proc/17721/statm: 84391 83726 123 215 0 84173 0
Current children cumulated CPU time (s) 1800.54
Current children cumulated vsize (Kb) 337564

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

Child status: 0
Real time (s): 1801.32
CPU time (s): 1800.6
CPU user time (s): 1799.7
CPU system time (s): 0.901862
CPU usage (%): 99.9603
Max. virtual memory (cumulated for all children) (Kb): 337564
The end

Launcher Data (download as text)

Begin job on node59 on Fri Jul 28 20:34:13 UTC 2006


FILE ID= 49797-1154118853

PBS_JOBID= 886853

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

MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db
MD5SUM BENCH=  ce74ed6abc2682e3852648a27e28a7ce

RANDOM SEED= 200439943

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.263
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.263
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:        903856 kB
Buffers:         43868 kB
Cached:        1024708 kB
SwapCached:       3852 kB
Active:         249412 kB
Inactive:       827860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        903856 kB
SwapTotal:     4192956 kB
SwapFree:      4182992 kB
Dirty:             216 kB
Writeback:           0 kB
Mapped:          14756 kB
Slab:            60816 kB
Committed_AS:  1111604 kB
PageTables:       1488 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node59 on Fri Jul 28 21:04:14 UTC 2006