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 in four parts:
  1. 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 provide some useful information on the computer.
  2. 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 !
  3. 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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    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.
  4. 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.

General information on the benchmark

Namemps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-sc50a.opb
MD5SUM493fb4fa67dc1b7120e0eba521ce7d8c
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -60000
Optimality of the best value was proved YES
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 8589934592
Number of bits of the biggest number in a constraint 34
Biggest sum of numbers in a constraint 22548578283
Number of bits of the biggest sum of numbers35
Best result obtained on this benchmarkOPTIMUM FOUND
Best CPU time to get the best result obtained on this benchmark14.5268
Number of variables1440
Total number of constraints49
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints49
Minimum length of a constraint60
Maximum length of a constraint120

Trace number 3397

Launcher Data

LAUNCH ON wulflinc24 THE 2005-09-19 00:29:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=6315 boxname=wulflinc24 idbench=455 idsolver=6 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  493fb4fa67dc1b7120e0eba521ce7d8c  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-sc50a.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoTer.jar /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-sc50a.opb
IDLAUNCH: 6315
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        899528 kB
Buffers:         30348 kB
Cached:          76900 kB
SwapCached:        736 kB
Active:          49904 kB
Inactive:        59960 kB
HighTotal:      131008 kB
HighFree:        50428 kB
LowTotal:       903652 kB
LowFree:        849100 kB
SwapTotal:     2097892 kB
SwapFree:      2096652 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5736 kB
Slab:            19472 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-19 00:50:29 (client local time) WITH STATUS 143 IN 1269.34 SECONDS
stats: 6315 0 1269.34 143

Solver Data

c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version JAVA5.1.1.31
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@a20892
c org.sat4j.minisat.constraints.PBMinDataStructure@1e0bc08
c org.sat4j.minisat.learning.MiniSATLearning@158b649
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c VSIDS like heuristics from MiniSAT using a sorted array
c No reason simplification
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-sc50a.opb
c reading problem ... done. Time 1.819 ms.
c #vars     1440
c #constraints  69
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                   0 		Current CPU time: 3.45 ms
c starts		: 11
c conflicts		: 9709
c decisions		: 11362
c propagations		: 153805
c inspects		: 6279725
c learnt literals	: 0
c learnt binary clauses	: 0
c learnt ternary clauses	: 0
c learnt clauses	: 9709
c root simplifications	: 23
c removed literals (reason simplification)	: 0
c reason swapping (by a shorter reason)	: 0
c Calls to reduceDB	: 10994
c speed (decisions/second)	: 9.051280498879942
c non guided choices	1578
c random choices	0
s SATISFIABLE
v -COL00004_bit_10 -COL00004_bit_9 -COL00004_bit_8 -COL00004_bit_7 -COL00004_bit_6 -COL00004_bit_5 -COL00004_bit_4 -COL00004_bit_3 -COL00004_bit_2 -COL00004_bit_1 -COL00004_bit0 -COL00004_bit1 -COL00004_bit2 -COL00004_bit3 -COL00004_bit4 -COL00004_bit5 -COL00004_bit6 -COL00004_bit7 -COL00004_bit8 -COL00004_bit9 -COL00004_bit10 -COL00004_bit11 -COL00004_bit12 -COL00004_bit13 -COL00004_bit14 -COL00004_bit15 -COL00004_bit16 -COL00004_bit17 -COL00004_bit18 -COL00004_bit19 -COL00001_bit_10 -COL00001_bit_9 -COL00001_bit_8 -COL00001_bit_7 -COL00001_bit_6 -COL00001_bit_5 -COL00001_bit_4 -COL00001_bit_3 -COL00001_bit_2 -COL00001_bit_1 -COL00001_bit0 -COL00001_bit1 -COL00001_bit2 -COL00001_bit3 -COL00001_bit4 -COL00001_bit5 -COL00001_bit6 -COL00001_bit7 -COL00001_bit8 -COL00001_bit9 -COL00001_bit10 -COL00001_bit11 -COL00001_bit12 -COL00001_bit13 -COL00001_bit14 -COL00001_bit15 -COL00001_bit16 -COL00001_bit17 -COL00001_bit18 -COL00001_bit19 -COL00002_bit_10 -COL00002_bit_9 -COL00002_bit_8 -COL00002_bit_7 -COL00002_bit_6 -COL00002_bit_5 -COL00002_bit_4 -COL00002_bit_3 -COL00002_bit_2 -COL00002_bit_1 -COL00002_bit0 -COL00002_bit1 -COL00002_bit2 -COL00002_bit3 -COL00002_bit4 -COL00002_bit5 -COL00002_bit6 -COL00002_bit7 -COL00002_bit8 -COL00002_bit9 -COL00002_bit10 -COL00002_bit11 -COL00002_bit12 -COL00002_bit13 -COL00002_bit14 -COL00002_bit15 -COL00002_bit16 -COL00002_bit17 -COL00002_bit18 -COL00002_bit19 -COL00003_bit_10 -COL00003_bit_9 -COL00003_bit_8 -COL00003_bit_7 -COL00003_bit_6 -COL00003_bit_5 -COL00003_bit_4 -COL00003_bit_3 -COL00003_bit_2 -COL00003_bit_1 -COL00003_bit0 -COL00003_bit1 -COL00003_bit2 -COL00003_bit3 -COL00003_bit4 -COL00003_bit5 -COL00003_bit6 -COL00003_bit7 -COL00003_bit8 -COL00003_bit9 -COL00003_bit10 -COL00003_bit11 -COL00003_bit12 -COL00003_bit13 -COL00003_bit14 -COL00003_bit15 -COL00003_bit16 -COL00003_bit17 -COL00003_bit18 -COL00003_bit19 -COL00005_bit_10 -COL00005_bit_9 -COL00005_bit_8 -COL00005_bit_7 -COL00005_bit_6 -COL00005_bit_5 -COL00005_bit_4 -COL00005_bit_3 -COL00005_bit_2 -COL00005_bit_1 -COL00005_bit0 -COL00005_bit1 -COL00005_bit2 -COL00005_bit3 -COL00005_bit4 -COL00005_bit5 -COL00005_bit6 -COL00005_bit7 -COL00005_bit8 -COL00005_bit9 -COL00005_bit10 -COL00005_bit11 -COL00005_bit12 -COL00005_bit13 -COL00005_bit14 -COL00005_bit15 -COL00005_bit16 -COL00005_bit17 -COL00005_bit18 -COL00005_bit19 -COL00006_bit_10 -COL00006_bit_9 -COL00006_bit_8 -COL00006_bit_7 -COL00006_bit_6 -COL00006_bit_5 -COL00006_bit_4 -COL00006_bit_3 -COL00006_bit_2 -COL00006_bit_1 -COL00006_bit0 -COL00006_bit1 -COL00006_bit2 -COL00006_bit3 -COL00006_bit4 -COL00006_bit5 -COL00006_bit6 -COL00006_bit7 -COL00006_bit8 -COL00006_bit9 -COL00006_bit10 -COL00006_bit11 -COL00006_bit12 -COL00006_bit13 -COL00006_bit14 -COL00006_bit15 -COL00006_bit16 -COL00006_bit17 -COL00006_bit18 -COL00006_bit19 -COL00007_bit_10 -COL00007_bit_9 -COL00007_bit_8 -COL00007_bit_7 -COL00007_bit_6 -COL00007_bit_5 -COL00007_bit_4 -COL00007_bit_3 -COL00007_bit_2 -COL00007_bit_1 -COL00007_bit0 -COL00007_bit1 -COL00007_bit2 -COL00007_bit3 -COL00007_bit4 -COL00007_bit5 -COL00007_bit6 -COL00007_bit7 -COL00007_bit8 -COL00007_bit9 -COL00007_bit10 -COL00007_bit11 -COL00007_bit12 -COL00007_bit13 -COL00007_bit14 -COL00007_bit15 -COL00007_bit16 -COL00007_bit17 -COL00007_bit18 -COL00007_bit19 -COL00008_bit_10 -COL00008_bit_9 -COL00008_bit_8 -COL00008_bit_7 -COL00008_bit_6 -COL00008_bit_5 -COL00008_bit_4 -COL00008_bit_3 -COL00008_bit_2 -COL00008_bit_1 -COL00008_bit0 -COL00008_bit1 -COL00008_bit2 -COL00008_bit3 -COL00008_bit4 -COL00008_bit5 -COL00008_bit6 -COL00008_bit7 -COL00008_bit8 -COL00008_bit9 -COL00008_bit10 -COL00008_bit11 -COL00008_bit12 -COL00008_bit13 -COL00008_bit14 -COL00008_bit15 -COL00008_bit16 -COL00008_bit17 -COL00008_bit18 -COL00008_bit19 -COL00009_bit_10 -COL00009_bit_9 -COL00009_bit_8 -COL00009_bit_7 -COL00009_bit_6 -COL00009_bit_5 -COL00009_bit_4 -COL00009_bit_3 -COL00009_bit_2 -COL00009_bit_1 -COL00009_bit0 -COL00009_bit1 -COL00009_bit2 -COL00009_bit3 -COL00009_bit4 -COL00009_bit5 -COL00009_bit6 -COL00009_bit7 -COL00009_bit8 -COL00009_bit9 -COL00009_bit10 -COL00009_bit11 -COL00009_bit12 -COL00009_bit13 -COL00009_bit14 -COL00009_bit15 -COL00009_bit16 -COL00009_bit17 -COL00009_bit18 -COL00009_bit19 -COL00010_bit_10 -COL00010_bit_9 -COL00010_bit_8 -COL00010_bit_7 -COL00010_bit_6 -COL00010_bit_5 -COL00010_bit_4 -COL00010_bit_3 -COL00010_bit_2 -COL00010_bit_1 -COL00010_bit0 -COL00010_bit1 -COL00010_bit2 -COL00010_bit3 -COL00010_bit4 -COL00010_bit5 -COL00010_bit6 -COL00010_bit7 -COL00010_bit8 -COL00010_bit9 -COL00010_bit10 -COL00010_bit11 -COL00010_bit12 -COL00010_bit13 -COL00010_bit14 -COL00010_bit15 -COL00010_bit16 -COL00010_bit17 -COL00010_bit18 -COL00010_bit19 -COL00011_bit_10 -COL00011_bit_9 -COL00011_bit_8 -COL00011_bit_7 -COL00011_bit_6 -COL00011_bit_5 -COL00011_bit_4 -COL00011_bit_3 -COL00011_bit_2 -COL00011_bit_1 -COL00011_bit0 -COL00011_bit1 -COL00011_bit2 -COL00011_bit3 -COL00011_bit4 -COL00011_bit5 -COL00011_bit6 -COL00011_bit7 -COL00011_bit8 -COL00011_bit9 -COL00011_bit10 -COL00011_bit11 -COL00011_bit12 -COL00011_bit13 -COL00011_bit14 -COL00011_bit15 -COL00011_bit16 -COL00011_bit17 -COL00011_bit18 -COL00011_bit19 -COL00012_bit_10 -COL00012_bit_9 -COL00012_bit_8 -COL00012_bit_7 -COL00012_bit_6 -COL00012_bit_5 -COL00012_bit_4 -COL00012_bit_3 -COL00012_bit_2 -COL00012_bit_1 -COL00012_bit0 -COL00012_bit1 -COL00012_bit2 -COL00012_bit3 -COL00012_bit4 -COL00012_bit5 -COL00012_bit6 -COL00012_bit7 -COL00012_bit8 -COL00012_bit9 -COL00012_bit10 -COL00012_bit11 -COL00012_bit12 -COL00012_bit13 -COL00012_bit14 -COL00012_bit15 -COL00012_bit16 -COL00012_bit17 -COL00012_bit18 -COL00012_bit19 -COL00013_bit_10 -COL00013_bit_9 -COL00013_bit_8 -COL00013_bit_7 -COL00013_bit_6 -COL00013_bit_5 -COL00013_bit_4 -COL00013_bit_3 -COL00013_bit_2 -COL00013_bit_1 -COL00013_bit0 -COL00013_bit1 -COL00013_bit2 -COL00013_bit3 -COL00013_bit4 -COL00013_bit5 -COL00013_bit6 -COL00013_bit7 -COL00013_bit8 -COL00013_bit9 -COL00013_bit10 -COL00013_bit11 -COL00013_bit12 -COL00013_bit13 -COL00013_bit14 -COL00013_bit15 -COL00013_bit16 -COL00013_bit17 -COL00013_bit18 -COL00013_bit19 -COL00014_bit_10 -COL00014_bit_9 -COL00014_bit_8 -COL00014_bit_7 -COL00014_bit_6 -COL00014_bit_5 -COL00014_bit_4 -COL00014_bit_3 -COL00014_bit_2 -COL00014_bit_1 -COL00014_bit0 -COL00014_bit1 -COL00014_bit2 -COL00014_bit3 -COL00014_bit4 -COL00014_bit5 -COL00014_bit6 -COL00014_bit7 -COL00014_bit8 -COL00014_bit9 -COL00014_bit10 -COL00014_bit11 -COL00014_bit12 -COL00014_bit13 -COL00014_bit14 -COL00014_bit15 -COL00014_bit16 -COL00014_bit17 -COL00014_bit18 -COL00014_bit19 -COL00015_bit_10 -COL00015_bit_9 -COL00015_bit_8 -COL00015_bit_7 -COL00015_bit_6 -COL00015_bit_5 -COL00015_bit_4 -COL00015_bit_3 -COL00015_bit_2 -COL00015_bit_1 -COL00015_bit0 -COL00015_bit1 -COL00015_bit2 -COL00015_bit3 -COL00015_bit4 -COL00015_bit5 -COL00015_bit6 -COL00015_bit7 -COL00015_bit8 -COL00015_bit9 -COL00015_bit10 -COL00015_bit11 -COL00015_bit12 -COL00015_bit13 -COL00015_bit14 -COL00015_bit15 -COL00015_bit16 -COL00015_bit17 -COL00015_bit18 -COL00015_bit19 -COL00016_bit_10 -COL00016_bit_9 -COL00016_bit_8 -COL00016_bit_7 -COL00016_bit_6 -COL00016_bit_5 -COL00016_bit_4 -COL00016_bit_3 -COL00016_bit_2 -COL00016_bit_1 -COL00016_bit0 -COL00016_bit1 -COL00016_bit2 -COL00016_bit3 -COL00016_bit4 -COL00016_bit5 -COL00016_bit6 -COL00016_bit7 -COL00016_bit8 -COL00016_bit9 -COL00016_bit10 -COL00016_bit11 -COL00016_bit12 -COL00016_bit13 -COL00016_bit14 -COL00016_bit15 -COL00016_bit16 -COL00016_bit17 -COL00016_bit18 -COL00016_bit19 -COL00017_bit_10 -COL00017_bit_9 -COL00017_bit_8 -COL00017_bit_7 -COL00017_bit_6 -COL00017_bit_5 -COL00017_bit_4 -COL00017_bit_3 -COL00017_bit_2 -COL00017_bit_1 -COL00017_bit0 -COL00017_bit1 -COL00017_bit2 -COL00017_bit3 -COL00017_bit4 -COL00017_bit5 -COL00017_bit6 -COL00017_bit7 -COL00017_bit8 -COL00017_bit9 -COL00017_bit10 -COL00017_bit11 -COL00017_bit12 -COL00017_bit13 -COL00017_bit14 -COL00017_bit15 -COL00017_bit16 -COL00017_bit17 -COL00017_bit18 -COL00017_bit19 -COL00018_bit_10 -COL00018_bit_9 -COL00018_bit_8 -COL00018_bit_7 -COL00018_bit_6 -COL00018_bit_5 -COL00018_bit_4 -COL00018_bit_3 -COL00018_bit_2 -COL00018_bit_1 -COL00018_bit0 -COL00018_bit1 -COL00018_bit2 -COL00018_bit3 -COL00018_bit4 -COL00018_bit5 -COL00018_bit6 -COL00018_bit7 -COL00018_bit8 -COL00018_bit9 -COL00018_bit10 -COL00018_bit11 -COL00018_bit12 -COL00018_bit13 -COL00018_bit14 -COL00018_bit15 -COL00018_bit16 -COL00018_bit17 -COL00018_bit18 -COL00018_bit19 -COL00019_bit_10 -COL00019_bit_9 -COL00019_bit_8 -COL00019_bit_7 -COL00019_bit_6 -COL00019_bit_5 -COL00019_bit_4 -COL00019_bit_3 -COL00019_bit_2 -COL00019_bit_1 -COL00019_bit0 -COL00019_bit1 -COL00019_bit2 -COL00019_bit3 -COL00019_bit4 -COL00019_bit5 -COL00019_bit6 -COL00019_bit7 -COL00019_bit8 -COL00019_bit9 -COL00019_bit10 -COL00019_bit11 -COL00019_bit12 -COL00019_bit13 -COL00019_bit14 -COL00019_bit15 -COL00019_bit16 -COL00019_bit17 -COL00019_bit18 -COL00019_bit19 -COL00020_bit_10 -COL00020_bit_9 -COL00020_bit_8 -COL00020_bit_7 -COL00020_bit_6 -COL00020_bit_5 -COL00020_bit_4 -COL00020_bit_3 -COL00020_bit_2 -COL00020_bit_1 -COL00020_bit0 -COL00020_bit1 -COL00020_bit2 -COL00020_bit3 -COL00020_bit4 -COL00020_bit5 -COL00020_bit6 -COL00020_bit7 -COL00020_bit8 -COL00020_bit9 -COL00020_bit10 -COL00020_bit11 -COL00020_bit12 -COL00020_bit13 -COL00020_bit14 -COL00020_bit15 -COL00020_bit16 -COL00020_bit17 -COL00020_bit18 -COL00020_bit19 -COL00021_bit_10 -COL00021_bit_9 -COL00021_bit_8 -COL00021_bit_7 -COL00021_bit_6 -COL00021_bit_5 -COL00021_bit_4 -COL00021_bit_3 -COL00021_bit_2 -COL00021_bit_1 -COL00021_bit0 -COL00021_bit1 -COL00021_bit2 -COL00021_bit3 -COL00021_bit4 -COL00021_bit5 -COL00021_bit6 -COL00021_bit7 -COL00021_bit8 -COL00021_bit9 -COL00021_bit10 -COL00021_bit11 -COL00021_bit12 -COL00021_bit13 -COL00021_bit14 -COL00021_bit15 -COL00021_bit16 -COL00021_bit17 -COL00021_bit18 -COL00021_bit19 -COL00022_bit_10 -COL00022_bit_9 -COL00022_bit_8 -COL00022_bit_7 -COL00022_bit_6 -COL00022_bit_5 -COL00022_bit_4 -COL00022_bit_3 -COL00022_bit_2 -COL00022_bit_1 -COL00022_bit0 -COL00022_bit1 -COL00022_bit2 -COL00022_bit3 -COL00022_bit4 -COL00022_bit5 -COL00022_bit6 -COL00022_bit7 -COL00022_bit8 -COL00022_bit9 -COL00022_bit10 -COL00022_bit11 -COL00022_bit12 -COL00022_bit13 -COL00022_bit14 -COL00022_bit15 -COL00022_bit16 -COL00022_bit17 -COL00022_bit18 -COL00022_bit19 -COL00023_bit_10 -COL00023_bit_9 -COL00023_bit_8 -COL00023_bit_7 -COL00023_bit_6 -COL00023_bit_5 -COL00023_bit_4 -COL00023_bit_3 -COL00023_bit_2 -COL00023_bit_1 -COL00023_bit0 -COL00023_bit1 -COL00023_bit2 -COL00023_bit3 -COL00023_bit4 -COL00023_bit5 -COL00023_bit6 -COL00023_bit7 -COL00023_bit8 -COL00023_bit9 -COL00023_bit10 -COL00023_bit11 -COL00023_bit12 -COL00023_bit13 -COL00023_bit14 -COL00023_bit15 -COL00023_bit16 -COL00023_bit17 -COL00023_bit18 -COL00023_bit19 -COL00024_bit_10 -COL00024_bit_9 -COL00024_bit_8 -COL00024_bit_7 -COL00024_bit_6 -COL00024_bit_5 -COL00024_bit_4 -COL00024_bit_3 -COL00024_bit_2 -COL00024_bit_1 -COL00024_bit0 -COL00024_bit1 -COL00024_bit2 -COL00024_bit3 -COL00024_bit4 -COL00024_bit5 -COL00024_bit6 -COL00024_bit7 -COL00024_bit8 -COL00024_bit9 -COL00024_bit10 -COL00024_bit11 -COL00024_bit12 -COL00024_bit13 -COL00024_bit14 -COL00024_bit15 -COL00024_bit16 -COL00024_bit17 -COL00024_bit18 -COL00024_bit19 -COL00025_bit_10 -COL00025_bit_9 -COL00025_bit_8 -COL00025_bit_7 -COL00025_bit_6 -COL00025_bit_5 -COL00025_bit_4 -COL00025_bit_3 -COL00025_bit_2 -COL00025_bit_1 -COL00025_bit0 -COL00025_bit1 -COL00025_bit2 -COL00025_bit3 -COL00025_bit4 -COL00025_bit5 -COL00025_bit6 -COL00025_bit7 -COL00025_bit8 -COL00025_bit9 -COL00025_bit10 -COL00025_bit11 -COL00025_bit12 -COL00025_bit13 -COL00025_bit14 -COL00025_bit15 -COL00025_bit16 -COL00025_bit17 -COL00025_bit18 -COL00025_bit19 -COL00026_bit_10 -COL00026_bit_9 -COL00026_bit_8 -COL00026_bit_7 -COL00026_bit_6 -COL00026_bit_5 -COL00026_bit_4 -COL00026_bit_3 -COL00026_bit_2 -COL00026_bit_1 -COL00026_bit0 -COL00026_bit1 -COL00026_bit2 -COL00026_bit3 -COL00026_bit4 -COL00026_bit5 -COL00026_bit6 -COL00026_bit7 -COL00026_bit8 -COL00026_bit9 -COL00026_bit10 -COL00026_bit11 -COL00026_bit12 -COL00026_bit13 -COL00026_bit14 -COL00026_bit15 -COL00026_bit16 -COL00026_bit17 -COL00026_bit18 -COL00026_bit19 -COL00027_bit_10 -COL00027_bit_9 -COL00027_bit_8 -COL00027_bit_7 -COL00027_bit_6 -COL00027_bit_5 -COL00027_bit_4 -COL00027_bit_3 -COL00027_bit_2 -COL00027_bit_1 -COL00027_bit0 -COL00027_bit1 -COL00027_bit2 -COL00027_bit3 -COL00027_bit4 -COL00027_bit5 -COL00027_bit6 -COL00027_bit7 -COL00027_bit8 -COL00027_bit9 -COL00027_bit10 -COL00027_bit11 -COL00027_bit12 -COL00027_bit13 -COL00027_bit14 -COL00027_bit15 -COL00027_bit16 -COL00027_bit17 -COL00027_bit18 -COL00027_bit19 -COL00028_bit_10 -COL00028_bit_9 -COL00028_bit_8 -COL00028_bit_7 -COL00028_bit_6 -COL00028_bit_5 -COL00028_bit_4 -COL00028_bit_3 -COL00028_bit_2 -COL00028_bit_1 -COL00028_bit0 -COL00028_bit1 -COL00028_bit2 -COL00028_bit3 -COL00028_bit4 -COL00028_bit5 -COL00028_bit6 -COL00028_bit7 -COL00028_bit8 -COL00028_bit9 -COL00028_bit10 -COL00028_bit11 -COL00028_bit12 -COL00028_bit13 -COL00028_bit14 -COL00028_bit15 -COL00028_bit16 -COL00028_bit17 -COL00028_bit18 -COL00028_bit19 -COL00029_bit_10 -COL00029_bit_9 -COL00029_bit_8 -COL00029_bit_7 -COL00029_bit_6 -COL00029_bit_5 -COL00029_bit_4 -COL00029_bit_3 -COL00029_bit_2 -COL00029_bit_1 -COL00029_bit0 -COL00029_bit1 -COL00029_bit2 -COL00029_bit3 -COL00029_bit4 -COL00029_bit5 -COL00029_bit6 -COL00029_bit7 -COL00029_bit8 -COL00029_bit9 -COL00029_bit10 -COL00029_bit11 -COL00029_bit12 -COL00029_bit13 -COL00029_bit14 -COL00029_bit15 -COL00029_bit16 -COL00029_bit17 -COL00029_bit18 -COL00029_bit19 -COL00030_bit_10 -COL00030_bit_9 -COL00030_bit_8 -COL00030_bit_7 -COL00030_bit_6 -COL00030_bit_5 -COL00030_bit_4 -COL00030_bit_3 -COL00030_bit_2 -COL00030_bit_1 -COL00030_bit0 -COL00030_bit1 -COL00030_bit2 -COL00030_bit3 -COL00030_bit4 -COL00030_bit5 -COL00030_bit6 -COL00030_bit7 -COL00030_bit8 -COL00030_bit9 -COL00030_bit10 -COL00030_bit11 -COL00030_bit12 -COL00030_bit13 -COL00030_bit14 -COL00030_bit15 -COL00030_bit16 -COL00030_bit17 -COL00030_bit18 -COL00030_bit19 -COL00031_bit_10 -COL00031_bit_9 -COL00031_bit_8 -COL00031_bit_7 -COL00031_bit_6 -COL00031_bit_5 -COL00031_bit_4 -COL00031_bit_3 -COL00031_bit_2 -COL00031_bit_1 -COL00031_bit0 -COL00031_bit1 -COL00031_bit2 -COL00031_bit3 -COL00031_bit4 -COL00031_bit5 -COL00031_bit6 -COL00031_bit7 -COL00031_bit8 -COL00031_bit9 -COL00031_bit10 -COL00031_bit11 -COL00031_bit12 -COL00031_bit13 -COL00031_bit14 -COL00031_bit15 -COL00031_bit16 -COL00031_bit17 -COL00031_bit18 -COL00031_bit19 -COL00032_bit_10 -COL00032_bit_9 -COL00032_bit_8 -COL00032_bit_7 -COL00032_bit_6 -COL00032_bit_5 -COL00032_bit_4 -COL00032_bit_3 -COL00032_bit_2 -COL00032_bit_1 -COL00032_bit0 -COL00032_bit1 -COL00032_bit2 -COL00032_bit3 -COL00032_bit4 -COL00032_bit5 -COL00032_bit6 -COL00032_bit7 -COL00032_bit8 -COL00032_bit9 -COL00032_bit10 -COL00032_bit11 -COL00032_bit12 -COL00032_bit13 -COL00032_bit14 -COL00032_bit15 -COL00032_bit16 -COL00032_bit17 -COL00032_bit18 -COL00032_bit19 -COL00033_bit_10 -COL00033_bit_9 -COL00033_bit_8 -COL00033_bit_7 -COL00033_bit_6 -COL00033_bit_5 -COL00033_bit_4 -COL00033_bit_3 -COL00033_bit_2 -COL00033_bit_1 -COL00033_bit0 -COL00033_bit1 -COL00033_bit2 -COL00033_bit3 -COL00033_bit4 -COL00033_bit5 -COL00033_bit6 -COL00033_bit7 -COL00033_bit8 -COL00033_bit9 -COL00033_bit10 -COL00033_bit11 -COL00033_bit12 -COL00033_bit13 -COL00033_bit14 -COL00033_bit15 -COL00033_bit16 -COL00033_bit17 -COL00033_bit18 -COL00033_bit19 -COL00034_bit_10 -COL00034_bit_9 -COL00034_bit_8 -COL00034_bit_7 -COL00034_bit_6 -COL00034_bit_5 -COL00034_bit_4 -COL00034_bit_3 -COL00034_bit_2 -COL00034_bit_1 -COL00034_bit0 -COL00034_bit1 -COL00034_bit2 -COL00034_bit3 -COL00034_bit4 -COL00034_bit5 -COL00034_bit6 -COL00034_bit7 -COL00034_bit8 -COL00034_bit9 -COL00034_bit10 -COL00034_bit11 -COL00034_bit12 -COL00034_bit13 -COL00034_bit14 -COL00034_bit15 -COL00034_bit16 -COL00034_bit17 -COL00034_bit18 -COL00034_bit19 -COL00035_bit_10 -COL00035_bit_9 -COL00035_bit_8 -COL00035_bit_7 -COL00035_bit_6 -COL00035_bit_5 -COL00035_bit_4 -COL00035_bit_3 -COL00035_bit_2 -COL00035_bit_1 -COL00035_bit0 -COL00035_bit1 -COL00035_bit2 -COL00035_bit3 -COL00035_bit4 -COL00035_bit5 -COL00035_bit6 -COL00035_bit7 -COL00035_bit8 -COL00035_bit9 -COL00035_bit10 -COL00035_bit11 -COL00035_bit12 -COL00035_bit13 -COL00035_bit14 -COL00035_bit15 -COL00035_bit16 -COL00035_bit17 -COL00035_bit18 -COL00035_bit19 -COL00036_bit_10 -COL00036_bit_9 -COL00036_bit_8 -COL00036_bit_7 -COL00036_bit_6 -COL00036_bit_5 -COL00036_bit_4 -COL00036_bit_3 -COL00036_bit_2 -COL00036_bit_1 -COL00036_bit0 -COL00036_bit1 -COL00036_bit2 -COL00036_bit3 -COL00036_bit4 -COL00036_bit5 -COL00036_bit6 -COL00036_bit7 -COL00036_bit8 -COL00036_bit9 -COL00036_bit10 -COL00036_bit11 -COL00036_bit12 -COL00036_bit13 -COL00036_bit14 -COL00036_bit15 -COL00036_bit16 -COL00036_bit17 -COL00036_bit18 -COL00036_bit19 -COL00037_bit_10 -COL00037_bit_9 -COL00037_bit_8 -COL00037_bit_7 -COL00037_bit_6 -COL00037_bit_5 -COL00037_bit_4 -COL00037_bit_3 -COL00037_bit_2 -COL00037_bit_1 -COL00037_bit0 -COL00037_bit1 -COL00037_bit2 -COL00037_bit3 -COL00037_bit4 -COL00037_bit5 -COL00037_bit6 -COL00037_bit7 -COL00037_bit8 -COL00037_bit9 -COL00037_bit10 -COL00037_bit11 -COL00037_bit12 -COL00037_bit13 -COL00037_bit14 -COL00037_bit15 -COL00037_bit16 -COL00037_bit17 -COL00037_bit18 -COL00037_bit19 -COL00038_bit_10 -COL00038_bit_9 -COL00038_bit_8 -COL00038_bit_7 -COL00038_bit_6 -COL00038_bit_5 -COL00038_bit_4 -COL00038_bit_3 -COL00038_bit_2 -COL00038_bit_1 -COL00038_bit0 -COL00038_bit1 -COL00038_bit2 -COL00038_bit3 -COL00038_bit4 -COL00038_bit5 -COL00038_bit6 -COL00038_bit7 -COL00038_bit8 -COL00038_bit9 -COL00038_bit10 -COL00038_bit11 -COL00038_bit12 -COL00038_bit13 -COL00038_bit14 -COL00038_bit15 -COL00038_bit16 -COL00038_bit17 -COL00038_bit18 -COL00038_bit19 -COL00039_bit_10 -COL00039_bit_9 -COL00039_bit_8 -COL00039_bit_7 -COL00039_bit_6 -COL00039_bit_5 -COL00039_bit_4 -COL00039_bit_3 -COL00039_bit_2 -COL00039_bit_1 -COL00039_bit0 -COL00039_bit1 -COL00039_bit2 -COL00039_bit3 -COL00039_bit4 -COL00039_bit5 -COL00039_bit6 -COL00039_bit7 -COL00039_bit8 -COL00039_bit9 -COL00039_bit10 -COL00039_bit11 -COL00039_bit12 -COL00039_bit13 -COL00039_bit14 -COL00039_bit15 -COL00039_bit16 -COL00039_bit17 -COL00039_bit18 -COL00039_bit19 -COL00040_bit_10 -COL00040_bit_9 -COL00040_bit_8 -COL00040_bit_7 -COL00040_bit_6 -COL00040_bit_5 -COL00040_bit_4 -COL00040_bit_3 -COL00040_bit_2 -COL00040_bit_1 -COL00040_bit0 -COL00040_bit1 -COL00040_bit2 -COL00040_bit3 -COL00040_bit4 -COL00040_bit5 -COL00040_bit6 -COL00040_bit7 -COL00040_bit8 -COL00040_bit9 -COL00040_bit10 -COL00040_bit11 -COL00040_bit12 -COL00040_bit13 -COL00040_bit14 -COL00040_bit15 -COL00040_bit16 -COL00040_bit17 -COL00040_bit18 -COL00040_bit19 -COL00041_bit_10 -COL00041_bit_9 -COL00041_bit_8 -COL00041_bit_7 -COL00041_bit_6 -COL00041_bit_5 -COL00041_bit_4 -COL00041_bit_3 -COL00041_bit_2 -COL00041_bit_1 -COL00041_bit0 -COL00041_bit1 -COL00041_bit2 -COL00041_bit3 -COL00041_bit4 -COL00041_bit5 -COL00041_bit6 -COL00041_bit7 -COL00041_bit8 -COL00041_bit9 -COL00041_bit10 -COL00041_bit11 -COL00041_bit12 -COL00041_bit13 -COL00041_bit14 -COL00041_bit15 -COL00041_bit16 -COL00041_bit17 -COL00041_bit18 -COL00041_bit19 -COL00042_bit_10 -COL00042_bit_9 -COL00042_bit_8 -COL00042_bit_7 -COL00042_bit_6 -COL00042_bit_5 -COL00042_bit_4 -COL00042_bit_3 -COL00042_bit_2 -COL00042_bit_1 -COL00042_bit0 -COL00042_bit1 -COL00042_bit2 -COL00042_bit3 -COL00042_bit4 -COL00042_bit5 -COL00042_bit6 -COL00042_bit7 -COL00042_bit8 -COL00042_bit9 -COL00042_bit10 -COL00042_bit11 -COL00042_bit12 -COL00042_bit13 -COL00042_bit14 -COL00042_bit15 -COL00042_bit16 -COL00042_bit17 -COL00042_bit18 -COL00042_bit19 -COL00043_bit_10 -COL00043_bit_9 -COL00043_bit_8 -COL00043_bit_7 -COL00043_bit_6 -COL00043_bit_5 -COL00043_bit_4 -COL00043_bit_3 -COL00043_bit_2 -COL00043_bit_1 -COL00043_bit0 -COL00043_bit1 -COL00043_bit2 -COL00043_bit3 -COL00043_bit4 -COL00043_bit5 -COL00043_bit6 -COL00043_bit7 -COL00043_bit8 -COL00043_bit9 -COL00043_bit10 -COL00043_bit11 -COL00043_bit12 -COL00043_bit13 -COL00043_bit14 -COL00043_bit15 -COL00043_bit16 -COL00043_bit17 -COL00043_bit18 -COL00043_bit19 -COL00044_bit_10 -COL00044_bit_9 -COL00044_bit_8 -COL00044_bit_7 -COL00044_bit_6 -COL00044_bit_5 -COL00044_bit_4 -COL00044_bit_3 -COL00044_bit_2 -COL00044_bit_1 -COL00044_bit0 -COL00044_bit1 -COL00044_bit2 -COL00044_bit3 -COL00044_bit4 -COL00044_bit5 -COL00044_bit6 -COL00044_bit7 -COL00044_bit8 -COL00044_bit9 -COL00044_bit10 -COL00044_bit11 -COL00044_bit12 -COL00044_bit13 -COL00044_bit14 -COL00044_bit15 -COL00044_bit16 -COL00044_bit17 -COL00044_bit18 -COL00044_bit19 -COL00045_bit_10 -COL00045_bit_9 -COL00045_bit_8 -COL00045_bit_7 -COL00045_bit_6 -COL00045_bit_5 -COL00045_bit_4 -COL00045_bit_3 -COL00045_bit_2 -COL00045_bit_1 -COL00045_bit0 -COL00045_bit1 -COL00045_bit2 -COL00045_bit3 -COL00045_bit4 -COL00045_bit5 -COL00045_bit6 -COL00045_bit7 -COL00045_bit8 -COL00045_bit9 -COL00045_bit10 -COL00045_bit11 -COL00045_bit12 -COL00045_bit13 -COL00045_bit14 -COL00045_bit15 -COL00045_bit16 -COL00045_bit17 -COL00045_bit18 -COL00045_bit19 -COL00046_bit_10 -COL00046_bit_9 -COL00046_bit_8 -COL00046_bit_7 -COL00046_bit_6 -COL00046_bit_5 -COL00046_bit_4 -COL00046_bit_3 -COL00046_bit_2 -COL00046_bit_1 -COL00046_bit0 -COL00046_bit1 -COL00046_bit2 -COL00046_bit3 -COL00046_bit4 -COL00046_bit5 -COL00046_bit6 -COL00046_bit7 -COL00046_bit8 -COL00046_bit9 -COL00046_bit10 -COL00046_bit11 -COL00046_bit12 -COL00046_bit13 -COL00046_bit14 -COL00046_bit15 -COL00046_bit16 -COL00046_bit17 -COL00046_bit18 -COL00046_bit19 -COL00047_bit_10 -COL00047_bit_9 -COL00047_bit_8 -COL00047_bit_7 -COL00047_bit_6 -COL00047_bit_5 -COL00047_bit_4 -COL00047_bit_3 -COL00047_bit_2 -COL00047_bit_1 -COL00047_bit0 -COL00047_bit1 -COL00047_bit2 -COL00047_bit3 -COL00047_bit4 -COL00047_bit5 -COL00047_bit6 -COL00047_bit7 -COL00047_bit8 -COL00047_bit9 -COL00047_bit10 -COL00047_bit11 -COL00047_bit12 -COL00047_bit13 -COL00047_bit14 -COL00047_bit15 -COL00047_bit16 -COL00047_bit17 -COL00047_bit18 -COL00047_bit19 -COL00048_bit_10 -COL00048_bit_9 -COL00048_bit_8 -COL00048_bit_7 -COL00048_bit_6 -COL00048_bit_5 -COL00048_bit_4 -COL00048_bit_3 -COL00048_bit_2 -COL00048_bit_1 -COL00048_bit0 -COL00048_bit1 -COL00048_bit2 -COL00048_bit3 -COL00048_bit4 -COL00048_bit5 -COL00048_bit6 -COL00048_bit7 -COL00048_bit8 -COL00048_bit9 -COL00048_bit10 -COL00048_bit11 -COL00048_bit12 -COL00048_bit13 -COL00048_bit14 -COL00048_bit15 -COL00048_bit16 -COL00048_bit17 -COL00048_bit18 -COL00048_bit19 
c objective function=0
c Total CPU time (ms) : 1258.953

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1845583473 159744 3 4294967295 134512640 134569956 3221224464 3221224464 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 39 3 38 16 0 23 0
[pid=30966] vsize: 156
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libpthread.so.0
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg
execve syscall for /oldhome/oroussel/jre1.5.0_05/bin/java executable
open syscall for file /etc/ld.so.preload
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/../lib/i386/libpthread.so.0
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/i686/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/mmx/libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libpthread.so.0
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libdl.so.2
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libdl.so.2
open syscall for file tls/i686/mmx/libdl.so.2
open syscall for file tls/i686/libdl.so.2
open syscall for file tls/mmx/libdl.so.2
open syscall for file tls/libdl.so.2
open syscall for file i686/mmx/libdl.so.2
open syscall for file i686/libdl.so.2
open syscall for file mmx/libdl.so.2
open syscall for file libdl.so.2
open syscall for file /oldhome/oroussel/lib/libdl.so.2
open syscall for file /lib/libdl.so.2
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libc.so.6
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libc.so.6
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/jvm.cfg
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libjvm.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libm.so.6
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libm.so.6
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /etc/ld.so.cache
open syscall for file /lib/tls/libm.so.6
open syscall for file /etc/mtab
open syscall for file /proc/stat
open syscall for file /etc/mtab
open syscall for file /proc/meminfo
open syscall for file .hotspotrc
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/endorsed
open syscall for file /etc/mtab
open syscall for file /proc/stat
open syscall for file /proc/self/maps
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/native_threads/libhpi.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/libnsl.so.1
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libnsl.so.1
open syscall for file tls/i686/mmx/libnsl.so.1
open syscall for file tls/i686/libnsl.so.1
open syscall for file tls/mmx/libnsl.so.1
open syscall for file tls/libnsl.so.1
open syscall for file i686/mmx/libnsl.so.1
open syscall for file i686/libnsl.so.1
open syscall for file mmx/libnsl.so.1
open syscall for file libnsl.so.1
open syscall for file /oldhome/oroussel/lib/libnsl.so.1
open syscall for file /etc/ld.so.cache
open syscall for file /lib/libnsl.so.1
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4
socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /tmp/hsperfdata_oroussel
open syscall for file /tmp/hsperfdata_oroussel/30966
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libverify.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libjava.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/libzip.so
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/rt.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jsse.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/jce.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/charsets.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/i386/server/classes.jsa
open syscall for file .hotspot_compiler
New thread pid=30967
New thread pid=30968
New thread pid=30969
socket syscall socket(PF_UNIX,SOCK_STREAM,0)=4
socket syscall connect(4,{sa_family=AF_UNIX,path=/var/run/.nscd_socket},110)
open syscall for file /etc/localtime
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext
New thread pid=30970
New thread pid=30971
New thread pid=30972
New thread pid=30973
New thread pid=30974
New thread pid=30975
open syscall for file /oldhome/oroussel/solvers/sat4jPseudoTer.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunjce_provider.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/sunpkcs11.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/dnsns.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/ext/localedata.jar
open syscall for file /oldhome/oroussel/jre1.5.0_05/lib/security/java.security
open syscall for file /dev/random
open syscall for file /dev/urandom
open syscall for file /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-20-10-sc50a.opb
New thread pid=30976
One traced child (pid=30976) exited with status: 0
New thread pid=30977

[startup+10.0025 s]
Raw data (loadavg): 1.10 1.02 1.01 3/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18173 3 1 0 708 53 0 0 25 0 11 0 1845583473 858562560 20075 4294967295 134512640 134569956 3221224336 3221214592 1131474656 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209610 20075 13129 16 0 209594 0
[pid=30966] vsize: 838440
Current children cumulated CPU time (s) 7.61
Current children cumulated vsize (Kb) 838440

[startup+20.0032 s]
Raw data (loadavg): 1.09 1.02 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18185 3 1 0 1644 54 0 0 18 0 11 0 1845583473 858398720 20672 4294967295 134512640 134569956 3221224336 3221214560 1131433138 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 20672 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 16.98
Current children cumulated vsize (Kb) 838280

[startup+30.0029 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18193 3 1 0 2588 55 0 0 25 0 11 0 1845583473 858398720 21249 4294967295 134512640 134569956 3221224336 3221214600 1131066874 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 21249 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 26.43
Current children cumulated vsize (Kb) 838280

[startup+40.0036 s]
Raw data (loadavg): 1.06 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18200 3 1 0 3530 55 0 0 25 0 11 0 1845583473 858398720 21609 4294967295 134512640 134569956 3221224336 3221214648 1131449663 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 21609 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 35.85
Current children cumulated vsize (Kb) 838280

[startup+50.0043 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18207 3 1 0 4466 55 0 0 17 0 11 0 1845583473 858398720 21963 4294967295 134512640 134569956 3221224336 3221214064 1085806297 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 21963 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 45.21
Current children cumulated vsize (Kb) 838280

[startup+60.005 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18212 3 1 0 5412 55 0 0 21 0 11 0 1845583473 858398720 22260 4294967295 134512640 134569956 3221224336 3221214012 1131614680 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 22260 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 54.67
Current children cumulated vsize (Kb) 838280

[startup+70.0057 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18218 3 1 0 6358 55 0 0 25 0 11 0 1845583473 858398720 22532 4294967295 134512640 134569956 3221224336 3221214796 1131057201 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 22532 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 64.13
Current children cumulated vsize (Kb) 838280

[startup+80.0064 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18225 3 1 0 7298 56 0 0 18 0 11 0 1845583473 858398720 22705 4294967295 134512640 134569956 3221224336 3221214560 1131434326 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 22705 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 73.54
Current children cumulated vsize (Kb) 838280

[startup+90.0071 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18231 3 1 0 8237 56 0 0 15 0 11 0 1845583473 858398720 22885 4294967295 134512640 134569956 3221224336 3221214544 1131357168 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 22885 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 82.93
Current children cumulated vsize (Kb) 838280

[startup+100.007 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18236 3 1 0 9185 57 0 0 22 0 11 0 1845583473 858398720 23063 4294967295 134512640 134569956 3221224336 3221214648 1131448536 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 23063 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 92.42
Current children cumulated vsize (Kb) 838280

[startup+110.009 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18242 3 1 0 10134 58 0 0 25 0 11 0 1845583473 858398720 23209 4294967295 134512640 134569956 3221224336 3221214504 1131367516 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 23209 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 101.92
Current children cumulated vsize (Kb) 838280

[startup+120.009 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18248 3 1 0 11071 58 0 0 25 0 11 0 1845583473 858398720 23386 4294967295 134512640 134569956 3221224336 3221214504 1131367719 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 23386 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 111.29
Current children cumulated vsize (Kb) 838280

[startup+130.01 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) S 30965 30966 20728 0 -1 0 18253 3 1 0 12015 58 0 0 17 0 11 0 1845583473 858398720 23512 4294967295 134512640 134569956 3221224336 3221213392 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 23512 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 120.73
Current children cumulated vsize (Kb) 838280

[startup+140.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18259 3 1 0 12957 58 0 0 22 0 11 0 1845583473 858398720 23672 4294967295 134512640 134569956 3221224336 3221214200 1131675072 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 23672 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 130.15
Current children cumulated vsize (Kb) 838280

[startup+150.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18265 3 1 0 13893 58 0 0 16 0 11 0 1845583473 858398720 23855 4294967295 134512640 134569956 3221224336 3221214504 1131367563 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 23855 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 139.51
Current children cumulated vsize (Kb) 838280

[startup+160.012 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18270 3 1 0 14842 59 0 0 20 0 11 0 1845583473 858398720 24018 4294967295 134512640 134569956 3221224336 3221214648 1131448631 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 24018 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 149.01
Current children cumulated vsize (Kb) 838280

[startup+170.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18275 3 1 0 15792 59 0 0 25 0 11 0 1845583473 858398720 24163 4294967295 134512640 134569956 3221224336 3221214544 1131357151 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 24163 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 158.51
Current children cumulated vsize (Kb) 838280

[startup+180.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18280 3 1 0 16744 59 0 0 25 0 11 0 1845583473 858398720 24308 4294967295 134512640 134569956 3221224336 3221214104 1131616450 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 24308 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 168.03
Current children cumulated vsize (Kb) 838280

[startup+190.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18285 3 1 0 17694 59 0 0 25 0 11 0 1845583473 858398720 24408 4294967295 134512640 134569956 3221224336 3221214504 1131499042 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 24408 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 177.53
Current children cumulated vsize (Kb) 838280

[startup+200.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18290 3 1 0 18641 60 0 0 25 0 11 0 1845583473 858398720 24564 4294967295 134512640 134569956 3221224336 3221214608 1131474784 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 24564 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 187.01
Current children cumulated vsize (Kb) 838280

[startup+210.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18295 3 1 0 19590 60 0 0 22 0 11 0 1845583473 858398720 24719 4294967295 134512640 134569956 3221224336 3221214064 1085806732 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 24719 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 196.5
Current children cumulated vsize (Kb) 838280

[startup+220.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18300 3 1 0 20538 61 0 0 22 0 11 0 1845583473 858398720 24845 4294967295 134512640 134569956 3221224336 3221214064 1131676156 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 24845 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 205.99
Current children cumulated vsize (Kb) 838280

[startup+230.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18305 3 1 0 21484 61 0 0 16 0 11 0 1845583473 858398720 24978 4294967295 134512640 134569956 3221224336 3221214648 1131448631 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 24978 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 215.45
Current children cumulated vsize (Kb) 838280

[startup+240.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18308 3 1 0 22450 61 0 0 25 0 11 0 1845583473 858398720 25101 4294967295 134512640 134569956 3221224336 3221214560 1131433138 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 25101 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 225.11
Current children cumulated vsize (Kb) 838280

[startup+250.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18312 3 1 0 23405 62 0 0 25 0 11 0 1845583473 858398720 25249 4294967295 134512640 134569956 3221224336 3221214504 1131498997 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 25249 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 234.67
Current children cumulated vsize (Kb) 838280

[startup+260.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18317 3 1 0 24350 62 0 0 19 0 11 0 1845583473 858398720 25403 4294967295 134512640 134569956 3221224336 3221214648 1131448631 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 25403 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 244.12
Current children cumulated vsize (Kb) 838280

[startup+270.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18321 3 1 0 25305 62 0 0 25 0 11 0 1845583473 858398720 25541 4294967295 134512640 134569956 3221224336 3221214648 1131448631 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 25541 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 253.67
Current children cumulated vsize (Kb) 838280

[startup+280.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18326 3 1 0 26250 63 0 0 25 0 11 0 1845583473 858398720 25697 4294967295 134512640 134569956 3221224336 3221214064 1131680826 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 25697 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 263.13
Current children cumulated vsize (Kb) 838280

[startup+290.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18331 3 1 0 27195 63 0 0 16 0 11 0 1845583473 858398720 25826 4294967295 134512640 134569956 3221224336 3221214648 1131448415 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 25826 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 272.58
Current children cumulated vsize (Kb) 838280

[startup+300.02 s]
Raw data (loadavg): 1.00 1.00 1.00 1/66 30977
Raw data (/proc/30966/stat): 30966 (java) T 30965 30966 20728 0 -1 0 18335 3 1 0 28151 63 0 0 25 0 11 0 1845583473 858398720 25939 4294967295 134512640 134569956 3221224336 3221213604 1074594577 0 4 1 23758 3222434794 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 25939 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (Kb) 838280

[startup+310.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18340 3 1 0 29095 63 0 0 25 0 11 0 1845583473 858398720 26099 4294967295 134512640 134569956 3221224336 3221214472 1131675518 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 26099 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 291.58
Current children cumulated vsize (Kb) 838280

[startup+320.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18344 3 1 0 30050 63 0 0 25 0 11 0 1845583473 858398720 26236 4294967295 134512640 134569956 3221224336 3221214336 1085806301 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 26236 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 301.13
Current children cumulated vsize (Kb) 838280

[startup+330.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18348 3 1 0 31006 63 0 0 25 0 11 0 1845583473 858398720 26342 4294967295 134512640 134569956 3221224336 3221214648 1131450052 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 26342 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 310.69
Current children cumulated vsize (Kb) 838280

[startup+340.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18353 3 1 0 31951 63 0 0 25 0 11 0 1845583473 858398720 26484 4294967295 134512640 134569956 3221224336 3221214648 1131450536 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 26484 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 320.14
Current children cumulated vsize (Kb) 838280

[startup+350.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18357 3 1 0 32904 64 0 0 25 0 11 0 1845583473 858398720 26598 4294967295 134512640 134569956 3221224336 3221214560 1131433867 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 26598 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 329.68
Current children cumulated vsize (Kb) 838280

[startup+360.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18362 3 1 0 33849 64 0 0 25 0 11 0 1845583473 858398720 26750 4294967295 134512640 134569956 3221224336 3221214552 1131420653 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 26750 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 339.13
Current children cumulated vsize (Kb) 838280

[startup+370.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18366 3 1 0 34805 64 0 0 25 0 11 0 1845583473 858398720 26840 4294967295 134512640 134569956 3221224336 3221214720 1131476992 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 26840 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 348.69
Current children cumulated vsize (Kb) 838280

[startup+380.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18371 3 1 0 35751 65 0 0 25 0 11 0 1845583473 858398720 26994 4294967295 134512640 134569956 3221224336 3221214560 1131433106 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 26994 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 358.16
Current children cumulated vsize (Kb) 838280

[startup+390.025 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18376 3 1 0 36698 65 0 0 25 0 11 0 1845583473 858398720 27163 4294967295 134512640 134569956 3221224336 3221214472 1131681472 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 27163 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 367.63
Current children cumulated vsize (Kb) 838280

[startup+400.026 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18382 3 1 0 37648 65 0 0 25 0 11 0 1845583473 858398720 27303 4294967295 134512640 134569956 3221224336 3221214320 1131675276 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 27303 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 377.13
Current children cumulated vsize (Kb) 838280

[startup+410.026 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18387 3 1 0 38601 66 0 0 23 0 11 0 1845583473 858398720 27445 4294967295 134512640 134569956 3221224336 3221214576 1131448624 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 27445 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 386.67
Current children cumulated vsize (Kb) 838280

[startup+420.027 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18392 3 1 0 39556 66 0 0 25 0 11 0 1845583473 858398720 27571 4294967295 134512640 134569956 3221224336 3221214576 1131450052 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 27571 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 396.22
Current children cumulated vsize (Kb) 838280

[startup+430.028 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18396 3 1 0 40518 66 0 0 25 0 11 0 1845583473 858398720 27680 4294967295 134512640 134569956 3221224336 3221214448 1131625557 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 27680 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 405.84
Current children cumulated vsize (Kb) 838280

[startup+440.029 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18400 3 1 0 41481 67 0 0 16 0 11 0 1845583473 858398720 27768 4294967295 134512640 134569956 3221224336 3221214320 1131675072 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 27768 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 415.48
Current children cumulated vsize (Kb) 838280

[startup+450.029 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18403 3 1 0 42451 67 0 0 25 0 11 0 1845583473 858398720 27842 4294967295 134512640 134569956 3221224336 3221214176 1131677011 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 27842 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 425.18
Current children cumulated vsize (Kb) 838280

[startup+460.03 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18407 3 1 0 43411 67 0 0 25 0 11 0 1845583473 858398720 27930 4294967295 134512640 134569956 3221224336 3221214320 1131678856 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 27930 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 434.78
Current children cumulated vsize (Kb) 838280

[startup+470.031 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18412 3 1 0 44360 67 0 0 25 0 11 0 1845583473 858398720 28028 4294967295 134512640 134569956 3221224336 3221214440 1131367516 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 28028 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 444.27
Current children cumulated vsize (Kb) 838280

[startup+480.031 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18416 3 1 0 45318 68 0 0 25 0 11 0 1845583473 858398720 28099 4294967295 134512640 134569956 3221224336 3221213912 1085806294 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 28099 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 453.86
Current children cumulated vsize (Kb) 838280

[startup+490.032 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18420 3 1 0 46275 68 0 0 25 0 11 0 1845583473 858398720 28187 4294967295 134512640 134569956 3221224336 3221213912 1131674129 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 28187 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 463.43
Current children cumulated vsize (Kb) 838280

[startup+500.033 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18424 3 1 0 47230 68 0 0 24 0 11 0 1845583473 858398720 28285 4294967295 134512640 134569956 3221224336 3221214688 1131630462 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 28285 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 472.98
Current children cumulated vsize (Kb) 838280

[startup+510.034 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18428 3 1 0 48184 68 0 0 25 0 11 0 1845583473 858398720 28413 4294967295 134512640 134569956 3221224336 3221214048 1085806322 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 28413 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 482.52
Current children cumulated vsize (Kb) 838280

[startup+520.034 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18432 3 1 0 49141 69 0 0 25 0 11 0 1845583473 858398720 28530 4294967295 134512640 134569956 3221224336 3221214320 1131677355 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 28530 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 492.1
Current children cumulated vsize (Kb) 838280

[startup+530.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18436 3 1 0 50097 69 0 0 25 0 11 0 1845583473 858398720 28647 4294967295 134512640 134569956 3221224336 3221214320 1131675534 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 28647 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 501.66
Current children cumulated vsize (Kb) 838280

[startup+540.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) S 30965 30966 20728 0 -1 0 18441 3 1 0 51053 69 0 0 25 0 11 0 1845583473 858398720 28750 4294967295 134512640 134569956 3221224336 3221213088 1073952481 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 28750 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 511.22
Current children cumulated vsize (Kb) 838280

[startup+550.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18446 3 1 0 51991 69 0 0 25 0 11 0 1845583473 858398720 28905 4294967295 134512640 134569956 3221224336 3221213960 1131616297 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 28905 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 520.6
Current children cumulated vsize (Kb) 838280

[startup+560.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18450 3 1 0 52952 70 0 0 25 0 11 0 1845583473 858398720 29001 4294967295 134512640 134569956 3221224336 3221214048 1131673875 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 29001 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 530.22
Current children cumulated vsize (Kb) 838280

[startup+570.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18455 3 1 0 53908 70 0 0 19 0 11 0 1845583473 858398720 29171 4294967295 134512640 134569956 3221224336 3221214320 1131677355 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 29171 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 539.78
Current children cumulated vsize (Kb) 838280

[startup+580.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18460 3 1 0 54866 70 0 0 20 0 11 0 1845583473 858398720 29258 4294967295 134512640 134569956 3221224336 3221214576 1131450898 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 29258 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 549.36
Current children cumulated vsize (Kb) 838280

[startup+590.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18465 3 1 0 55825 71 0 0 25 0 11 0 1845583473 858398720 29409 4294967295 134512640 134569956 3221224336 3221214488 1131434316 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 29409 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 558.96
Current children cumulated vsize (Kb) 838280

[startup+600.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18471 3 1 0 56781 71 0 0 25 0 11 0 1845583473 858398720 29571 4294967295 134512640 134569956 3221224336 3221214488 1131433213 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 29571 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 568.52
Current children cumulated vsize (Kb) 838280

[startup+610.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18476 3 1 0 57748 71 0 0 25 0 11 0 1845583473 858398720 29663 4294967295 134512640 134569956 3221224336 3221214488 1131433138 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 29663 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 578.19
Current children cumulated vsize (Kb) 838280

[startup+620.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18482 3 1 0 58708 72 0 0 25 0 11 0 1845583473 858398720 29718 4294967295 134512640 134569956 3221224336 3221214048 1085806301 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 29718 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 587.8
Current children cumulated vsize (Kb) 838280

[startup+630.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18488 3 1 0 59670 72 0 0 24 0 11 0 1845583473 858398720 29813 4294967295 134512640 134569956 3221224336 3221214000 1131614793 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 29813 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 597.42
Current children cumulated vsize (Kb) 838280

[startup+640.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18493 3 1 0 60640 73 0 0 25 0 11 0 1845583473 858398720 29941 4294967295 134512640 134569956 3221224336 3221214104 1085759268 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 29941 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 607.13
Current children cumulated vsize (Kb) 838280

[startup+650.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18499 3 1 0 61607 73 0 0 20 0 11 0 1845583473 858398720 30015 4294967295 134512640 134569956 3221224336 3221214176 1131677367 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 30015 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 616.8
Current children cumulated vsize (Kb) 838280

[startup+660.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18504 3 1 0 62579 74 0 0 25 0 11 0 1845583473 858398720 30071 4294967295 134512640 134569956 3221224336 3221214176 1131625557 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 30071 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 626.53
Current children cumulated vsize (Kb) 838280

[startup+670.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18509 3 1 0 63551 74 0 0 25 0 11 0 1845583473 858398720 30124 4294967295 134512640 134569956 3221224336 3221214312 1131625557 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 30124 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 636.25
Current children cumulated vsize (Kb) 838280

[startup+680.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18514 3 1 0 64522 75 0 0 25 0 11 0 1845583473 858398720 30172 4294967295 134512640 134569956 3221224336 3221214488 1131433766 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 30172 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 645.97
Current children cumulated vsize (Kb) 838280

[startup+690.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18520 3 1 0 65485 76 0 0 18 0 11 0 1845583473 858398720 30267 4294967295 134512640 134569956 3221224336 3221214448 1131680202 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 30267 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 655.61
Current children cumulated vsize (Kb) 838280

[startup+700.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18524 3 1 0 66461 76 0 0 25 0 11 0 1845583473 858398720 30302 4294967295 134512640 134569956 3221224336 3221214480 1131420783 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 30302 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 665.37
Current children cumulated vsize (Kb) 838280

[startup+710.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18529 3 1 0 67429 76 0 0 25 0 11 0 1845583473 858398720 30351 4294967295 134512640 134569956 3221224336 3221214184 1131675061 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 30351 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 675.05
Current children cumulated vsize (Kb) 838280

[startup+720.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18533 3 1 0 68403 77 0 0 25 0 11 0 1845583473 858398720 30391 4294967295 134512640 134569956 3221224336 3221214576 1131450901 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 30391 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 684.8
Current children cumulated vsize (Kb) 838280

[startup+730.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18538 3 1 0 69368 78 0 0 25 0 11 0 1845583473 858398720 30455 4294967295 134512640 134569956 3221224336 3221214488 1131532017 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 30455 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 694.46
Current children cumulated vsize (Kb) 838280

[startup+740.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18543 3 1 0 70334 78 0 0 25 0 11 0 1845583473 858398720 30531 4294967295 134512640 134569956 3221224336 3221214488 1131433309 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 30531 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 704.12
Current children cumulated vsize (Kb) 838280

[startup+750.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18548 3 1 0 71300 78 0 0 19 0 11 0 1845583473 858398720 30588 4294967295 134512640 134569956 3221224336 3221214272 1076697462 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 30588 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 713.78
Current children cumulated vsize (Kb) 838280

[startup+760.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18553 3 1 0 72266 79 0 0 25 0 11 0 1845583473 858398720 30676 4294967295 134512640 134569956 3221224336 3221213952 1131616456 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 30676 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 723.45
Current children cumulated vsize (Kb) 838280

[startup+770.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18558 3 1 0 73233 79 0 0 25 0 11 0 1845583473 858398720 30735 4294967295 134512640 134569956 3221224336 3221214176 1131677367 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 30735 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 733.12
Current children cumulated vsize (Kb) 838280

[startup+780.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18562 3 1 0 74206 80 0 0 25 0 11 0 1845583473 858398720 30798 4294967295 134512640 134569956 3221224336 3221214488 1131433302 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 30798 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 742.86
Current children cumulated vsize (Kb) 838280

[startup+790.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18567 3 1 0 75174 80 0 0 19 0 11 0 1845583473 858398720 30881 4294967295 134512640 134569956 3221224336 3221214048 1131676225 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 30881 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 752.54
Current children cumulated vsize (Kb) 838280

[startup+800.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18571 3 1 0 76147 80 0 0 24 0 11 0 1845583473 858398720 30916 4294967295 134512640 134569956 3221224336 3221214456 1131675723 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 30916 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 762.27
Current children cumulated vsize (Kb) 838280

[startup+810.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18575 3 1 0 77118 81 0 0 25 0 11 0 1845583473 858398720 30981 4294967295 134512640 134569956 3221224336 3221213824 1085806313 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 30981 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 771.99
Current children cumulated vsize (Kb) 838280

[startup+820.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18580 3 1 0 78082 82 0 0 23 0 11 0 1845583473 858398720 31051 4294967295 134512640 134569956 3221224336 3221214576 1131448631 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 31051 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 781.64
Current children cumulated vsize (Kb) 838280

[startup+830.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18585 3 1 0 79048 83 0 0 21 0 11 0 1845583473 858398720 31108 4294967295 134512640 134569956 3221224336 3221214316 1131625568 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 31108 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 791.31
Current children cumulated vsize (Kb) 838280

[startup+840.057 s]
Raw data (loadavg): 1.08 1.02 1.01 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18590 3 1 0 80013 83 0 0 20 0 11 0 1845583473 858398720 31168 4294967295 134512640 134569956 3221224336 3221214488 1131433085 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 31168 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 800.96
Current children cumulated vsize (Kb) 838280

[startup+850.057 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18595 3 1 0 80979 83 0 0 24 0 11 0 1845583473 858398720 31251 4294967295 134512640 134569956 3221224336 3221214576 1131451393 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 31251 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 810.62
Current children cumulated vsize (Kb) 838280

[startup+860.059 s]
Raw data (loadavg): 1.06 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18600 3 1 0 81947 84 0 0 25 0 11 0 1845583473 858398720 31335 4294967295 134512640 134569956 3221224336 3221214576 1131450536 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 31335 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 820.31
Current children cumulated vsize (Kb) 838280

[startup+870.06 s]
Raw data (loadavg): 1.05 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18604 3 1 0 82922 84 0 0 25 0 11 0 1845583473 858398720 31379 4294967295 134512640 134569956 3221224336 3221214448 1131367735 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 31379 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 830.06
Current children cumulated vsize (Kb) 838280

[startup+880.059 s]
Raw data (loadavg): 1.04 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18608 3 1 0 83895 84 0 0 25 0 11 0 1845583473 858398720 31447 4294967295 134512640 134569956 3221224336 3221214752 1131429752 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 31447 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 839.79
Current children cumulated vsize (Kb) 838280

[startup+890.06 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18613 3 1 0 84863 84 0 0 23 0 11 0 1845583473 858398720 31493 4294967295 134512640 134569956 3221224336 3221213912 1131680756 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 31493 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 849.47
Current children cumulated vsize (Kb) 838280

[startup+900.06 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18618 3 1 0 85828 85 0 0 24 0 11 0 1845583473 858398720 31559 4294967295 134512640 134569956 3221224336 3221214184 1085806260 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 31559 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 859.13
Current children cumulated vsize (Kb) 838280

[startup+910.059 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18623 3 1 0 86795 85 0 0 25 0 11 0 1845583473 858398720 31614 4294967295 134512640 134569956 3221224336 3221214488 1131434229 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 31614 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 868.8
Current children cumulated vsize (Kb) 838280

[startup+920.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18628 3 1 0 87762 85 0 0 25 0 11 0 1845583473 858398720 31684 4294967295 134512640 134569956 3221224336 3221213880 1085759263 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 31684 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 878.47
Current children cumulated vsize (Kb) 838280

[startup+930.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18634 3 1 0 88724 86 0 0 17 0 11 0 1845583473 858398720 31763 4294967295 134512640 134569956 3221224336 3221214572 1131413036 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 31763 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 888.1
Current children cumulated vsize (Kb) 838280

[startup+940.061 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18639 3 1 0 89694 86 0 0 23 0 11 0 1845583473 858398720 31841 4294967295 134512640 134569956 3221224336 3221213860 1131614672 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 31841 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 897.8
Current children cumulated vsize (Kb) 838280

[startup+950.061 s]
Raw data (loadavg): 1.01 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18644 3 1 0 90664 86 0 0 25 0 11 0 1845583473 858398720 31911 4294967295 134512640 134569956 3221224336 3221214576 1131448686 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 31911 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 907.5
Current children cumulated vsize (Kb) 838280

[startup+960.061 s]
Raw data (loadavg): 1.01 1.00 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18649 3 1 0 91632 86 0 0 25 0 11 0 1845583473 858398720 31970 4294967295 134512640 134569956 3221224336 3221214240 1085759277 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 31970 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 917.18
Current children cumulated vsize (Kb) 838280

[startup+970.062 s]
Raw data (loadavg): 1.08 1.02 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18653 3 1 0 92608 86 0 0 25 0 11 0 1845583473 858398720 32012 4294967295 134512640 134569956 3221224336 3221214576 1131448624 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 32012 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 926.94
Current children cumulated vsize (Kb) 838280

[startup+980.062 s]
Raw data (loadavg): 1.07 1.02 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18659 3 1 0 93571 87 0 0 25 0 11 0 1845583473 858398720 32074 4294967295 134512640 134569956 3221224336 3221214640 1131494459 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 32074 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 936.58
Current children cumulated vsize (Kb) 838280

[startup+990.063 s]
Raw data (loadavg): 1.06 1.02 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18664 3 1 0 94539 87 0 0 25 0 11 0 1845583473 858398720 32133 4294967295 134512640 134569956 3221224336 3221214488 1131433207 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 32133 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 946.26
Current children cumulated vsize (Kb) 838280

[startup+1000.06 s]
Raw data (loadavg): 1.05 1.02 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18669 3 1 0 95508 87 0 0 25 0 11 0 1845583473 858398720 32183 4294967295 134512640 134569956 3221224336 3221214280 1078904465 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 32183 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 955.95
Current children cumulated vsize (Kb) 838280

[startup+1010.06 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) S 30965 30966 20728 0 -1 0 18673 3 1 0 96478 88 0 0 25 0 11 0 1845583473 858398720 32249 4294967295 134512640 134569956 3221224336 3221213320 1073943035 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 32249 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 965.66
Current children cumulated vsize (Kb) 838280

[startup+1020.06 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18679 3 1 0 97446 88 0 0 25 0 11 0 1845583473 858398720 32326 4294967295 134512640 134569956 3221224336 3221214048 1131675072 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 32326 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 975.34
Current children cumulated vsize (Kb) 838280

[startup+1030.06 s]
Raw data (loadavg): 1.03 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18684 3 1 0 98416 89 0 0 25 0 11 0 1845583473 858398720 32384 4294967295 134512640 134569956 3221224336 3221214576 1131450704 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 32384 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 985.05
Current children cumulated vsize (Kb) 838280

[startup+1040.06 s]
Raw data (loadavg): 1.02 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18689 3 1 0 99386 89 0 0 25 0 11 0 1845583473 858398720 32428 4294967295 134512640 134569956 3221224336 3221214576 1131448631 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 32428 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 994.75
Current children cumulated vsize (Kb) 838280

[startup+1050.06 s]
Raw data (loadavg): 1.09 1.03 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18693 3 1 0 100361 89 0 0 25 0 11 0 1845583473 858398720 32467 4294967295 134512640 134569956 3221224336 3221214544 1131473413 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 32467 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 1004.5
Current children cumulated vsize (Kb) 838280

[startup+1060.06 s]
Raw data (loadavg): 1.08 1.03 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18698 3 1 0 101328 89 0 0 25 0 11 0 1845583473 858398720 32523 4294967295 134512640 134569956 3221224336 3221214488 1131433181 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 32523 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 1014.17
Current children cumulated vsize (Kb) 838280

[startup+1070.06 s]
Raw data (loadavg): 1.07 1.03 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18703 3 1 0 102296 90 0 0 17 0 11 0 1845583473 858398720 32589 4294967295 134512640 134569956 3221224336 3221214456 1131677427 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 32589 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 1023.86
Current children cumulated vsize (Kb) 838280

[startup+1080.07 s]
Raw data (loadavg): 1.06 1.03 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18707 3 1 0 103269 90 0 0 25 0 11 0 1845583473 858398720 32635 4294967295 134512640 134569956 3221224336 3221214568 1131413116 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 32635 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 1033.59
Current children cumulated vsize (Kb) 838280

[startup+1090.07 s]
Raw data (loadavg): 1.05 1.02 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18711 3 1 0 104242 90 0 0 25 0 11 0 1845583473 858398720 32676 4294967295 134512640 134569956 3221224336 3221214376 1131638207 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 32676 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 1043.32
Current children cumulated vsize (Kb) 838280

[startup+1100.07 s]
Raw data (loadavg): 1.04 1.02 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18715 3 1 0 105213 91 0 0 25 0 11 0 1845583473 858398720 32714 4294967295 134512640 134569956 3221224336 3221214560 1131372643 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 32714 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 1053.04
Current children cumulated vsize (Kb) 838280

[startup+1110.07 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18719 3 1 0 106183 91 0 0 25 0 11 0 1845583473 858398720 32765 4294967295 134512640 134569956 3221224336 3221214576 1131450536 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 32765 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 1062.74
Current children cumulated vsize (Kb) 838280

[startup+1120.07 s]
Raw data (loadavg): 1.03 1.02 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18724 3 1 0 107147 91 0 0 25 0 11 0 1845583473 858398720 32838 4294967295 134512640 134569956 3221224336 3221214488 1131433289 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 32838 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 1072.38
Current children cumulated vsize (Kb) 838280

[startup+1130.07 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) S 30965 30966 20728 0 -1 0 18729 3 1 0 108116 91 0 0 25 0 11 0 1845583473 858398720 32893 4294967295 134512640 134569956 3221224336 3221213080 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 32893 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 1082.07
Current children cumulated vsize (Kb) 838280

[startup+1140.07 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18733 3 1 0 109083 91 0 0 25 0 11 0 1845583473 858398720 32962 4294967295 134512640 134569956 3221224336 3221214576 1131448399 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 32962 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 1091.74
Current children cumulated vsize (Kb) 838280

[startup+1150.07 s]
Raw data (loadavg): 1.02 1.02 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18737 3 1 0 110055 91 0 0 25 0 11 0 1845583473 858398720 33027 4294967295 134512640 134569956 3221224336 3221214576 1131450052 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 33027 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 1101.46
Current children cumulated vsize (Kb) 838280

[startup+1160.07 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18742 3 1 0 111020 91 0 0 25 0 11 0 1845583473 858398720 33095 4294967295 134512640 134569956 3221224336 3221214448 1131433122 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 33095 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 1111.11
Current children cumulated vsize (Kb) 838280

[startup+1170.07 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18746 3 1 0 111991 92 0 0 25 0 11 0 1845583473 858398720 33186 4294967295 134512640 134569956 3221224336 3221214456 1131675042 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 33186 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 1120.83
Current children cumulated vsize (Kb) 838280

[startup+1180.07 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18750 3 1 0 112963 92 0 0 25 0 11 0 1845583473 858398720 33240 4294967295 134512640 134569956 3221224336 3221214576 1131448665 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 33240 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 1130.55
Current children cumulated vsize (Kb) 838280

[startup+1190.07 s]
Raw data (loadavg): 1.01 1.02 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18755 3 1 0 113929 92 0 0 25 0 11 0 1845583473 858398720 33293 4294967295 134512640 134569956 3221224336 3221214132 1131614672 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 33293 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 1140.21
Current children cumulated vsize (Kb) 838280

[startup+1200.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18760 3 1 0 114894 93 0 0 25 0 11 0 1845583473 858398720 33350 4294967295 134512640 134569956 3221224336 3221214448 1131359828 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 33350 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 1149.87
Current children cumulated vsize (Kb) 838280

[startup+1210.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18764 3 1 0 115865 93 0 0 24 0 11 0 1845583473 858398720 33402 4294967295 134512640 134569956 3221224336 3221214640 1131494459 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 33402 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 1159.58
Current children cumulated vsize (Kb) 838280

[startup+1220.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) S 30965 30966 20728 0 -1 0 18768 3 1 0 116841 93 0 0 25 0 11 0 1845583473 858398720 33441 4294967295 134512640 134569956 3221224336 3221213216 1073952481 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 33441 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 1169.34
Current children cumulated vsize (Kb) 838280

[startup+1230.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18772 3 1 0 117806 93 0 0 25 0 11 0 1845583473 858398720 33501 4294967295 134512640 134569956 3221224336 3221214488 1131433138 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 33501 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 1178.99
Current children cumulated vsize (Kb) 838280

[startup+1240.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18776 3 1 0 118777 93 0 0 25 0 11 0 1845583473 858398720 33573 4294967295 134512640 134569956 3221224336 3221214592 1131367394 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 33573 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 1188.7
Current children cumulated vsize (Kb) 838280

[startup+1250.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18781 3 1 0 119742 94 0 0 25 0 11 0 1845583473 858398720 33647 4294967295 134512640 134569956 3221224336 3221214320 1131675276 0 4 1 23758 0 0 0 17 0 0 0
Raw data (/proc/30966/statm): 209570 33647 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 1198.36
Current children cumulated vsize (Kb) 838280

[startup+1260.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18786 3 1 0 120708 94 0 0 25 0 11 0 1845583473 858398720 33709 4294967295 134512640 134569956 3221224336 3221214456 1131675023 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 33709 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 1208.02
Current children cumulated vsize (Kb) 838280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1260.07 s]
Raw data (loadavg): 1.00 1.01 1.00 2/66 30977
Raw data (/proc/30966/stat): 30966 (java) R 30965 30966 20728 0 -1 0 18786 3 1 0 120708 94 0 0 25 0 11 0 1845583473 858398720 33709 4294967295 134512640 134569956 3221224336 3221214456 1131675023 0 4 1 23758 0 0 0 17 1 0 0
Raw data (/proc/30966/statm): 209570 33709 13129 16 0 209554 0
[pid=30966] vsize: 838280
Current children cumulated CPU time (s) 1208.02
Current children cumulated vsize (Kb) 838280

Sending SIGTERM to -30966
Sleeping 2 seconds
New thread pid=30979
New thread pid=30980
One traced child (pid=30980) exited with status: 0
One traced child (pid=30975) exited with status: 0
One traced child (pid=30970) exited with status: 0
One traced child (pid=30967) exited with status: 143
One traced child (pid=30968) exited with status: 143
One traced child (pid=30969) exited with status: 143
One traced child (pid=30971) exited with status: 143
One traced child (pid=30974) exited with status: 143
One traced child (pid=30973) exited with status: 143
One traced child (pid=30977) exited with status: 143
One traced child (pid=30972) exited with status: 143
One traced child (pid=30979) exited with status: 143
One traced child (pid=30966) exited with status: 143
All traced children have exited ! Game is over.

Child status: 143
Real time (s): 1260.38
CPU time (s): 1269.34
CPU user time (s): 1267.52
CPU system time (s): 1.82172
CPU usage (%): 100.711
Max. virtual memory (cumulated for all children) (Kb): 838440

Verifier Data

Verifier:	OK	0