Trace number 367067

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.18 1800.88

General information on the benchmark

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

Solver Data (download as text)

0.00/0.00	c Parsing PB file...
3.29/3.37	c Converting 73262 PB-constraints to clauses...
3.29/3.39	c   -- Unit propagations: (none)
27.48/27.53	c   -- Detecting intervals from adjacent constraints: #
27.48/27.54	c   -- Clauses(.)/Splits(s): ..........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
27.58/27.69	c ---[   0]---> Adder-cost: 36400   maxlim: 185628437934196225047014300357816985982873324374841130757601902363009   bits: 227/227
81.95/82.01	c ==================================[MINISAT+]==================================
81.95/82.01	c | Conflicts | Original         | Learnt                           | Progress |
81.95/82.01	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
81.95/82.01	c ==============================================================================
81.95/82.01	c |         0 |  314385  1044450 |  104795       0        0     nan |  0.000 % |
81.95/82.02	c |       100 |  314385  1044450 |  115274     100      315     3.1 | 10.685 % |
82.05/82.18	c |       250 |  314253  1043988 |  126801     229      713     3.1 | 10.719 % |
82.46/82.57	c |       477 |  314253  1043988 |  139482     456    19388    42.5 | 10.719 % |
83.25/83.38	c |       814 |  314253  1043988 |  153430     793    29401    37.1 | 10.719 % |
84.15/84.22	c |      1320 |  314253  1043988 |  168773    1299    42298    32.6 | 10.719 % |
84.56/84.67	c |      2079 |  314253  1043988 |  185650    2058    76303    37.1 | 10.719 % |
86.75/86.83	c |      3218 |  314253  1043988 |  204215    3197   120767    37.8 | 10.719 % |
88.35/88.49	c |      4927 |  314253  1043988 |  224637    4906   273884    55.8 | 10.719 % |
90.95/91.08	c |      7490 |  314253  1043988 |  247101    7469   388284    52.0 | 10.719 % |
94.05/94.11	c |     11334 |  314253  1043988 |  271811   11313   907177    80.2 | 10.719 % |
112.44/112.56	c |     17101 |  314221  1043884 |  298992   17076  1232354    72.2 | 10.729 % |
143.33/143.47	c |     25750 |  314221  1043884 |  328891   25725  1706832    66.3 | 10.729 % |
154.23/154.38	c |     38725 |  314221  1043884 |  361780   38700  4792924   123.8 | 10.729 % |
210.90/211.09	c |     58186 |  313904  1042735 |  397958   58100  7654165   131.7 | 10.813 % |
328.86/329.07	c |     87378 |  313893  1042692 |  437754   87290 10035187   115.0 | 10.817 % |
425.22/425.43	c |    131168 |  313783  1042308 |  481530  131063 17301159   132.0 | 10.846 % |
615.45/615.78	c |    196852 |  313711  1042058 |  529683  196686 28367507   144.2 | 10.864 % |
1000.70/1001.13	c |    295378 |  313450  1041191 |  582651  294914 45410862   154.0 | 10.928 % |
1358.56/1359.14	c |    443168 |  313189  1040332 |  640916  442626 78253834   176.8 | 11.004 % |
1800.08/1800.80	c 
1800.08/1800.80	c *** TERMINATED ***
1800.08/1800.80	s UNKNOWN

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

/tmp/evaluation/367067-1177068656/instance-367067-1177068656.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node40/watcher-367067-1177068656 -o ROOT/results/node40/solver-367067-1177068656 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/367067-1177068656/minisat+ /tmp/evaluation/367067-1177068656/instance-367067-1177068656.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.68 0.92 0.97 3/77 15846
/proc/meminfo: memFree=1776488/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=1048 CPUtime=0
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 116 0 0 0 0 0 0 0 18 0 1 0 35745163 1073152 101 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134810613 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 262 101 74 215 0 44 0

[startup+0.0859711 s]
/proc/loadavg: 0.68 0.92 0.97 3/77 15846
/proc/meminfo: memFree=1776488/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=1936 CPUtime=0.08
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 334 0 0 0 8 0 0 0 18 0 1 0 35745163 1982464 319 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 484 319 74 215 0 266 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1936

[startup+0.101974 s]
/proc/loadavg: 0.68 0.92 0.97 3/77 15846
/proc/meminfo: memFree=1776488/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=2068 CPUtime=0.09
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 375 0 0 0 9 0 0 0 18 0 1 0 35745163 2117632 360 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 517 360 74 215 0 299 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2068

[startup+0.302015 s]
/proc/loadavg: 0.68 0.92 0.97 3/77 15846
/proc/meminfo: memFree=1776488/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=4208 CPUtime=0.29
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 880 0 0 0 29 0 0 0 19 0 1 0 35745163 4308992 865 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 1052 865 74 215 0 834 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4208

[startup+0.701099 s]
/proc/loadavg: 0.68 0.92 0.97 3/77 15846
/proc/meminfo: memFree=1776488/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=8092 CPUtime=0.69
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 1865 0 0 0 68 1 0 0 23 0 1 0 35745163 8286208 1850 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 2023 1850 74 215 0 1805 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8092

[startup+1.50127 s]
/proc/loadavg: 0.68 0.92 0.97 2/78 15847
/proc/meminfo: memFree=1766432/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=15952 CPUtime=1.49
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 3794 0 0 0 147 2 0 0 25 0 1 0 35745163 16334848 3776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 3988 3776 74 215 0 3770 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15952

[startup+3.1016 s]
/proc/loadavg: 0.68 0.92 0.97 2/78 15847
/proc/meminfo: memFree=1755424/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=32848 CPUtime=3.08
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 8265 0 0 0 304 4 0 0 25 0 1 0 35745163 33636352 7960 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005842 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 8212 7960 74 215 0 7994 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 32848

[startup+6.30127 s]
/proc/loadavg: 0.70 0.92 0.97 2/78 15847
/proc/meminfo: memFree=1744544/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=32588 CPUtime=6.29
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 8340 0 0 0 624 5 0 0 25 0 1 0 35745163 33370112 7913 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621698 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 8147 7913 83 215 0 7929 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32588

[startup+12.7016 s]
/proc/loadavg: 0.72 0.92 0.97 2/78 15847
/proc/meminfo: memFree=1744680/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=32588 CPUtime=12.69
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 8340 0 0 0 1264 5 0 0 25 0 1 0 35745163 33370112 7913 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 8147 7913 83 215 0 7929 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32588

[startup+25.5013 s]
/proc/loadavg: 0.79 0.92 0.97 2/78 15847
/proc/meminfo: memFree=1744744/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=32588 CPUtime=25.48
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 8340 0 0 0 2543 5 0 0 25 0 1 0 35745163 33370112 7913 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003866 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 8147 7913 83 215 0 7929 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32588

[startup+51.1016 s]
/proc/loadavg: 0.86 0.93 0.97 2/78 15847
/proc/meminfo: memFree=1645160/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=133220 CPUtime=51.06
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 33680 0 0 0 5080 26 0 0 25 0 1 0 35745163 136417280 32834 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005853 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 33305 32834 92 215 0 33087 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 133220

[startup+102.305 s]
/proc/loadavg: 0.94 0.94 0.97 2/78 15847
/proc/meminfo: memFree=1640488/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=138032 CPUtime=102.25
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 36476 0 0 0 10197 28 0 0 25 0 1 0 35745163 141344768 34035 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580259 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 34508 34035 123 215 0 34290 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 138032

[startup+162.302 s]
/proc/loadavg: 0.97 0.95 0.97 2/78 15847
/proc/meminfo: memFree=1640488/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=138032 CPUtime=162.23
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 36479 0 0 0 16194 29 0 0 25 0 1 0 35745163 141344768 34038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 34508 34038 123 215 0 34290 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 138032

[startup+222.301 s]
/proc/loadavg: 0.99 0.95 0.97 2/78 15847
/proc/meminfo: memFree=1640424/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=138032 CPUtime=222.2
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 36479 0 0 0 22191 29 0 0 25 0 1 0 35745163 141344768 34038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580314 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 34508 34038 123 215 0 34290 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 138032

[startup+282.303 s]
/proc/loadavg: 0.99 0.96 0.97 2/78 15847
/proc/meminfo: memFree=1640424/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=138032 CPUtime=282.18
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 36479 0 0 0 28188 30 0 0 25 0 1 0 35745163 141344768 34038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 34508 34038 123 215 0 34290 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 138032

[startup+342.302 s]
/proc/loadavg: 0.99 0.96 0.97 2/78 15847
/proc/meminfo: memFree=1640424/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=138032 CPUtime=342.15
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 36479 0 0 0 34185 30 0 0 25 0 1 0 35745163 141344768 34038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 34508 34038 123 215 0 34290 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 138032

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 15847
/proc/meminfo: memFree=1640360/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=138032 CPUtime=402.13
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 36479 0 0 0 40182 31 0 0 25 0 1 0 35745163 141344768 34038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580854 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 34508 34038 123 215 0 34290 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 138032

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 15847
/proc/meminfo: memFree=1640360/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=138032 CPUtime=462.1
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 36479 0 0 0 46179 31 0 0 25 0 1 0 35745163 141344768 34038 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 34508 34038 123 215 0 34290 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 138032

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 15847
/proc/meminfo: memFree=1628712/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=149920 CPUtime=522.08
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 39451 0 0 0 52173 35 0 0 25 0 1 0 35745163 153518080 37010 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 37480 37010 123 215 0 37262 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 149920

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 15847
/proc/meminfo: memFree=1610600/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=167972 CPUtime=582.06
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 43937 0 0 0 58165 41 0 0 25 0 1 0 35745163 172003328 41496 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581463 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 41993 41496 123 215 0 41775 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 167972

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 15847
/proc/meminfo: memFree=1599464/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=178916 CPUtime=642.04
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 46674 0 0 0 64158 46 0 0 25 0 1 0 35745163 183209984 44233 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 44729 44233 123 215 0 44511 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 178916


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 15847
/proc/meminfo: memFree=1582760/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=196064 CPUtime=821.97
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 50877 0 0 0 82143 54 0 0 25 0 1 0 35745163 200769536 48436 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 49016 48436 123 215 0 48798 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 196064

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 15847
/proc/meminfo: memFree=1564840/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=213668 CPUtime=881.95
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 55323 0 0 0 88137 58 0 0 25 0 1 0 35745163 218796032 52882 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 53417 52882 123 215 0 53199 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 213668

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 15847
/proc/meminfo: memFree=1552808/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=225888 CPUtime=941.92
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 58373 0 0 0 94131 61 0 0 25 0 1 0 35745163 231309312 55932 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 56472 55932 123 215 0 56254 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 225888

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 15847
/proc/meminfo: memFree=1530088/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=248268 CPUtime=1001.9
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 63993 0 0 0 100124 66 0 0 25 0 1 0 35745163 254226432 61552 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 62067 61552 123 215 0 61849 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 248268

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 15847
/proc/meminfo: memFree=1502952/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=276448 CPUtime=1061.87
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 70909 0 0 0 106115 72 0 0 25 0 1 0 35745163 283082752 68468 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 69112 68468 123 215 0 68894 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 276448

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 15847
/proc/meminfo: memFree=1474344/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=304508 CPUtime=1121.84
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 77965 0 0 0 112105 79 0 0 25 0 1 0 35745163 311816192 75524 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 76127 75524 123 215 0 75909 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 304508

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 15847
/proc/meminfo: memFree=1456296/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=322632 CPUtime=1181.82
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 82492 0 0 0 118098 84 0 0 25 0 1 0 35745163 330375168 80051 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 80658 80051 123 215 0 80440 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 322632

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 15847
/proc/meminfo: memFree=1437480/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=341228 CPUtime=1241.8
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 87152 0 0 0 124090 90 0 0 25 0 1 0 35745163 349417472 84711 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 85307 84711 123 215 0 85089 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 341228

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 15847
/proc/meminfo: memFree=1413864/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=364480 CPUtime=1301.78
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 92991 0 0 0 130082 96 0 0 25 0 1 0 35745163 373227520 90550 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 91120 90550 123 215 0 90902 0
Current children cumulated CPU time (s) 1301.78
Current children cumulated vsize (KiB) 364480

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 15847
/proc/meminfo: memFree=1394664/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=383580 CPUtime=1361.76
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 97795 0 0 0 136073 103 0 0 25 0 1 0 35745163 392785920 95354 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 95895 95354 123 215 0 95677 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 383580

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 15847
/proc/meminfo: memFree=1385064/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=393028 CPUtime=1421.73
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 100152 0 0 0 142067 106 0 0 25 0 1 0 35745163 402460672 97711 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 98257 97711 123 215 0 98039 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 393028

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 15847
/proc/meminfo: memFree=1377448/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=401676 CPUtime=1481.7
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 102113 0 0 0 148061 109 0 0 25 0 1 0 35745163 411316224 99672 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 100419 99672 123 215 0 100201 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 401676

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 15847
/proc/meminfo: memFree=1357096/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=421616 CPUtime=1541.69
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 107135 0 0 0 154053 116 0 0 25 0 1 0 35745163 431734784 104694 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 105404 104694 123 215 0 105186 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 421616

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 15847
/proc/meminfo: memFree=1338792/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=439948 CPUtime=1601.66
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 111724 0 0 0 160047 119 0 0 25 0 1 0 35745163 450506752 109283 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 109987 109283 123 215 0 109769 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 439948

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 15847
/proc/meminfo: memFree=1331880/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=446636 CPUtime=1661.63
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 113415 0 0 0 166042 121 0 0 25 0 1 0 35745163 457355264 110974 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 111659 110974 123 215 0 111441 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 446636

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 15847
/proc/meminfo: memFree=1314536/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=464136 CPUtime=1721.61
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 117782 0 0 0 172035 126 0 0 25 0 1 0 35745163 475275264 115341 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 116034 115341 123 215 0 115816 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 464136

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 15847
/proc/meminfo: memFree=1299816/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=478464 CPUtime=1781.59
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 121400 0 0 0 178027 132 0 0 25 0 1 0 35745163 489947136 118959 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574376 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 119616 118959 123 215 0 119398 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 478464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 15847
/proc/meminfo: memFree=1298408/2055920 swapFree=4112848/4192956
[pid=15846] ppid=15844 vsize=479776 CPUtime=1800.08
/proc/15846/stat : 15846 (minisat+) R 15844 15846 15678 0 -1 4194304 121727 0 0 0 179876 132 0 0 25 0 1 0 35745163 491290624 119286 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0
/proc/15846/statm: 119944 119286 123 215 0 119726 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 479776

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

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

Child status: 0
Real time (s): 1800.88
CPU time (s): 1800.18
CPU user time (s): 1798.77
CPU system time (s): 1.40679
CPU usage (%): 99.9607
Max. virtual memory (cumulated for all children) (KiB): 479776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.77
system time used= 1.40679
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121728
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 444
involuntary context switches= 3450

runsolver used 2.28365 second user time and 4.28335 second system time

The end

Launcher Data (download as text)

Begin job on node40 on Fri Apr 20 11:30:56 UTC 2007

IDJOB= 367067
IDBENCH= 3005
IDSOLVER= 156
FILE ID= node40/367067-1177068656

PBS_JOBID= 4640272

Free space on /tmp= 66524 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=220-sizeP=111-sizeQ=220-229130880.opb
COMMAND LINE= /tmp/evaluation/367067-1177068656/minisat+ /tmp/evaluation/367067-1177068656/instance-367067-1177068656.opb            
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node40/convwatcher-367067-1177068656 -o ROOT/results/node40/conversion-367067-1177068656 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/367067-1177068656/instance-367067-1177068656.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node40/watcher-367067-1177068656 -o ROOT/results/node40/solver-367067-1177068656 -C 1800 -W 3600 -M 1800 --output-limit 1,15  /tmp/evaluation/367067-1177068656/minisat+ /tmp/evaluation/367067-1177068656/instance-367067-1177068656.opb            

META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e
MD5SUM BENCH=  20fad26c16d154a41eda0484a6e6eae7

RANDOM SEED= 589012300

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node40.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.283
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.283
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:       1776960 kB
Buffers:         59076 kB
Cached:         140716 kB
SwapCached:       2100 kB
Active:          76344 kB
Inactive:       149264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1776960 kB
SwapTotal:     4192956 kB
SwapFree:      4112848 kB
Dirty:            6004 kB
Writeback:           0 kB
Mapped:          34720 kB
Slab:            38748 kB
Committed_AS:   957396 kB
PageTables:       1928 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66524 MiB

End job on node40 on Fri Apr 20 12:00:59 UTC 2007